LinuxQuestions.org
Review your favorite Linux distribution.
Go Back   LinuxQuestions.org > Forums > Linux Forums > Linux - Newbie
User Name
Password
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!

Notices


Reply
  Search this Thread
Old 05-27-2003, 01:13 PM   #1
DavidMD
Member
 
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!

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.

Last edited by DavidMD; 05-27-2003 at 01:15 PM.
 
Old 05-27-2003, 01:21 PM   #2
manthram
Member
 
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

PATH=/usr/bin

export PATH


follow these with your variables
 
Old 05-27-2003, 01:51 PM   #3
0x4B
Member
 
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, 02:15 PM   #4
DavidMD
Member
 
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!

Cordially,

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

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


Reply


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 08:50 PM
Need help setting environment variables. cottonmouth Linux - Newbie 3 12-09-2004 05:54 PM
setting environment variables jayjoh Linux - Newbie 9 07-12-2004 01:35 PM
setting environment variables durden2.0 Linux - Newbie 5 07-15-2003 02:57 PM
setting environment variables rezza Linux - Distributions 2 04-09-2003 09:21 AM


All times are GMT -5. The time now is 11:08 PM.

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