INSTALLATION

*********************************************
*                                           *
*  A - Linux Installation                   *
*                                           *
*********************************************

To install GeoProof on linux you can either install from the rpm or
from source.

*********************************************
1 - Rpm install
*********************************************

WARNING : This rpm file has been tested only on Linux Mandriva 2006.0
system.

To install GeoProof on a Mandriva system download the rpm files for GeoProof here :
http://download.gna.org/geoproof/

*********************************************
2 - Compilation from sources
*********************************************

To compile GeoProof you will need :
 - Ocaml >= 3.08 (http://caml.inria.fr/)
 - LablGtk2 >= 2.10.0 (http://wwwfun.kurims.kyoto-u.ac.jp/soft/olabl/lablgtk.html)
   Warning : 
	   - You need to compile lablgtk2 with librsvg support.
		Warning : You need a not too old version of librsvg,
			  otherwise the icons will look strange.
	   - You need GTK >= 2.8
 - Xml-light (http://tech.motion-twin.com/xmllight)
 - Ocaml bindinds for Cairo (http://cairographics.org/cairo-ocaml/)

To download Cairo Ocaml use :

cvs -d:pserver:anonymous@cvs.cairographics.org:/cvs/cairo co cairo-ocaml

If you want to perform computations using arbitrary precision you need : 

 - CReal 0.7 (http://www.lri.fr/~filliatr/ftp/ocaml/ds/creal-0.7.tar.gz)

Just unpack the tarball and do:

./configure

or 

./configure -disable-creal

if you do not want arbitray precision computations.

Then to build GeoProof do:

make

To install GeoProof you need to go root:

su

Here type your root password and then type:

make install

If you want to see the (not quite) documented sources, type 

make doc

and explore the doc/html directory with your favorite browser. 

USAGE

After compilation, you will get a binary which normally can
run on its own. Just type 

./geoproof

You will see a graphic window. Menus enable the different drawing
options.


***********************************************
*                                             *
* B - Windows Intallation                     *
*                                             *
***********************************************

1 - The easy way :

Just run the self installer, you can find it here :

http://download.gna.org/geoproof/windows/

2 - Compilation from source :

You need to intall lablgtk and lablrsvg as explained on lablgtk website:

http://wwwfun.kurims.kyoto-u.ac;jp/soft/olabl/lablgtk.html

You need to have cygwin installed.

Copy liblablrsvg.lib to liblablrsvg.a in the `ocamlc -where`\lablgtk2\ directory.

Copy librsvg-2.dll.a in the GeoProof directory. 
(Ok it is not clean, it needs to be fixed) 

Then compile GeoProof using make.

To list of the .dll used by GeoProof type :

objdump.exe -p geoproof-the-date.exe | grep "DLL Name"



***********************************************
*                                             *
* C - MacOSX                                  *
*                                             *
***********************************************


You need to install fink unstable otherwise the icons are ugly because of a bug in librsvg. 
You need to install the packages for ocaml, lablgtk2, gmp 

You need to install from source Xml-light (http://tech.motion-twin.com/xmllight)

It is easy:

./configure 
make 
make install (as root)

If you want to perform computations using arbitrary precision you need : 

 - CReal 0.7 (http://www.lri.fr/~filliatr/ftp/ocaml/ds/creal-0.7.tar.gz)

To compile CReal under MacOSX using fink you need gmp to be installed (quick hack):

./configure -prefix=/sw
cp /sw/include/gmp.h /usr/include (as root)
make
ocamlopt.opt -unsafe -I mlgmp -o test.opt creal.cmxa test.cmx -cclib "-L." -cclib "-L/sw/lib/"
ocamlopt.opt -unsafe -I mlgmp -o ecalc.opt creal.cmxa calc.cmx -cclib "-L."  -cclib "-L/sw/lib/"
make install (as root)

