LinuxQuestions.org

LinuxQuestions.org (/questions/)
-   Linux - Newbie (https://www.linuxquestions.org/questions/linux-newbie-8/)
-   -   Splint: Setting Environment Variables (https://www.linuxquestions.org/questions/linux-newbie-8/splint-setting-environment-variables-62109/)

DavidMD 05-27-2003 12:13 PM
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. :study:

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.
:newbie:

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! :)


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