adapt CI and opam files to 8.18

MetaCoq · Oct 2, 2023 · c2d2754 · c2d2754
1 parent 573587b
commit c2d2754
Show file tree

Hide file tree

Showing 13 changed files with 16 additions and 15 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -24,7 +24,7 @@ jobs:
     strategy:
       matrix:
         coq_version:
-          - 'dev'
+          - '8.18'
         ocaml_version:
           - '4.14-flambda'
         target: [ local, opam, quick ]
@@ -50,6 +50,7 @@ jobs:
             startGroup "Workaround permission issue"
               sudo chown -R coq:coq .  # <--
               opam exec -- ocamlfind list
+              opam pin coq-equations.1.3 "https://github.com/mattam82/Coq-Equations.git#8.18"
             endGroup
           before_install: |
             startGroup "Print opam config"

diff --git a/coq-metacoq-common.opam b/coq-metacoq-common.opam
@@ -1,5 +1,5 @@
 opam-version: "2.0"
-version: "dev"
+version: "8.18.dev"
 maintainer: "[email protected]"
 homepage: "https://metacoq.github.io/metacoq"
 dev-repo: "git+https://github.com/MetaCoq/metacoq.git#main"

diff --git a/coq-metacoq-erasure-plugin.opam b/coq-metacoq-erasure-plugin.opam
@@ -1,5 +1,5 @@
 opam-version: "2.0"
-version: "dev"
+version: "8.18.dev"
 maintainer: "[email protected]"
 homepage: "https://metacoq.github.io/metacoq"
 dev-repo: "git+https://github.com/MetaCoq/metacoq.git#main"

diff --git a/coq-metacoq-erasure.opam b/coq-metacoq-erasure.opam
@@ -1,5 +1,5 @@
 opam-version: "2.0"
-version: "dev"
+version: "8.18.dev"
 maintainer: "[email protected]"
 homepage: "https://metacoq.github.io/metacoq"
 dev-repo: "git+https://github.com/MetaCoq/metacoq.git#main"

diff --git a/coq-metacoq-pcuic.opam b/coq-metacoq-pcuic.opam
@@ -1,5 +1,5 @@
 opam-version: "2.0"
-version: "dev"
+version: "8.18.dev"
 maintainer: "[email protected]"
 homepage: "https://metacoq.github.io/metacoq"
 dev-repo: "git+https://github.com/MetaCoq/metacoq.git#main"

diff --git a/coq-metacoq-quotation.opam b/coq-metacoq-quotation.opam
@@ -1,5 +1,5 @@
 opam-version: "2.0"
-version: "dev"
+version: "8.18.dev"
 maintainer: "[email protected]"
 homepage: "https://metacoq.github.io/metacoq"
 dev-repo: "git+https://github.com/MetaCoq/metacoq.git#main"

diff --git a/coq-metacoq-safechecker-plugin.opam b/coq-metacoq-safechecker-plugin.opam
@@ -1,5 +1,5 @@
 opam-version: "2.0"
-version: "dev"
+version: "8.18.dev"
 maintainer: "[email protected]"
 homepage: "https://metacoq.github.io/metacoq"
 dev-repo: "git+https://github.com/MetaCoq/metacoq.git#main"

diff --git a/coq-metacoq-safechecker.opam b/coq-metacoq-safechecker.opam
@@ -1,5 +1,5 @@
 opam-version: "2.0"
-version: "dev"
+version: "8.18.dev"
 maintainer: "[email protected]"
 homepage: "https://metacoq.github.io/metacoq"
 dev-repo: "git+https://github.com/MetaCoq/metacoq.git#main"

diff --git a/coq-metacoq-template-pcuic.opam b/coq-metacoq-template-pcuic.opam
@@ -1,5 +1,5 @@
 opam-version: "2.0"
-version: "dev"
+version: "8.18.dev"
 maintainer: "[email protected]"
 homepage: "https://metacoq.github.io/metacoq"
 dev-repo: "git+https://github.com/MetaCoq/metacoq.git#main"

diff --git a/coq-metacoq-template.opam b/coq-metacoq-template.opam
@@ -1,5 +1,5 @@
 opam-version: "2.0"
-version: "dev"
+version: "8.18.dev"
 maintainer: "[email protected]"
 homepage: "https://metacoq.github.io/metacoq"
 dev-repo: "git+https://github.com/MetaCoq/metacoq.git#main"

diff --git a/coq-metacoq-translations.opam b/coq-metacoq-translations.opam
@@ -1,5 +1,5 @@
 opam-version: "2.0"
-version: "dev"
+version: "8.18.dev"
 maintainer: "[email protected]"
 homepage: "https://metacoq.github.io/metacoq"
 dev-repo: "git+https://github.com/MetaCoq/metacoq.git#main"

diff --git a/coq-metacoq-utils.opam b/coq-metacoq-utils.opam
@@ -1,5 +1,5 @@
 opam-version: "2.0"
-version: "dev"
+version: "8.18.dev"
 maintainer: "[email protected]"
 homepage: "https://metacoq.github.io/metacoq"
 dev-repo: "git+https://github.com/MetaCoq/metacoq.git#main"
@@ -29,8 +29,8 @@ install: [
 ]
 depends: [
   "stdlib-shims"
-  "coq" { = "dev" }
-  "coq-equations" { = "dev" }
+  "coq" { >= "8.18" & < "8.19~" }
+  "coq-equations" { = "1.3" }
 ]
 synopsis: "The utility library of Template Coq and PCUIC"
 description: """

diff --git a/coq-metacoq.opam b/coq-metacoq.opam
@@ -1,5 +1,5 @@
 opam-version: "2.0"
-version: "dev"
+version: "8.18.dev"
 maintainer: "[email protected]"
 homepage: "https://metacoq.github.io/metacoq"
 dev-repo: "git+https://github.com/MetaCoq/metacoq.git#main"