Installing Flow Caml on a Unix machine
--------------------------------------------------------------------------
PREREQUISITES
* The Objective Caml system, version 3.08 or greater
(available at http://caml.inria.fr/)
* GNU Make
* A minor feature of Flow Caml requires the GraphViz tools to be
installed. They can be download at the following adresses:
http://www.graphviz.org/
http://www.research.att.com/sw/tools/graphviz/
However, the configure script automatically detects their presence,
and the system should run properly even if they are not found.
--------------------------------------------------------------------------
INSTALLATION INSTRUCTIONS
1- Go to the source directory of the system, i.e. the directory
src-flowcaml/ of the distribution:
cd src-flowcaml
2- Configure the system. From the source directory, do:
./configure
The "configure" script accepts the following option:
-bindir=
Directory where the binaries will be installed
(by default, /usr/local/bin)
-libdir=
Directory where the standard library will be installed
(by default, /usr/local/lib/flowcaml)
-prefix=
Set bindir and libdir to /bin and /lib/flowcaml
-with-runlib=
Directory where the runtime library will be installed
(by default, {ocaml-libdir}/flowcamlrun
--disable-assert
Disable run-time assertion checks in source code
2- Compile. From the source directory, do:
make world
This first builds the Flow Caml interactive toplevel and batch
compilers. Then it uses the latter to build the Flow Caml standard library
3- You can now install the system. This will create the following
commands (in the binary directory selected during autoconfiguration):
flowcaml the interactive toplevel
flowcamlc the batch compiler
flowcamldep the dependencies generator
flowcamlmerge the compilation units merger
From the source directory, become superuser and do:
umask 022 # make sure to give read & execute permission to all
make install
4- Installation is complete. You can restore the source tree to its
original content by
make clean
If you wish to uninstall Flow Caml from your system, you can do
make uninstall