src: 33324d91
farith: a93db57

src: 78599729
farith: a93db57

Synchronize

See merge request !52

Refactor tools/compile_colibri

See merge request !51

- uniform approach to path to make sure they are absolute
  (previously colibridir could have been relative)
- rearrange code into distinct sections
  (try to group side-effects together)
- introduce parse_options function
- make eclipselib point to lib/ARCH and
  eclipseexe point to executable file
  (instead of eclipseexe being lib/ARCH)

Fix CI script

See merge request !49

Release 2024.05

See merge request !48

Fix release file upload

See merge request !47

Preview release description locally

See merge request !46

Release script

See merge request !45

CI - separate jobs for building and testing

See merge request adacore/colibri!44

Build adjustments

See merge request adacore/colibri!43

Cleanup build scripts and git repository

See merge request adacore/colibri!42

- Use a more recent version of opam to install ocplib-simplex 0.5
- Remove tests_with_recompilation for now (we need to discuss this)

- use a common function to run different test suites
- also tell git to ignore generated log files

- Downgrade to tcl 8.5.2 (from 8.5.9) due probably to interface
problems with newer version (to check and fix later)

- Fix simplex_ocaml for ocplib-simplex 0.5

Fixes

See merge request adacore/colibri!41