Fix opam files and add make-opam-files script

MetaCoq · Jul 1, 2022 · d073f87 · d073f87
1 parent b1ad2a0
commit d073f87
Show file tree

Hide file tree

Showing 7 changed files with 29 additions and 6 deletions.
diff --git a/coq-metacoq-erasure.opam b/coq-metacoq-erasure.opam
@@ -2,7 +2,7 @@ opam-version: "2.0"
 version: "8.15.dev"
 maintainer: "[email protected]"
 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 <[email protected]>"
           "Simon Boulier <[email protected]>"

diff --git a/coq-metacoq-pcuic.opam b/coq-metacoq-pcuic.opam
@@ -2,7 +2,7 @@ opam-version: "2.0"
 version: "8.15.dev"
 maintainer: "[email protected]"
 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 <[email protected]>"
           "Simon Boulier <[email protected]>"

diff --git a/coq-metacoq-safechecker.opam b/coq-metacoq-safechecker.opam
@@ -2,7 +2,7 @@ opam-version: "2.0"
 version: "8.15.dev"
 maintainer: "[email protected]"
 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 <[email protected]>"
           "Simon Boulier <[email protected]>"

diff --git a/coq-metacoq-template.opam b/coq-metacoq-template.opam
@@ -2,7 +2,7 @@ opam-version: "2.0"
 version: "8.15.dev"
 maintainer: "[email protected]"
 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 <[email protected]>"
           "Simon Boulier <[email protected]>"

diff --git a/coq-metacoq-translations.opam b/coq-metacoq-translations.opam
@@ -2,7 +2,7 @@ opam-version: "2.0"
 version: "8.15.dev"
 maintainer: "[email protected]"
 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: ["Simon Boulier <[email protected]>"
           "Cyril Cohen <[email protected]>"

diff --git a/coq-metacoq.opam b/coq-metacoq.opam
@@ -2,7 +2,7 @@ opam-version: "2.0"
 version: "8.15.dev"
 maintainer: "[email protected]"
 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 <[email protected]>"
           "Simon Boulier <[email protected]>"

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