Update CompCert version for CI from 3.8 to 3.9

vbgl · May 20, 2021 · 0da1e90 · 0da1e90
1 parent a5aed64
commit 0da1e90
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/.travis.yml b/.travis.yml
@@ -33,7 +33,7 @@ env:
   - COMPILER="4.07.1"
   - COQ_VERSION="8.12.2"
   - NEXT_VERSION="8.12.2"
-  - COMPCERT_VERSION="3.8"
+  - COMPCERT_VERSION="3.9"
 
 branches:
   only:

diff --git a/coq-vst-32.opam b/coq-vst-32.opam
@@ -23,7 +23,7 @@ install: [
 	]
 depends: [
   "coq" {>= "8.11.0"}
-  "coq-compcert-32" {= "3.8"}
+  "coq-compcert-32" {= "3.9"}
 ]
 synopsis: "Verified Software Toolchain"
 description:

diff --git a/coq-vst.opam b/coq-vst.opam
@@ -23,7 +23,7 @@ install: [
 	]
 depends: [
   "coq" {>= "8.11.0"}
-  "coq-compcert" {= "3.8"}
+  "coq-compcert" {= "3.9"}
 ]
 synopsis: "Verified Software Toolchain"
 description: