1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
Hlins Installation
==================
To compile Hlins you need the Objective CAML compiler from INRIA
which is available for most platforms. See the ocaml home page
http://pauillac.inria.fr/caml/
To compile, do from the hlins main directory
make configure; make
The native code compiler is used when autoconf succeeds in finding it,
otherwise (this occurs in particular on m68k architectures where a
native code compiler is not available at time of this writing) the byte
code compiler is used and a copy of the runtime system is included in
the executable. Hence in neither of the two cases you need ocaml on
your machine to execute hlins.
To install (check the variables defining the target installation
directories in doc/Makefile and source/Makefile.in) do
make install
Ralf Treinen [treinen@lri.fr]
|
