diff options
| author |  Emilio Jesus Gallego Arias <e+git@x80.org> | 2018-04-29 02:12:16 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias <e+git@x80.org> | 2018-05-05 18:00:53 +0200 |
| commit | daa023eba8044404fbc708b7ae6172a918f1f18b (patch) | |
| tree | 819769686947d7f4d7a179631864bac3085d96fb /dev/ci/ci-compcert.sh | |
| parent | 87c959542e1bed55b14d371f1be02cd60d89082c (diff) | |
[gitlab] [circleci] Use a Custom Docker Image as base CI setup.
We provide a custom `Dockerfile` for Coq's CI system, based on
`ubuntu:bionic`. The image includes the required set of packages and
OPAM switches.
This greatly simplifies the Gitlab and Circle scripts, at the cost of
having to push a Docker build for them to depend on.
Travis is not included in this PR as it requires significant more
refactoring due to lack of native Docker support.
This is work in progress but ready, a build hook is used so the image
is properly tagged in the Docker autobuilder.
We need to improve the autobuilder setup but this last point requires
some design on how to trigger it.
Fixes #7383
Diffstat (limited to 'dev/ci/ci-compcert.sh')
| -rwxr-xr-x | dev/ci/ci-compcert.sh | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/dev/ci/ci-compcert.sh b/dev/ci/ci-compcert.sh index fbdeff20c..8d490591b 100755 --- a/dev/ci/ci-compcert.sh +++ b/dev/ci/ci-compcert.sh @@ -5,7 +5,6 @@ ci_dir="$(dirname "$0")" CompCert_CI_DIR="${CI_BUILD_DIR}/CompCert" -opam install -j "$NJOBS" -y menhir git_checkout "${CompCert_CI_BRANCH}" "${CompCert_CI_GITURL}" "${CompCert_CI_DIR}" ( cd "${CompCert_CI_DIR}" && ./configure -ignore-coq-version x86_32-linux && make && make check-proof ) |