
			The FermaT Transformation System


		       Detailed Installation Instructions


The FermaT Transformation System is a powerful industrial-strength
program transformation system based on the WSL language.

Web sites: http://www.dur.ac.uk/martin.ward/fermat.html
	   http://www.cse.dmu.ac.uk/~mward/fermat.html



Unix Installation Instructions



(1) Ensure you have perl 5.6.1 or later (perl -v will tell you
which version of perl is installed). See http://www.cpan.org

(2) Install the perl modules Bit::Vector and Set::IntRange:

% perl -MCPAN -e shell
cpan> install Bit::Vector
...
cpan> install Set::IntRange
...
cpan> quit

Or see http://search.cpan.org/search?module=Bit::Vector
and http://search.cpan.org/search?module=Set::IntRange

(3) Ensure you have gcc installed (gcc -v will tell you the version)
See http://www.gnu.org/software/gcc/gcc.html

Note: If you are using either SunOs 5.8 (ie Solaris 2.8) or gcc 3.2 (or both!)
and have problems building FermaT, try adding the -debug option
to the make-fermat command in the Makefile ie:

	cd src; make-fermat -install -debug

This will compile FermaT with optimisation turned off, the result will
be much slower but should at least work!


(4) Download the gzipped tar file from
http://www.dur.ac.uk/martin.ward/fermat3.tar.gz or
http://www.cse.dmu.ac.uk/~mward/fermat3.tar.gz

(5) Unpack the archive:

% tar zxvf fermat3.tar.gz

This creates a directory called fermat3

(6) Change to the fermat3 directory and source the appropriate DOIT script
(DOIT.sh, DOIT.csh or DOIT.bash) into your shell:

% cd fermat3
% source DOIT.csh

(7) Type

% make test

to compile, install and test FermaT

You should (eventually) see the message "All files passed!"

Each time you log in to use FermaT you need to source the appropriate
DOIT file, unless you have added the appropriate lines to your
.profile or .cshrc file.




Windows Installation Instructions


You need a version of the GNU C compiler (gcc) and a recent
version of perl installed in order to build FermaT.

To install perl and the modules from ActiveState and
the MinGW (Minimalist GNU for Windows)


(1) Download the Windows Installer 2.0+ if needed
(http://downloads.activestate.com/contrib/Microsoft/MSI2.0/9x/InstMsiA.exe
for 9x/Me or
http://downloads.activestate.com/contrib/Microsoft/MSI2.0/NT/InstMsiW.exe
for NT).

(2) Double click on InstMsiA.exe or InstMsiW.exe to install the MS installer.

(3) Reboot... (the first of many...)

(4) Download
http://downloads.activestate.com/ActivePerl/Windows/5.8/ActivePerl-5.8.0.802-MSWin32-x86.msi
from http://www.activestate.com/ActivePerl/ and double click on it
to install perl.

(5) Reboot...

(6) Connect to the Internet, open a DOS box and run "ppm". At
the prompt, type:

ppm: install Bit::Vector
ppm: install Set::IntRange
ppm: quit

to install two perl packages needed by FermaT.

(7) Download
http://prdownloads.sourceforge.net/mingw/MinGW-2.0.0-3.exe">MinGW-2.0.0-3.exe
from http://www.mingw.org/ and double click on it to install gcc etc.

(8) Reboot...


To install FermaT on Windows:


(9) Download the gzipped tar file:
http://www.dur.ac.uk/martin.ward/fermat3.tar.gz or
http://www.cse.dmu.ac.uk/~mward/fermat3.tar.gz

(10) Unpack the archive with a suitable utility.
PowerArchiver 6.1 (http://www.sfsu.edu/ftp/win/utils/) and Winzip
http://www.winzip.com can both unpack tar.gz files.
This creates a directory called fermat3.
NOTE: The path to fermat3 must *not* contain spaces.

(11) Open a Windows DOS box, change to the fermat3 directory and run
the DOIT.bat< batch file

(12) cd to the src directory and run the commands to
compile and test FermaT:

cd src
make-fermat -install
test-fermat
test-trans

You should (eventually) see the message "All files passed!"

