COLIBRI
Bundles
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.
Dependencies
In addition to the Eclipse (CLP) environment that is
distributed within the bundle, the colibri solver relies
on two auxiliary libraries:
float_util.sosimplex_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:
- dune
- fmt
- gen
- menhir
- ocplib-simplex
- parsexp
- spelll
- uutf
- zarith
The exact versions required are listed in .gitlab-ci.yml.
Compilation on linux
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).
Compilation on windows
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.
LICENCE
This is the open-source colibri distribution. This software under the LGP2.1 LICENCE.