From 25f51655f7f9f7e44e31a8e86a5c6df6fb42af61 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Mon, 21 Oct 2024 09:55:46 -0700 Subject: [PATCH] Also install-glob in flocq According to https://gitlab.inria.fr/flocq/flocq/-/commit/d26acf9ff5eca9848c7bd7cfb3fe5c7949138f3b this target is supported since flocq 3.4.3. --- extra-dev/packages/coq-flocq/coq-flocq.dev/opam | 2 +- extra-dev/packages/coq-flocq3/coq-flocq3.dev/opam | 2 +- released/packages/coq-flocq/coq-flocq.3.4.3/opam | 2 +- released/packages/coq-flocq/coq-flocq.4.0.0/opam | 2 +- released/packages/coq-flocq/coq-flocq.4.1.0/opam | 2 +- released/packages/coq-flocq/coq-flocq.4.1.1/opam | 2 +- released/packages/coq-flocq/coq-flocq.4.1.2/opam | 2 +- released/packages/coq-flocq/coq-flocq.4.1.3/opam | 2 +- released/packages/coq-flocq/coq-flocq.4.1.4/opam | 2 +- released/packages/coq-flocq/coq-flocq.4.2.0/opam | 2 +- 10 files changed, 10 insertions(+), 10 deletions(-) diff --git a/extra-dev/packages/coq-flocq/coq-flocq.dev/opam b/extra-dev/packages/coq-flocq/coq-flocq.dev/opam index 2dbff402e..069d315d9 100644 --- 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 index 780c16d47..7b0d9a7c5 100644 --- 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 index 2c59a25d0..ab37d3114 100644 --- 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 index 6d535129a..828906b83 100644 --- 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 index c4fc13880..091e6a4fe 100644 --- 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 index 3996fee83..1b261ef92 100644 --- 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 index 06a6ff72b..49dbf169c 100644 --- 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 index 0c945654f..ed85f2ae8 100644 --- 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 index ca576a1f1..69f846a7c 100644 --- 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 index 0c7a94bf0..a355a7fc3 100644 --- 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}