Skip to content
Snippets Groups Projects
.gitlab-ci.yml 1.48 KiB
Newer Older
François Bobot's avatar
François Bobot committed
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

François Bobot's avatar
François Bobot committed
tests_with_recompilation:
François Bobot's avatar
François Bobot committed
  stage: tests_recompilation
François Bobot's avatar
François Bobot committed
  image: ocaml/opam2
  script:
François Bobot's avatar
François Bobot committed
   - rm -f Src/COLIBRI/lib/v7/x86_64_linux/* Src/COLIBRI/simplex_ocaml.pl
François Bobot's avatar
François Bobot committed
  #OCaml dependencies
François Bobot's avatar
François Bobot committed
   - opam depext --install dune zarith num ocplib-simplex parsexp
François Bobot's avatar
François Bobot committed
  #OCaml compilation
François Bobot's avatar
François Bobot committed
   - (cd Src/COLIBRI/simplex_ocaml; ECLIPSEBIN=$(pwd)/../../../Bin dune build simplex_ocaml_mod_v7.so simplex_ocaml.pl)
François Bobot's avatar
François Bobot committed
  #Copy OCaml targets
François Bobot's avatar
François Bobot committed
   - (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)
François Bobot's avatar
François Bobot committed
  #C++ compilation and targets copying
François Bobot's avatar
François Bobot committed
   - (cd Src/Floats; g++ -fPIC -O -D__LINUX__ -I ../../Bin/ECLIPSE_V7.0_45/include/x86_64_linux -shared EclipseInterfaceSimFloat2.2.cpp Floatcpp-3.0_SimFloat2.2.cpp -o ../COLIBRI/lib/v7/x86_64_linux/float_util.so)
François Bobot's avatar
François Bobot committed
  #Eclipse Prolog compilation of COLIBRI
François Bobot's avatar
François Bobot committed
   - ./compile_colibri.sh
François Bobot's avatar
François Bobot committed
  #Bundle in bundle directory
   - ./bundle.sh
  #Test
François Bobot's avatar
François Bobot committed
   - apt-get update
   - apt-get install -y parallel
   - ./test.sh -j2
  artifacts:
    paths:
     - logs
    expire_in: 1 week
François Bobot's avatar
François Bobot committed
  tags:
François Bobot's avatar
François Bobot committed
    - docker