Latest LQ Deal: Linux Power User Bundle
Go Back > Forums > Linux Forums > Linux - Newbie
User Name
Linux - Newbie This Linux forum is for members that are new to Linux.
Just starting out and have a question? If it is not in the man pages or the how-to's this is the place!


  Search this Thread
Old 05-27-2003, 12:13 PM   #1
Registered: Apr 2003
Location: Hermitage, TN; United States
Distribution: Debian, CentOS, and openSuSE
Posts: 41

Rep: Reputation: 15
Question Splint: Setting Environment Variables

Hello, everyone.

I have downloaded 'Splint', the GPL alternative to UNIX's 'lint' utility.

I am including the installation instructions at the end of this message, because I have never set environment variables.

My Google/Linux searches, as well as my searches of this Web site, have not provided any help. I had hoped that my copy of O'Reilly's excellent Running Linux (Fourth Edition) would prove to be helpful, but I remain in the dark.

Could someone please tell me, in simple terms, what I need to do to follow Step 4's instructions on setting environment variables? In addition, I want to make the changes permanent.

Thank you very much, in advance!


(SuSE Linux 8.2 Professional)


Instructions for installing Splint using the Linux binary installation: 

1. Download 

2. tar -xzf splint-3.1.1.Linux.tgz

   This will create a splint-3.1.1 directory, containing several
   subdirectories. The file splint-3.1.1/bin/splint is the Splint binary. 

To install Splint binaries and libraries in a different directory (optional): 

3. ./configure --prefix=directory 
   make install 

     GNU's make utility is required; it may be named gmake or
     gnumake on your system.
4. Set environment variables: 

     LARCH_PATH - path to search for splint libraries and
     initializations files. If you are using the standard
     directories, this should be ".:base-directory/splint-3.1.1/lib". 

     LCLIMPORTDIR - directory containing lcl imports files.
     If you are using the standard directories, this is

     If you followed step 4 above set LARCH_PATH to
     directory/share/splint/lib and LCLIMPORTDIR to
     directory/share/splint/import instead. 

  Put the commands to set these variables (the actual commands
  will depend on the shell you are using) in one of your
  initialization dotfiles (usually ~/.environment). 

  Set up your command path to include the directory
  containing splint-3.1.1/bin/splint, or move the
  binary to a directory in your command path.

Last edited by DavidMD; 05-27-2003 at 12:15 PM.
Old 05-27-2003, 12:21 PM   #2
Registered: Feb 2002
Location: Fairfax, VA
Distribution: RedHat 8, Mandrake9.1, Slack9
Posts: 456

Rep: Reputation: 31
you need pu them in your .bashrc or you .profile file

for eg setting PATH variable


export PATH

follow these with your variables
Old 05-27-2003, 12:51 PM   #3
Registered: May 2003
Location: Nashville TN, USA
Distribution: Debian (I'm unstable)
Posts: 117

Rep: Reputation: 15
using manthram's approach (and assuming you use bash) you'll then need to either "source .bashrc" or start a new shell session. the same thing can be done with "export LARCH_PATH=<the directory in question>" in your current shell. if export doesn't work (eg if you don't use bash), try "setenv LARCH_PATH <whatever>" instead. since this is something you only need setup for the compile, it probably makes more sense not muck with the bashrc
Old 05-27-2003, 01:15 PM   #4
Registered: Apr 2003
Location: Hermitage, TN; United States
Distribution: Debian, CentOS, and openSuSE
Posts: 41

Original Poster
Rep: Reputation: 15
Hello, manthram and 0x4B.

Thank you both for your replies. I am indeed using the 'bash' shell.

I will give your suggestions a try and let you know if I run into any problems.

Thanks, again!



P.S. -- It's nice to see another Nashvillian in the forums!


Thread Tools Search this Thread
Search this Thread:

Advanced Search

Posting Rules
You may not post new threads
You may not post replies
You may not post attachments
You may not edit your posts

BB code is On
Smilies are On
[IMG] code is Off
HTML code is Off

Similar Threads
Thread Thread Starter Forum Replies Last Post
Environment variables setting... simjii SUSE / openSUSE 4 11-19-2005 07:50 PM
Need help setting environment variables. cottonmouth Linux - Newbie 3 12-09-2004 04:54 PM
setting environment variables jayjoh Linux - Newbie 9 07-12-2004 12:35 PM
setting environment variables durden2.0 Linux - Newbie 5 07-15-2003 01:57 PM
setting environment variables rezza Linux - Distributions 2 04-09-2003 08:21 AM > Forums > Linux Forums > Linux - Newbie

All times are GMT -5. The time now is 09:20 AM.

Main Menu
Write for LQ is looking for people interested in writing Editorials, Articles, Reviews, and more. If you'd like to contribute content, let us know.
Main Menu
RSS1  Latest Threads
RSS1  LQ News
Twitter: @linuxquestions
Facebook: linuxquestions Google+: linuxquestions
Open Source Consulting | Domain Registration