Splint: Setting Environment Variables

DavidMD · 05-27-2003, 12:13 PM

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!

Cordially,

David
(SuSE Linux 8.2 Professional)
--
http://ddickerson.igc.org/

Code:

URL: http://www.splint.org/linux.html

Instructions for installing Splint using the Linux binary installation: 

1. Download http://www.splint.org/downloads/bina....1.1.Linux.tgz 

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
     base-directory/splint-3.1.1/imports. 

     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.

manthram · 05-27-2003, 12:21 PM

you need pu them in your .bashrc or you .profile file

for eg setting PATH variable

PATH=/usr/bin

export PATH

follow these with your variables

0x4B · 05-27-2003, 12:51 PM

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

DavidMD · 05-27-2003, 01:15 PM

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!

Cordially,

David
--
http://ddickerson.igc.org/

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