.gitlab-ci.yml

stages:
  - tests
  - tests_recompilation

tests_without_recompilation:
  stage: tests
  image: debian
  script:
  #Eclipse Prolog compilation of COLIBRI
   - ./compile_colibri.sh
  #Bundle in bundle directory
   - ./bundle.sh
  #Test
   - apt-get update
   - apt-get install -y parallel
   - ./test.sh -j2
  artifacts:
    paths:
     - logs
    expire_in: 1 week
  tags:
    - docker

tests_with_recompilation:
  stage: tests_recompilation
  image: ocaml/opam2
  script:
   - rm -f Src/COLIBRI/lib/v7/x86_64_linux/* Src/COLIBRI/simplex_ocaml.pl
  #OCaml dependencies
   - opam depext --install dune zarith num ocplib-simplex parsexp
  #OCaml compilation
   - make ECLIPSEBIN=$(pwd)/../../../Bin
  #Bundle in bundle directory
   - cp -ra Bin/ECLIPSE_V7.0_45/ bundle/ECLIPSE/
   - ./bundle.sh bundle
  #Test
   - sudo apt-get update
   - sudo apt-get install -y parallel
   - ./test.sh -j2
  artifacts:
    paths:
     - logs
    expire_in: 1 week
  tags:
    - docker