Merge pull request #1346 from erikmd/fix-coq-bignums

Fix coq-bignums packages spec
coq · Jul 26, 2020 · 9719f3c · 9719f3c
2 parents afd18e4 + ffa9726
commit 9719f3c
Show file tree

Hide file tree

Showing 13 changed files with 22 additions and 34 deletions.
diff --git a/extra-dev/packages/coq-bignums/coq-bignums.8.10+beta1/opam b/extra-dev/packages/coq-bignums/coq-bignums.8.10+beta1/opam
@@ -10,9 +10,9 @@ authors: [
   "Evgeny Makarov"
   "Pierre Letouzey"
 ]
-license: "LGPL 2"
+license: "LGPL-2.1-only"
 build: [
-  [make "-j%{jobs}%"]
+  [make "-j%{jobs}%" {ocaml:version >= "4.06"}]
 ]
 install: [
   [make "install"]

diff --git a/extra-dev/packages/coq-bignums/coq-bignums.8.11.dev/opam b/extra-dev/packages/coq-bignums/coq-bignums.8.11.dev/opam
@@ -11,7 +11,7 @@ description: """
 Provides BigN, BigZ, BigQ that used to be part of Coq standard library < 8.6
 """
 
-build: [make "-j%{jobs}%"]
+build: [make "-j%{jobs}%" {ocaml:version >= "4.06"}]
 install: [make "install"]
 
 depends: [

diff --git a/extra-dev/packages/coq-bignums/coq-bignums.8.12.dev/opam b/extra-dev/packages/coq-bignums/coq-bignums.8.12.dev/opam
@@ -11,7 +11,7 @@ description: """
 Provides BigN, BigZ, BigQ that used to be part of Coq standard library < 8.6
 """
 
-build: [make "-j%{jobs}%"]
+build: [make "-j%{jobs}%" {ocaml:version >= "4.06"}]
 install: [make "install"]
 
 depends: [

diff --git a/extra-dev/packages/coq-bignums/coq-bignums.8.7.dev/opam b/extra-dev/packages/coq-bignums/coq-bignums.8.7.dev/opam
@@ -10,14 +10,13 @@ authors: [
   "Evgeny Makarov"
   "Pierre Letouzey"
 ]
-license: "LGPL 2"
+license: "LGPL-2.1-only"
 build: [
-  [make "-j%{jobs}%"]
+  [make "-j%{jobs}%" {ocaml:version >= "4.06"}]
 ]
 install: [
   [make "install"]
 ]
-remove: ["rm" "-R" "%{lib}%/coq/user-contrib/Bignums"]
 depends: [
   "ocaml"
   "coq" {>= "8.7" & < "8.8~"}
@@ -36,7 +35,6 @@ tags: [
 synopsis: "Bignums, the Coq library of arbitrary large numbers"
 description:
   "Provides BigN, BigZ, BigQ that used to be part of Coq standard library < 8.7."
-flags: light-uninstall
 url {
   src: "git+https://github.com/coq/bignums.git#v8.7"
 }
diff --git a/extra-dev/packages/coq-bignums/coq-bignums.8.8.dev/opam b/extra-dev/packages/coq-bignums/coq-bignums.8.8.dev/opam
@@ -10,14 +10,13 @@ authors: [
   "Evgeny Makarov"
   "Pierre Letouzey"
 ]
-license: "LGPL 2"
+license: "LGPL-2.1-only"
 build: [
-  [make "-j%{jobs}%"]
+  [make "-j%{jobs}%" {ocaml:version >= "4.06"}]
 ]
 install: [
   [make "install"]
 ]
-remove: ["rm" "-R" "%{lib}%/coq/user-contrib/Bignums"]
 depends: [
   "ocaml"
   "coq" {>= "8.8" & < "8.10~"}
@@ -36,7 +35,6 @@ tags: [
 synopsis: "Bignums, the Coq library of arbitrary large numbers"
 description:
   "Provides BigN, BigZ, BigQ that used to be part of Coq standard library < 8.7."
-flags: light-uninstall
 url {
   src: "git+https://github.com/coq/bignums.git#v8.8"
 }
diff --git a/extra-dev/packages/coq-bignums/coq-bignums.dev/opam b/extra-dev/packages/coq-bignums/coq-bignums.dev/opam
@@ -11,7 +11,7 @@ description: """
 Provides BigN, BigZ, BigQ that used to be part of Coq standard library
 """
 
-build: [make "-j%{jobs}%"]
+build: [make "-j%{jobs}%" {ocaml:version >= "4.06"}]
 install: [make "install"]
 
 depends: [

diff --git a/released/packages/coq-bignums/coq-bignums.8.10.0/opam b/released/packages/coq-bignums/coq-bignums.8.10.0/opam
@@ -10,9 +10,9 @@ authors: [
   "Evgeny Makarov"
   "Pierre Letouzey"
 ]
-license: "LGPL 2"
+license: "LGPL-2.1-only"
 build: [
-  [make "-j%{jobs}%"]
+  [make "-j%{jobs}%" {ocaml:version >= "4.06"}]
 ]
 install: [
   [make "install"]

diff --git a/released/packages/coq-bignums/coq-bignums.8.11.0/opam b/released/packages/coq-bignums/coq-bignums.8.11.0/opam
@@ -10,9 +10,9 @@ authors: [
   "Evgeny Makarov"
   "Pierre Letouzey"
 ]
-license: "LGPL-2.1"
+license: "LGPL-2.1-only"
 build: [
-  [make "-j%{jobs}%"]
+  [make "-j%{jobs}%" {ocaml:version >= "4.06"}]
 ]
 install: [
   [make "install"]

diff --git a/released/packages/coq-bignums/coq-bignums.8.12.0/opam b/released/packages/coq-bignums/coq-bignums.8.12.0/opam
@@ -12,7 +12,7 @@ authors: [
 ]
 license: "LGPL-2.1-only"
 build: [
-  [make "-j%{jobs}%"]
+  [make "-j%{jobs}%" {ocaml:version >= "4.06"}]
 ]
 install: [
   [make "install"]

diff --git a/released/packages/coq-bignums/coq-bignums.8.6.0/opam b/released/packages/coq-bignums/coq-bignums.8.6.0/opam
@@ -10,14 +10,13 @@ authors: [
   "Evgeny Makarov"
   "Pierre Letouzey"
 ]
-license: "LGPL 2"
+license: "LGPL-2.1-only"
 build: [
-  [make]
+  [make "-j%{jobs}%" {ocaml:version >= "4.06"}]
 ]
 install: [
   [make "install"]
 ]
-remove: ["rm" "-R" "%{lib}%/coq/user-contrib/Bignums"]
 depends: [
   "ocaml"
   "coq" {>= "8.6" & < "8.7~"}
@@ -36,7 +35,6 @@ tags: [
 synopsis: "Bignums, the Coq library of arbitrary large numbers"
 description:
   "Provides BigN, BigZ, BigQ that used to be part of Coq standard library < 8.7."
-flags: light-uninstall
 url {
   src: "https://github.com/coq/bignums/archive/v8.6.0.tar.gz"
   checksum: "md5=8200a64b50404a7f952e5ddd8047f646"

diff --git a/released/packages/coq-bignums/coq-bignums.8.7.0/opam b/released/packages/coq-bignums/coq-bignums.8.7.0/opam
@@ -10,14 +10,13 @@ authors: [
   "Evgeny Makarov"
   "Pierre Letouzey"
 ]
-license: "LGPL 2"
+license: "LGPL-2.1-only"
 build: [
-  [make]
+  [make "-j%{jobs}%" {ocaml:version >= "4.06"}]
 ]
 install: [
   [make "install"]
 ]
-remove: ["rm" "-R" "%{lib}%/coq/user-contrib/Bignums"]
 depends: [
   "ocaml"
   "coq" {>= "8.7" & < "8.8~"}
@@ -36,7 +35,6 @@ tags: [
 synopsis: "Bignums, the Coq library of arbitrary large numbers"
 description:
   "Provides BigN, BigZ, BigQ that used to be part of Coq standard library < 8.7."
-flags: light-uninstall
 url {
   src: "https://github.com/coq/bignums/archive/V8.7.0.tar.gz"
   checksum: "md5=1d5f18f15675cfac64df59b3405e64d3"

diff --git a/released/packages/coq-bignums/coq-bignums.8.8.0/opam b/released/packages/coq-bignums/coq-bignums.8.8.0/opam
@@ -10,14 +10,13 @@ authors: [
   "Evgeny Makarov"
   "Pierre Letouzey"
 ]
-license: "LGPL 2"
+license: "LGPL-2.1-only"
 build: [
-  [make "-j%{jobs}%"]
+  [make "-j%{jobs}%" {ocaml:version >= "4.06"}]
 ]
 install: [
   [make "install"]
 ]
-remove: ["rm" "-R" "%{lib}%/coq/user-contrib/Bignums"]
 depends: [
   "ocaml"
   "coq" {>= "8.8" & < "8.9~"}
@@ -36,7 +35,6 @@ tags: [
 synopsis: "Bignums, the Coq library of arbitrary large numbers"
 description:
   "Provides BigN, BigZ, BigQ that used to be part of Coq standard library < 8.7."
-flags: light-uninstall
 url {
   src: "https://github.com/coq/bignums/archive/V8.8.0.tar.gz"
   checksum: "md5=75b96617033250a41d064ea8da4febf8"

diff --git a/released/packages/coq-bignums/coq-bignums.8.9.0/opam b/released/packages/coq-bignums/coq-bignums.8.9.0/opam
@@ -10,14 +10,13 @@ authors: [
   "Evgeny Makarov"
   "Pierre Letouzey"
 ]
-license: "LGPL 2"
+license: "LGPL-2.1-only"
 build: [
-  [make "-j%{jobs}%"]
+  [make "-j%{jobs}%" {ocaml:version >= "4.06"}]
 ]
 install: [
   [make "install"]
 ]
-remove: ["rm" "-R" "%{lib}%/coq/user-contrib/Bignums"]
 depends: [
   "ocaml"
   "coq" {>= "8.9" & < "8.10~"}
@@ -35,7 +34,6 @@ tags: [
 synopsis: "Bignums, the Coq library of arbitrary large numbers"
 description:
   "Provides BigN, BigZ, BigQ that used to be part of Coq standard library < 8.7."
-flags: light-uninstall
 url {
   src: "https://github.com/coq/bignums/archive/V8.9.0.tar.gz"
   checksum: "md5=76a5dcff0dbbfd4eaa5e626c5b003eac"