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
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
|
# This file is part of the APRON Library, released under LGPL license, except
# files requiring the PPL library (in ppl and products subdirectories)
# Please read the COPYING file packaged in the distribution
The developpers are using INTEL/linux machines. Look at README.windows and
README.mac for additional specific informations.
PREREQUISITES
-------------
- C API (required)
* GCC
* GMP 4.2 and MPFR 2.2 or up
* Optionally,
* PPL library (PARMA Polyhedra library, http://www.cs.unipr.it/ppl/)
- patch to apply before compiling it (see ./ppl/README)
- GMPXX (GMP compiled with configuration option --enable-cxx)
- OCaml API (optional)
* OCaml 3.09 or up (http://www.caml.org)
* CamlIDL 1.05 (http://caml.inria.fr/camlidl)
* GNU sed 4.1 or up, GNU m4 (not necessary if you download an archive, but
strongly recommended)
- C++ API (optional)
* GCC 4.1.2 or up
- Documentation (optional)
* latex, dvipdf, makeinfo, texi2html, texi2dvi
CONFIGURATION and COMPILATION
-----------------------------
1. Copy Makefile.config.model into Makefile.config and edit the
_PREFIX paths to suit your installation (you might want to set
APRON_PREFIX, CAMLIDL_PREFIX and CAML_PREFIX to /usr/local
instead of the default /usr).
2. If you download via subversion repository, and you want the
OCaml API: 'make rebuild'
3. 'make'
'make install'
4. Other targets:
make doc (not useful for a normal user)
make clean (clean things, with the exception of generated files)
make mostlyclean (clean all it can clean, implies clean)
make rebuild (rebuild generated files, mainly for OCaml interface)
make distclean (clean the distribution directories)
make install (installs in directories specified in Makefile.config)
ORGANISATION IN DIRECTORIES
---------------------------
This directory is a distribution directory, with external references (in the sense of subversion) to:
- mlgmpidl
- apron
Enter these subdirectories for details.
|