[docker 8.17] [docker 8.18] [docker 8.19]

.circleci/Dockerfile.8.17

@@ -1,6 +1,6 @@
 FROM coqorg/coq:8.17.1
 ENV OPAMYES true
-ENV VST_NEEDED 2.11.1
+ENV VST_NEEDED 2.12
 
 RUN \
     opam install -j `nproc` \

.circleci/Dockerfile.8.18

@@ -0,0 +1,9 @@
+FROM coqorg/coq:8.18
+ENV OPAMYES true
+RUN opam install -j `nproc` \
+         menhir \
+         ocamlbuild \
+         coq-mathcomp-ssreflect \
+         coq-ext-lib \
+         coq-simple-io \
+         coq-quickchick

.circleci/Dockerfile.8.19

@@ -0,0 +1,10 @@
+FROM coqorg/coq:8.19
+ENV OPAMYES true
+RUN opam install -j `nproc` \
+         ocamlbuild \
+         coq-ext-lib \
+         coq-simple-io \
+         menhir \
+         coq-mathcomp-ssreflect \
+         coq-vst \
+         coq-quickchick

.circleci/Makefile

@@ -1,6 +1,4 @@
-all: 8.15 8.16
-
-# all: 8.15 8.16 dev
+all: 8.17 8.18 8.19 dev
 
 %:      IMAGE=ysli/sfdev:$@
 %:      DOCKERFILE=Dockerfile.$@

.circleci/config.yml

@@ -24,6 +24,21 @@ jobs:
             docker build -t deepspec/sfdev:8.16 - < Dockerfile.8.16
             docker push deepspec/sfdev:8.16
             fi
+            if fgrep -q '[docker 8.17]' \<<< $changes; then
+            echo "Building 8.17"
+            docker build -t deepspec/sfdev:8.17 - < Dockerfile.8.17
+            docker push deepspec/sfdev:8.17
+            fi
+            if fgrep -q '[docker 8.18]' \<<< $changes; then
+            echo "Building 8.18"
+            docker build -t deepspec/sfdev:8.18 - < Dockerfile.8.18
+            docker push deepspec/sfdev:8.18
+            fi
+            if fgrep -q '[docker 8.19]' \<<< $changes; then
+            echo "Building 8.19"
+            docker build -t deepspec/sfdev:8.19 - < Dockerfile.8.19
+            docker push deepspec/sfdev:8.19
+            fi
             if fgrep -q '[docker dev]' \<<< $changes; then
             echo "Building dev"
             docker build -t deepspec/sfdev:dev - < Dockerfile.dev