FPT and WinFPT Reference Manual - Command-line Commands

| SimCon Home | Reference Manual Home |

fpt Installation under Linux

Please install fpt as follows:

  1. Check that you have a licence key. The keys are distributed in files named user.fsp. A file with this name is present in the downloadable distributions as a place holder, but this does not contain a key which will enable fpt or WinFPT to run. Keys may be requested through the download area of simconglobal.com, or by contacting SimCon.

  2. Check that C shell is installed on your system. For example:

    > which csh

    On some Linux systems it is not installed by default. If it is not, please install it, e.g. under Ubuntu:

    > sudo apt-get install csh

  3. Choose a directory under which to install fpt, for example, /usr/local

  4. Un-tar the distribution into this directory, e.g.

    > cd /usr/local
    > sudo tar -xvf /home/myname/download/fptilnx_3.7-u.tar.gz

  5. Change directory to the main fpt base directory, which has the name, for example, fpt37. Confirm that the files with the extension .csh are executable. You may need to run as root to do this depending on the choice of installation directory:

    > cd fpt/fpt37
    > sudo chmod a+x *.csh

  6. Execute the installer:

    > ./fpt_installer.csh

    The installer may prompt for further information.

  7. Restart your system.

  8. Navigate to the directory containing your licence file and copy it to the main fpt directory. This now has the symbolic name FPTMAIN. For example:

    > cd /home/myname/download
    > cp user.fsp $FPTMAIN

  9. Change to the examples directory, and run FPT on an example program to test the installation, for example:

    > cd /usr/local/fpt/fpt37/examples/met_rocket/fpt
    > fpt met_rocket.fsp %i

Copyright ©1995 to 2014 Software Validation Ltd. All rights reserved.