# 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.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:

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

## Making a release

To make a release, the `RELEASE_TOKEN` environment variable must be
set to a token generated by Gitlab and associated with your account
(the one in the example is invalid):

````
export RELEASE_TOKEN=glptt-0123456789abcdef
````

- Update `version`, using the `YYYY.MM` format (Y=year, M=month).
- Update `CHANGES.md` by adding a section in front of the current
  ones. This file is processed by `changelog.sed`, which contains
  additional comments about the subset of markdown understood by the
  script.
- Commit all changes.
- Push to different branch to create a merge request
- Review, fix and eventually merge it
- Locally, pull from `origin/master` to `master`
- Tag the commit with preferably the same value as `version`, ie.
  `YYYY.MM` (there may be a suffix if necessary).
- Execute `make release` and confirm.

## Remarks

The `Src/` directory is copied nightly from its original repository.
It should be considered read-only here.

## LICENCE

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