Project

General

Profile

Revision 80e49b79 INSTALL

View differences:

INSTALL
10 10
Dependencies:
11 11

  
12 12
  - oasis (only needed if there is no setup.ml, e.g. when building from git)
13
  - ocamlfind
14
  - ocamlgraph
13
  - ocamlfind (package called ocaml-findlib)
14
  - ocamlgraph (package ocaml-ocamlgraph)
15 15
  - readline
16 16
  - minisat (at least minisat 2)
17
  - pgsolver
18 17

  
19 18
On Debian or Ubuntu, install the following packages:
20 19

  
21 20
  - git
22 21
  - build-essential
22
  - oasis
23
  - libocamlgraph-ocaml-dev
24
  - libreadline-dev
23 25
  - minisat
24
  - opam
25 26

  
26
And then execute the following:
27

  
28
    opam config setup (# And follow the instructions)
29
    opam install oasis ocamlfind ocamlgraph pgsolver
30 27

  
31 28
Build
32 29
-----
33
Make sure your opam environment is loaded with:
34

  
35
    eval `opam config env`
36

  
37 30
In case there is no setup.ml yet, create it with oasis:
38 31

  
39 32
    oasis setup

Also available in: Unified diff