How to install FinInG on any unix like system.

I. General instructions.

1. Get the latest version of GAP on www.gap-system.org. It is not necessary to get *all*
accepted/deposited packages.

2. Install GAP the way you like it.  At the end you should have a working GAP
distribution. You will now have to install seperate packages for GAP. This can
be done in two ways: using the central 'pkg' directory in the /gap4r7/ 
tree, or
using a 'pkg' directory in your homedirectory, or even using both.  Don't
forget that when you don't use the central directory, you have to either change or
create a gaprc file or start gap in such a way that it also looks for packages
in your local 'pkg' dir, e.g.: gap4r7 -l "/Users/alice/pkg/;/opt/gap4r7".
This is an example: here the local pkg directory is just a directory in 
/Users/alice, and the GAP-tarball is unpacked in the
directory /opt/. The 'gap' command is just a small shell script that was
placed in /usr/bin directory. These things are also clearly explained in the
GAP documentation.

3. Get necessary packages:
   a. GAPDoc
   b. GenSS 
   c. forms
   d. GRAPE 
   e. orb 
   f. io
   g. cvec
   
4. Install packages a-b-c-d as usual. For PC/linux and Intel/Mac, this also
applies to e-g. Please note that packages e-g require compilation and we 
recommend to compile GRAPE also to be able to compute autmorphism groups 
with nauty.

Here are the steps to follow to compile the required packages on a UNIX 
based system.
[In case you don't have write access to the gap installation on your computer, 
you should ask your system administrator to do this for you.]

[We assume your GAP installation resides in /opt/gap4r7]

user@computer:~/$ cd /opt/gap4r7/pkg
user@computer:/opt/gap4r7/pkg/$ cd orb
user@computer:/opt/gap4r7/pkg/orb$ ./configure
checking for a BSD-compatible install... /usr/bin/install -c
...
...lots of output...
...
user@computer:/opt/gap4r7/pkg/orb$ make
make[1]: Entering directory `/opt/gap4r7/pkg/orb'
...
...lots of output...
...
user@computer:/opt/gap4r7/pkg/orb$ cd ../io
user@computer:/opt/gap4r7/pkg/io$ ./configure
checking for a BSD-compatible install... /usr/bin/install -c
...
...lots of output...
...
user@computer:/opt/gap4r7/pkg/io$ make
make[1]: Entering directory `/opt/gap4r7/pkg/io'
...
...lots of output...
...
user@computer:/opt/gap4r7/pkg/io$ cd ../cvec
user@computer:/opt/gap4r7/pkg/cvec$ ./configure
checking for a BSD-compatible install... /usr/bin/install -c
...
...lots of output...
...
user@computer:/opt/gap4r7/pkg/cvec$ make
make[1]: Entering directory `/opt/gap4r7/pkg/cvec'
...
...lots of output...
...
user@computer:/opt/gap4r7/pkg/cvec$ cd ../grape/
user@computer:/opt/gap4r7/pkg/grape$ ./configure 
user@computer:/opt/gap4r7/pkg/grape$ make
if test ! -d bin;  then mkdir bin;  chmod 755 bin;  fi
...
...lots of output...
...

DONE!

5. Get and install fining. Save 'fining-1.0.tgz' in /opt/gap4r7/pkg
[In case you don't have write permission in this directory, try a local 
installation, as described in the FinInG manual.]

user@computer:~/$ cd /opt/gap4r7/pkg
user@computer:/opt/gap4r7/pkg/$ tar xzf fining-1.0.tgz

DONE!

6. start GAP and issue the command LoadPackage("fining"). You should 
see:

gap> LoadPackage("fining");
---------------------------------------------------------------------
Loading 'Forms' 1.2.2 (29/08/2011)
by John Bamberg (http://school.maths.uwa.edu.au/~bamberg/)
   Jan De Beule (http://cage.ugent.be/~jdebeule)
For help, type: ?Forms 
---------------------------------------------------------------------
---------------------------------------------------------------------
Loading  IO 4.2 (Bindings to low level I/O in the C library)
by Max Neunhoeffer (http://www-groups.mcs.st-and.ac.uk/~neunhoef/).
Homepage: 
http://www-groups.mcs.st-and.ac.uk/~neunhoef/Computer/Software/Gap/io.html
---------------------------------------------------------------------
---------------------------------------------------------------------
Loading  orb 4.6 (orb - Methods to enumerate orbits)
by Juergen Mueller (http://www.math.rwth-aachen.de/~Juergen.Mueller),
   Max Neunhoeffer (http://www-groups.mcs.st-and.ac.uk/~neunhoef), and
   Felix Noeske (http://www.math.rwth-aachen.de/~Felix.Noeske).
Homepage: 
http://www-groups.mcs.st-and.ac.uk/~neunhoef/Computer/Software/Gap/orb.html
---------------------------------------------------------------------
---------------------------------------------------------------------
Loading  cvec 2.4 (Compact vectors over finite fields)
by Max Neunhoeffer (http://www-groups.mcs.st-and.ac.uk/~neunhoef/).
Homepage: 
http://www-groups.mcs.st-and.ac.uk/~neunhoef/Computer/Software/Gap/cvec.html
---------------------------------------------------------------------
---------------------------------------------------------------------
Loading  genss 1.5 (genss - generic Schreier-Sims)
by Max Neunhoeffer (http://www-groups.mcs.st-and.ac.uk/~neunhoef) and
   Felix Noeske (http://www.math.rwth-aachen.de/~Felix.Noeske).
Homepage: 
http://www-groups.mcs.st-and.ac.uk/~neunhoef/Computer/Software/Gap/genss.html
---------------------------------------------------------------------
---------------------------------------------------------------------
Loading  GRAPE 4.6.1 (GRaph Algorithms using PErmutation groups)
by Leonard H. Soicher (http://www.maths.qmul.ac.uk/~leonard/).
Homepage: http://www.maths.qmul.ac.uk/~leonard/grape/
---------------------------------------------------------------------
---------------------------------------------------------------------
patching: forms loading: geometry, liegeometry, group, projectivespace, 
correlations, polarspace/morphisms, enumerators, diagram, varieties, 
affinespace/affinegroup, gpolygons, orbits+stabilisers
---------------------------------------------------------------------
      ______________       ________      _________   _____________   
      ___  ____/__(_)__________  _/________  ____/   __<  /__  __   
      __  /_   __  /__  __ __  / __  __   / __     __  / _  / / /  
      _  __/   _  / _  / / /_/ /  _  / / / /_/ /     _  /__/ /_/ /   
      /_/      /_/  /_/ /_//___/  /_/ /_/____/      /_/_(_)____/    
---------------------------------------------------------------------
Loading  FinInG 1.0 (Finite Incidence Geometry) 
by John Bamberg (http://school.maths.uwa.edu.au/~bamberg/)
   Anton Betten (http://www.math.colostate.edu/~betten)
   Jan De Beule (http://cage.ugent.be/~jdebeule)
   Philippe Cara (http://homepages.vub.ac.be/~pcara)
   Michel Lavrauw (http://cage.ugent.be/~ml)
   Max Neunhoeffer (http://www-groups.mcs.st-and.ac.uk/~neunhoef/)
For help, type: ?FinInG 
---------------------------------------------------------------------
true

If you see just 'fail' after issueing the LoadPackage command, check carefully
whether all necessary packages are installed.


