diff options
Diffstat (limited to 'dev/ci')
-rw-r--r-- | dev/ci/appveyor.sh | 2 | ||||
-rw-r--r-- | dev/ci/docker/bionic_coq/Dockerfile | 8 | ||||
-rw-r--r-- | dev/ci/user-overlays/07746-cleanup-unused-various.sh | 6 | ||||
-rw-r--r-- | dev/ci/user-overlays/07820-mattam82-hints-constants.sh | 6 | ||||
-rw-r--r-- | dev/ci/user-overlays/07898-ppedrot-rm-campl4-remains.sh | 8 | ||||
-rw-r--r-- | dev/ci/user-overlays/07902-ppedrot-camlp5-parser.sh | 8 |
6 files changed, 5 insertions, 33 deletions
diff --git a/dev/ci/appveyor.sh b/dev/ci/appveyor.sh index 7bf9ad8c9..d2176e326 100644 --- a/dev/ci/appveyor.sh +++ b/dev/ci/appveyor.sh @@ -2,7 +2,7 @@ set -e -x -APPVEYOR_OPAM_SWITCH=4.06.1+mingw64c +APPVEYOR_OPAM_SWITCH=4.07.0+mingw64c wget https://github.com/fdopen/opam-repository-mingw/releases/download/0.0.0.1/opam64.tar.xz tar -xf opam64.tar.xz diff --git a/dev/ci/docker/bionic_coq/Dockerfile b/dev/ci/docker/bionic_coq/Dockerfile index a4ee6a379..1361392dc 100644 --- a/dev/ci/docker/bionic_coq/Dockerfile +++ b/dev/ci/docker/bionic_coq/Dockerfile @@ -1,4 +1,4 @@ -# CACHEKEY: "bionic_coq-V2018-07-02-V4" +# CACHEKEY: "bionic_coq-V2018-07-11-V2" # ^^ Update when modifying this file. FROM ubuntu:bionic @@ -28,7 +28,7 @@ RUN opam init -a -y -j $NJOBS --compiler="$COMPILER" default https://opam.ocaml. # Common OPAM packages. # `num` does not have a version number as the right version to install varies # with the compiler version. -ENV BASE_OPAM="num ocamlfind.1.8.0 jbuilder.1.0+beta20 ounit.2.0.8" \ +ENV BASE_OPAM="num ocamlfind.1.8.0 dune.1.0.0 ounit.2.0.8" \ CI_OPAM="menhir.20180530 elpi.1.0.4 ocamlgraph.1.8.8" # BASE switch; CI_OPAM contains Coq's CI dependencies. @@ -43,8 +43,8 @@ RUN opam switch -y -j $NJOBS "${COMPILER}+32bit" && eval $(opam config env) && \ opam install -j $NJOBS $BASE_OPAM camlp5.$CAMLP5_VER # EDGE switch -ENV COMPILER_EDGE="4.06.1" \ - CAMLP5_VER_EDGE="7.05" \ +ENV COMPILER_EDGE="4.07.0" \ + CAMLP5_VER_EDGE="7.06" \ COQIDE_OPAM_EDGE="lablgtk.2.18.6 conf-gtksourceview.2" RUN opam switch -y -j $NJOBS $COMPILER_EDGE && eval $(opam config env) && \ diff --git a/dev/ci/user-overlays/07746-cleanup-unused-various.sh b/dev/ci/user-overlays/07746-cleanup-unused-various.sh deleted file mode 100644 index 8688b0d53..000000000 --- a/dev/ci/user-overlays/07746-cleanup-unused-various.sh +++ /dev/null @@ -1,6 +0,0 @@ -#!/bin/sh - -if [ "$CI_PULL_REQUEST" = "7746" ] || [ "$CI_BRANCH" = "cleanup-unused-various" ]; then - Equations_CI_BRANCH="adapt-unused" - Equations_CI_GITURL="https://github.com/SkySkimmer/Coq-Equations.git" -fi diff --git a/dev/ci/user-overlays/07820-mattam82-hints-constants.sh b/dev/ci/user-overlays/07820-mattam82-hints-constants.sh deleted file mode 100644 index 2ae86ae22..000000000 --- a/dev/ci/user-overlays/07820-mattam82-hints-constants.sh +++ /dev/null @@ -1,6 +0,0 @@ -_OVERLAY_BRANCH=hints-variables-overlay - -if [ "$CI_PULL_REQUEST" = "7820" ] || [ "$CI_BRANCH" = "_OVERLAY_BRANCH" ]; then - - Equations_CI_BRANCH="$_OVERLAY_BRANCH" -fi diff --git a/dev/ci/user-overlays/07898-ppedrot-rm-campl4-remains.sh b/dev/ci/user-overlays/07898-ppedrot-rm-campl4-remains.sh deleted file mode 100644 index 9c4c905fa..000000000 --- a/dev/ci/user-overlays/07898-ppedrot-rm-campl4-remains.sh +++ /dev/null @@ -1,8 +0,0 @@ -_OVERLAY_BRANCH=rm-campl4-remains - -if [ "$CI_PULL_REQUEST" = "7898" ] || [ "$CI_BRANCH" = "$_OVERLAY_BRANCH" ]; then - - pidetop_CI_BRANCH="$_OVERLAY_BRANCH" - pidetop_CI_GITURL=https://github.com/ppedrot/pidetop - -fi diff --git a/dev/ci/user-overlays/07902-ppedrot-camlp5-parser.sh b/dev/ci/user-overlays/07902-ppedrot-camlp5-parser.sh deleted file mode 100644 index 735153ebd..000000000 --- a/dev/ci/user-overlays/07902-ppedrot-camlp5-parser.sh +++ /dev/null @@ -1,8 +0,0 @@ -_OVERLAY_BRANCH=camlp5-parser - -if [ "$CI_PULL_REQUEST" = "7902" ] || [ "$CI_BRANCH" = "$_OVERLAY_BRANCH" ]; then - - ltac2_CI_BRANCH="$_OVERLAY_BRANCH" - ltac2_CI_GITURL=https://github.com/ppedrot/ltac2 - -fi |