Newer
Older
script:
#Eclipse Prolog compilation of COLIBRI
- ./compile_colibri.sh
#Bundle in bundle directory
- cp -ra Bin/ECLIPSE_V7.0_45/ bundle/ECLIPSE/
- ./test.sh -j2
artifacts:
paths:
- logs
expire_in: 1 week
tags:
- docker
- rm -f Src/COLIBRI/lib/v7/x86_64_linux/* Src/COLIBRI/simplex_ocaml.pl
- opam depext --install dune zarith ocplib-simplex parsexp menhir fmt spelll gen
- make ECLIPSEBIN=$(pwd)/Bin/ECLIPSE_V7.0_45/
- cp -ra Bin/ECLIPSE_V7.0_45/ bundle/ECLIPSE/
- sudo apt-get update
- sudo apt-get install -y parallel
- ./test.sh -j2
artifacts:
paths:
- logs
expire_in: 1 week