Also install-glob in flocq

According to https://gitlab.inria.fr/flocq/flocq/-/commit/d26acf9ff5eca9848c7bd7cfb3fe5c7949138f3b this target is supported since flocq 3.4.3.
coq · Oct 21, 2024 · 25f5165 · 25f5165
1 parent a02ab03
commit 25f5165
Show file tree

Hide file tree

Showing 10 changed files with 10 additions and 10 deletions.
diff --git a/extra-dev/packages/coq-flocq/coq-flocq.dev/opam b/extra-dev/packages/coq-flocq/coq-flocq.dev/opam
@@ -8,7 +8,7 @@ build: [
   ["./configure"]
   ["./remake" "-j%{jobs}%"]
 ]
-install: ["./remake" "install"]
+install: ["./remake" "install" "install-glob"]
 remove: ["rm" "-R" "%{lib}%/coq/user-contrib/Flocq"]
 depends: [
   "ocaml"

diff --git a/extra-dev/packages/coq-flocq3/coq-flocq3.dev/opam b/extra-dev/packages/coq-flocq3/coq-flocq3.dev/opam
@@ -8,7 +8,7 @@ build: [
   ["./configure"]
   ["./remake" "-j%{jobs}%"]
 ]
-install: ["./remake" "install"]
+install: ["./remake" "install" "install-glob"]
 remove: ["rm" "-R" "%{lib}%/coq/user-contrib/Flocq"]
 depends: [
   "conf-autoconf" {build}

diff --git a/released/packages/coq-flocq/coq-flocq.3.4.3/opam b/released/packages/coq-flocq/coq-flocq.3.4.3/opam
@@ -9,7 +9,7 @@ build: [
   ["./configure"]
   ["./remake" "-j%{jobs}%"]
 ]
-install: ["./remake" "install"]
+install: ["./remake" "install" "install-glob"]
 depends: [
   "coq" {>= "8.7" & < "8.16~"}
   "conf-autoconf" {build & dev}

diff --git a/released/packages/coq-flocq/coq-flocq.4.0.0/opam b/released/packages/coq-flocq/coq-flocq.4.0.0/opam
@@ -9,7 +9,7 @@ build: [
   ["./configure"]
   ["./remake" "-j%{jobs}%"]
 ]
-install: ["./remake" "install"]
+install: ["./remake" "install" "install-glob"]
 depends: [
   "coq" {>= "8.12" & < "8.16~"}
   "conf-autoconf" {build & dev}

diff --git a/released/packages/coq-flocq/coq-flocq.4.1.0/opam b/released/packages/coq-flocq/coq-flocq.4.1.0/opam
@@ -9,7 +9,7 @@ build: [
   ["./configure"]
   ["./remake" "-j%{jobs}%"]
 ]
-install: ["./remake" "install"]
+install: ["./remake" "install" "install-glob"]
 depends: [
   "coq" {>= "8.12" & < "8.17~"}
   "conf-autoconf" {build & dev}

diff --git a/released/packages/coq-flocq/coq-flocq.4.1.1/opam b/released/packages/coq-flocq/coq-flocq.4.1.1/opam
@@ -9,7 +9,7 @@ build: [
   ["./configure"]
   ["./remake" "-j%{jobs}%"]
 ]
-install: ["./remake" "install"]
+install: ["./remake" "install" "install-glob"]
 depends: [
   "coq" {>= "8.12" & < "8.18"}
   "conf-autoconf" {build & dev}

diff --git a/released/packages/coq-flocq/coq-flocq.4.1.2/opam b/released/packages/coq-flocq/coq-flocq.4.1.2/opam
@@ -9,7 +9,7 @@ build: [
   ["./configure"]
   ["./remake" "-j%{jobs}%"]
 ]
-install: ["./remake" "install"]
+install: ["./remake" "install" "install-glob"]
 depends: [
   "coq" {>= "8.12" & < "8.19~"}
   "conf-autoconf" {build & dev}

diff --git a/released/packages/coq-flocq/coq-flocq.4.1.3/opam b/released/packages/coq-flocq/coq-flocq.4.1.3/opam
@@ -9,7 +9,7 @@ build: [
   ["./configure"]
   ["./remake" "-j%{jobs}%"]
 ]
-install: ["./remake" "install"]
+install: ["./remake" "install" "install-glob"]
 depends: [
   "coq" {>= "8.12" & < "8.19~"}
   "conf-autoconf" {build & dev}

diff --git a/released/packages/coq-flocq/coq-flocq.4.1.4/opam b/released/packages/coq-flocq/coq-flocq.4.1.4/opam
@@ -9,7 +9,7 @@ build: [
   ["./configure"]
   ["./remake" "-j%{jobs}%"]
 ]
-install: ["./remake" "install"]
+install: ["./remake" "install" "install-glob"]
 depends: [
   "coq" {>= "8.12" & < "8.20~"}
   "conf-autoconf" {build & dev}

diff --git a/released/packages/coq-flocq/coq-flocq.4.2.0/opam b/released/packages/coq-flocq/coq-flocq.4.2.0/opam
@@ -9,7 +9,7 @@ build: [
   ["./configure"]
   ["./remake" "-j%{jobs}%"]
 ]
-install: ["./remake" "install"]
+install: ["./remake" "install" "install-glob"]
 depends: [
   "coq" {>= "8.12"}
   "conf-autoconf" {build & dev}