File: README.windows

package info (click to toggle)
apron 0.9.10-9.1
  • links: PTS, VCS
  • area: main
  • in suites: bullseye
  • size: 7,268 kB
  • sloc: ansic: 63,105; cpp: 15,898; ml: 9,184; makefile: 2,136; sh: 10
file content (41 lines) | stat: -rw-r--r-- 1,164 bytes parent folder | download | duplicates (5)
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

This document tries to explain how to compile Apron under Windows.
For the moment, only 32-bit compilation using the Cygwin environment is
supported.

Note that this is work-in-progress.


PREREQUISITES
-------------

Get Cygwin at http://www.cygwin.com/

The following Cygwin package are required:
- gcc (Devel)
- make (Devel)
- gmp, mpfr (Math)
- doxygen (Devel)
- tetex-base (Publishing)

Additionally, you'll need to install manually the following

- OCaml 3.09 or better, from http://caml.inria.fr/ocaml/release.fr.html
  (the 3.08 version, in CygWin, at the time of writing is too old)

- CamlIDL, from http://caml.inria.fr/pub/old_caml_site/camlidl/


CONFIGURATION
-------------

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).

The following options should be disabled:
- HAS_CPP (Cygwin's gcc is too old)
- HAS_PPL (Apron with PPL compilation untested under Windows)
- HAS_LONG_DOUBLE (long double not supported by math library under Windows)

Now, (make rebuild), make and make install.