Skip to content
Snippets Groups Projects
README.md 1.98 KiB
Newer Older
François Bobot's avatar
François Bobot committed

The Makefile can produce a relocalisable directory for version 5 and 7
of ECLiPSe, in `bundle/v5` and `bundle/v7`, with respectively `make v5-build` 
and `make v7-build`.

Inside each bundle directory there is a `colibri` executable.

Also, `make v5-archive` and `make v7-archive` create `.tbz` archives
of the respective bundle directories.

The command `make archives` will create both archives.
Christophe Junke's avatar
Christophe Junke committed
In addition to the `Eclipse (CLP)` environment that is
distributed within the bundle, the `colibri` solver relies
on two auxiliary libraries: 

- `float_util.so` 
- `simplex_ocaml.so`
	
The simplex library needs to link to `libgmp.so`, which can
be installed using your distribution (e.g. on Debian from
the ` libgmp-dev` package).

In order to build `simplex_ocaml.so`, it is necessary to
have `opam` installed and configured, in order to install
the following OCaml modules:
François Bobot's avatar
François Bobot committed

   - dune
   - fmt
   - gen
   - menhir
   - ocplib-simplex
   - parsexp
   - spelll
   - uutf
   - zarith

The exact versions required are listed in `.gitlab-ci.yml`.
The command `make` builds all the libraries and executables.

The `Makefile` can be parameterized by two environment
variables, `BUNDLE` (which is the directory where the bundle
is created), and `ECL_VERSION`, which indicates which
version of the Eclipse library should be used (see `Makefile`
for details).
The compilation is helped by using
https://fdopen.github.io/opam-repository-mingw/, it will install ocaml
compiler but also mingw for the C part. Use `ocaml-env` to setup the
environement for the compilation. Then the compilation is the same
than for linux.

## Remarks

`Bin/` and `Src/` directories are copied from their respective
repositories using the `release_colibri_opensource.sh` script found in
`gatel/Src`'s original repository. They should be considered read-only
here.

François Bobot's avatar
François Bobot committed

This is the open-source colibri distribution.
This software under the LGP2.1 LICENCE.