Commit 1aa71784 authored by Heiko Becker's avatar Heiko Becker

Changes to CI and Dockerfile

parent 074ea9df
image: localhost:5000/daisy
variables:
SBT_OPTS: "-Dsbt.global.base=sbt-cache/.sbtboot -Dsbt.boot.directory=sbt-cache/.boot -Dsbt.ivy.home=sbt-cache/.ivy"
SBT_CACHE_DIR: "sbt-cache/.ivy/cache"
cache:
paths:
- sbt-cache
image: localhost:5000/flover
stages:
- compile
- test
compile-daisy:
stage: compile
script: sbt clean compile
artifacts:
expire_in: 1h
paths:
- target/
- project/
compile-coq:
stage: compile
......@@ -32,15 +14,3 @@ compile-hol:
compile-binary:
stage: compile
script: cd hol4/binary && Holmake checkerBinaryTheory.uo && Holmake checker.S && Holmake cake_checker
unit:
stage: test
dependencies:
- compile
script: sbt "testOnly unit.*"
regression:
stage: test
dependencies:
- compile
script: sbt "testOnly regression.*"
FROM openjdk:8u141-jdk
RUN touch /usr/lib/jvm/java-8-openjdk-amd64/release
FROM debian:latest
ENV HOLCOMMIT 60830f02ff6b86e0fd69ce6679614d497089b2eb
ENV SBT_VERSION 0.13.15
WORKDIR /root
# Install sbt
RUN \
curl -L -o sbt-$SBT_VERSION.deb https://dl.bintray.com/sbt/debian/sbt-$SBT_VERSION.deb && \
dpkg -i sbt-$SBT_VERSION.deb && \
rm sbt-$SBT_VERSION.deb && \
apt-get update && \
apt-get install sbt && \
sbt sbtVersion
# # Install mpfr
# RUN apt-get install libmpfr4
# # Install Z3
# RUN apt-get install libgomp1 z3
# # Install dReal
# RUN \
# curl -fsL https://github.com/dreal/dreal3/releases/download/v3.16.09.01/dReal-3.16.09.01-linux.tar.gz | tar xz && \
# ln -s ~/dReal-3.16.09.01-linux/bin/dReal /usr/bin/dReal
# Install opam
RUN \
wget https://raw.github.com/ocaml/opam/master/shell/opam_installer.sh -O - | sh -s /usr/local/bin
......
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