Commit d3a29e38 authored by Heiko Becker's avatar Heiko Becker

Make some small changes to build process to get CI properly working (hopefully)

parent 17f9281a
......@@ -5,11 +5,10 @@ variables:
stages:
- compile
- binary
compile-coq:
stage: compile
only:
only:
- master
script: ./scripts/ci-coq.sh
......@@ -21,16 +20,4 @@ compile-hol:
artifacts:
expire_in: 24h
paths:
- hol4/
compile-binary:
stage: binary
script: ./scripts/ci-cakeml-binary.sh
only:
- master
artifacts:
expire_in: 24h
paths:
- hol4/binary
dependencies:
- compile-hol
- hol4/binary/
......@@ -2,3 +2,7 @@
cd ./hol4
$HOLDIR/bin/Holmake
cd ./binary
$HOLDIR/bin/Holmake checkerBinaryTheory.uo
$HOLDIR/bin/Holmake checker.S
$HOLDIR/bin/Holmake cake_checker
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment