.gitlab-ci.yml

tests_with_recompilation:
  image: ocaml/opam2
  script:
   - opam depext --install dune zarith num ocplib-simplex parsexp
   - cd Src/COLIBRI/simplex_ocaml; ECLIPSEBIN=$(pwd)/../../../Bin dune build simplex_ocaml_mod_v7.so simplex_ocaml.pl
   - cd Src/COLIBRI/simplex_ocaml; cp _build/default/simplex_ocaml.pl ..
   - cd Src/COLIBRI/simplex_ocaml; cp _build/default/simplex_ocaml_mod_v7.so ../lib/v7/x86_64_linux/simplex_ocaml.so
  tags:
   - docker