Add explicit prefix in configure steps in opam files (#480)

This makes it so that the configure step does not need to call opam.
OCamlPro · Sep 13, 2021 · ba99397 · ba99397
1 parent 384906b
commit ba99397
Show file tree

Hide file tree

Showing 8 changed files with 8 additions and 8 deletions.
diff --git a/alt-ergo-lib.opam b/alt-ergo-lib.opam
@@ -33,7 +33,7 @@ license: [
 ]
 
 build: [
-  ["ocaml" "unix.cma" "configure.ml" name "--libdir" lib "--mandir" man]
+  ["ocaml" "unix.cma" "configure.ml" name "--prefix" prefix "--libdir" lib "--mandir" man]
   ["dune" "subst"] {pinned}
   ["dune" "build" "-p" name "-j" jobs]
 ]
diff --git a/alt-ergo-lib.opam.template b/alt-ergo-lib.opam.template
@@ -6,7 +6,7 @@ license: [
 ]
 
 build: [
-  ["ocaml" "unix.cma" "configure.ml" name "--libdir" lib "--mandir" man]
+  ["ocaml" "unix.cma" "configure.ml" name "--prefix" prefix "--libdir" lib "--mandir" man]
   ["dune" "subst"] {pinned}
   ["dune" "build" "-p" name "-j" jobs]
 ]
diff --git a/alt-ergo-parsers.opam b/alt-ergo-parsers.opam
@@ -32,7 +32,7 @@ license: [
 ]
 
 build: [
-  ["ocaml" "unix.cma" "configure.ml" name "--libdir" lib "--mandir" man]
+  ["ocaml" "unix.cma" "configure.ml" name "--prefix" prefix "--libdir" lib "--mandir" man]
   ["dune" "subst"] {pinned}
   ["dune" "build" "-p" name "-j" jobs]
 ]
diff --git a/alt-ergo-parsers.opam.template b/alt-ergo-parsers.opam.template
@@ -6,7 +6,7 @@ license: [
 ]
 
 build: [
-  ["ocaml" "unix.cma" "configure.ml" name "--libdir" lib "--mandir" man]
+  ["ocaml" "unix.cma" "configure.ml" name "--prefix" prefix "--libdir" lib "--mandir" man]
   ["dune" "subst"] {pinned}
   ["dune" "build" "-p" name "-j" jobs]
 ]
diff --git a/alt-ergo.opam b/alt-ergo.opam
@@ -30,7 +30,7 @@ license: [
 ]
 
 build: [
-  ["ocaml" "unix.cma" "configure.ml" name "--libdir" lib "--mandir" man]
+  ["ocaml" "unix.cma" "configure.ml" name "--prefix" prefix "--libdir" lib "--mandir" man]
   ["dune" "subst"] {pinned}
   ["dune" "build" "-p" name "-j" jobs]
 ]
diff --git a/alt-ergo.opam.template b/alt-ergo.opam.template
@@ -7,7 +7,7 @@ license: [
 ]
 
 build: [
-  ["ocaml" "unix.cma" "configure.ml" name "--libdir" lib "--mandir" man]
+  ["ocaml" "unix.cma" "configure.ml" name "--prefix" prefix "--libdir" lib "--mandir" man]
   ["dune" "subst"] {pinned}
   ["dune" "build" "-p" name "-j" jobs]
 ]
diff --git a/altgr-ergo.opam b/altgr-ergo.opam
@@ -32,7 +32,7 @@ license: [
 ]
 
 build: [
-  ["ocaml" "unix.cma" "configure.ml" name "--libdir" lib "--mandir" man]
+  ["ocaml" "unix.cma" "configure.ml" name "--prefix" prefix "--libdir" lib "--mandir" man]
   ["dune" "subst"] {pinned}
   ["dune" "build" "-p" name "-j" jobs]
 ]
diff --git a/altgr-ergo.opam.template b/altgr-ergo.opam.template
@@ -6,7 +6,7 @@ license: [
 ]
 
 build: [
-  ["ocaml" "unix.cma" "configure.ml" name "--libdir" lib "--mandir" man]
+  ["ocaml" "unix.cma" "configure.ml" name "--prefix" prefix "--libdir" lib "--mandir" man]
   ["dune" "subst"] {pinned}
   ["dune" "build" "-p" name "-j" jobs]
 ]