Release changes (#729)

* Set version in opam files * Fix equations dependency * Fix build.yml * Fix opam files and add make-opam-files script * Update version bounds * Back to 8.16.dev versions
MetaCoq · Jul 4, 2022 · 22d17db · 22d17db
1 parent 5f3f703
commit 22d17db
Show file tree

Hide file tree

Showing 8 changed files with 31 additions and 11 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -50,8 +50,6 @@ jobs:
           before_install: |
             startGroup "Print opam config"
               opam config list; opam repo list; opam list
-              opam pin -n coq-equations http://github.com/mattam82/Coq-Equations.git#8.16
-              opam install --confirm-level=unsafe-yes coq-equations.8.16.dev
             endGroup
           script: |
             startGroup "Build project"

diff --git a/coq-metacoq-erasure.opam b/coq-metacoq-erasure.opam
@@ -2,7 +2,7 @@ opam-version: "2.0"
 version: "8.16.dev"
 maintainer: "matthieu.sozeau@inria.fr"
 homepage: "https://metacoq.github.io/metacoq"
-dev-repo: "git+https://github.com/MetaCoq/metacoq.git#coq-8.11"
+dev-repo: "git+https://github.com/MetaCoq/metacoq.git#coq-8.16"
 bug-reports: "https://github.com/MetaCoq/metacoq/issues"
 authors: ["Abhishek Anand <aa755@cs.cornell.edu>"
           "Danil Annenkov <danil.v.annenkov@gmail.com>"

diff --git a/coq-metacoq-pcuic.opam b/coq-metacoq-pcuic.opam
@@ -2,7 +2,7 @@ opam-version: "2.0"
 version: "8.16.dev"
 maintainer: "matthieu.sozeau@inria.fr"
 homepage: "https://metacoq.github.io/metacoq"
-dev-repo: "git+https://github.com/MetaCoq/metacoq.git#coq-8.11"
+dev-repo: "git+https://github.com/MetaCoq/metacoq.git#coq-8.16"
 bug-reports: "https://github.com/MetaCoq/metacoq/issues"
 authors: ["Abhishek Anand <aa755@cs.cornell.edu>"
           "Danil Annenkov <danil.v.annenkov@gmail.com>"

diff --git a/coq-metacoq-safechecker.opam b/coq-metacoq-safechecker.opam
@@ -2,7 +2,7 @@ opam-version: "2.0"
 version: "8.16.dev"
 maintainer: "matthieu.sozeau@inria.fr"
 homepage: "https://metacoq.github.io/metacoq"
-dev-repo: "git+https://github.com/MetaCoq/metacoq.git#coq-8.11"
+dev-repo: "git+https://github.com/MetaCoq/metacoq.git#coq-8.16"
 bug-reports: "https://github.com/MetaCoq/metacoq/issues"
 authors: ["Abhishek Anand <aa755@cs.cornell.edu>"
           "Danil Annenkov <danil.v.annenkov@gmail.com>"

diff --git a/coq-metacoq-template.opam b/coq-metacoq-template.opam
@@ -2,7 +2,7 @@ opam-version: "2.0"
 version: "8.16.dev"
 maintainer: "matthieu.sozeau@inria.fr"
 homepage: "https://metacoq.github.io/metacoq"
-dev-repo: "git+https://github.com/MetaCoq/metacoq.git#master"
+dev-repo: "git+https://github.com/MetaCoq/metacoq.git#coq-8.16"
 bug-reports: "https://github.com/MetaCoq/metacoq/issues"
 authors: ["Abhishek Anand <aa755@cs.cornell.edu>"
           "Danil Annenkov <danil.v.annenkov@gmail.com>"
@@ -27,9 +27,8 @@ install: [
 ]
 depends: [
   "stdlib-shims"
-  "ocaml" {>= "4.07.1"}
-  "coq" { > "8.16~" & < "8.17~" }
-  "coq-equations" { = "8.16.dev" }
+  "coq" { >= "8.16" & < "8.17~" }
+  "coq-equations" { >= "1.3" }
 ]
 synopsis: "A quoting and unquoting library for Coq in Coq"
 description: """

diff --git a/coq-metacoq-translations.opam b/coq-metacoq-translations.opam
@@ -2,7 +2,7 @@ opam-version: "2.0"
 version: "8.16.dev"
 maintainer: "matthieu.sozeau@inria.fr"
 homepage: "https://metacoq.github.io/metacoq"
-dev-repo: "git+https://github.com/MetaCoq/metacoq.git#coq-8.11"
+dev-repo: "git+https://github.com/MetaCoq/metacoq.git#coq-8.16"
 bug-reports: "https://github.com/MetaCoq/metacoq/issues"
 authors: ["Abhishek Anand <aa755@cs.cornell.edu>"
           "Danil Annenkov <danil.v.annenkov@gmail.com>"

diff --git a/coq-metacoq.opam b/coq-metacoq.opam
@@ -2,7 +2,7 @@ opam-version: "2.0"
 version: "8.16.dev"
 maintainer: "matthieu.sozeau@inria.fr"
 homepage: "https://metacoq.github.io/metacoq"
-dev-repo: "git+https://github.com/MetaCoq/metacoq.git#coq-8.11"
+dev-repo: "git+https://github.com/MetaCoq/metacoq.git#coq-8.16"
 bug-reports: "https://github.com/MetaCoq/metacoq/issues"
 authors: ["Abhishek Anand <aa755@cs.cornell.edu>"
           "Danil Annenkov <danil.v.annenkov@gmail.com>"

diff --git a/make-opam-files.sh b/make-opam-files.sh
@@ -0,0 +1,23 @@
+#/usr/bin/env bash
+echo "Target directory: " $1    
+echo "Target version: " $2
+echo "Releases package: " $3
+
+wget $3
+archive=`basename $3`
+hash=`shasum -a 512 $archive | cut -f 1 -d " "`
+
+echo "Shasum = " $hash
+
+for f in *.opam; 
+do 
+    opamf=${f/.opam/}; 
+    target=$1/$opamf/$opamf.$2/opam;
+    echo $opamf; 
+    mkdir $1/$opamf/$opamf.$2
+    gsed -e "/^version:.*/d" $f > $target
+    echo url { >> $target
+    echo "  src:" \"$3\" >> $target
+    echo "  checksum:" \"sha512=$hash\" >> $target
+    echo } >> $target
+done