Add a post-message for num's known install failure (ocaml#20645)

* Add a post-message for num's known install failure * as an example * num.1.1: Always remove previously installed num/num-top before installing * num.1.2: Always uninstall num/num-top before install * num.1.3: Always uninstall num/num-top before install * num.1.4: Always uninstall num/num-top before install * num.0: no need for the post-message Co-authored-by: Kate <[email protected]>
hannesm · Apr 7, 2022 · 03ab8c0 · 03ab8c0
1 parent d120b1f
commit 03ab8c0
Show file tree

Hide file tree

Showing 5 changed files with 36 additions and 16 deletions.
diff --git a/packages/num/num.1.0/opam b/packages/num/num.1.0/opam
@@ -14,9 +14,13 @@ build: [
   [make]
 ]
 install: [
-  make
-  "install" {!ocaml:preinstalled}
-  "findlib-install" {ocaml:preinstalled}
+  ["ocamlfind" "remove" "num"]
+  ["ocamlfind" "remove" "num-top"]
+  [
+    make
+    "install" {!ocaml:preinstalled}
+    "findlib-install" {ocaml:preinstalled}
+  ]
 ]
 remove: [
   make

diff --git a/packages/num/num.1.1/opam b/packages/num/num.1.1/opam
@@ -14,9 +14,13 @@ build: [
   [make]
 ]
 install: [
-  make
-  "install" {!ocaml:preinstalled}
-  "findlib-install" {ocaml:preinstalled}
+  ["ocamlfind" "remove" "num"]
+  ["ocamlfind" "remove" "num-top"]
+  [
+    make
+    "install" {!ocaml:preinstalled}
+    "findlib-install" {ocaml:preinstalled}
+  ]
 ]
 remove: [
   make

diff --git a/packages/num/num.1.2/opam b/packages/num/num.1.2/opam
@@ -14,9 +14,13 @@ build: [
   [make]
 ]
 install: [
-  make
-  "install" {!ocaml:preinstalled}
-  "findlib-install" {ocaml:preinstalled}
+  ["ocamlfind" "remove" "num"]
+  ["ocamlfind" "remove" "num-top"]
+  [
+    make
+    "install" {!ocaml:preinstalled}
+    "findlib-install" {ocaml:preinstalled}
+  ]
 ]
 depends: [
   "ocaml" {>= "4.06.0"}

diff --git a/packages/num/num.1.3/opam b/packages/num/num.1.3/opam
@@ -13,9 +13,13 @@ build: [
   [make]
 ]
 install: [
-  make
-  "install" {!ocaml:preinstalled}
-  "findlib-install" {ocaml:preinstalled}
+  ["ocamlfind" "remove" "num"]
+  ["ocamlfind" "remove" "num-top"]
+  [
+    make
+    "install" {!ocaml:preinstalled}
+    "findlib-install" {ocaml:preinstalled}
+  ]
 ]
 depends: [
   "ocaml" {>= "4.06.0"}

diff --git a/packages/num/num.1.4/opam b/packages/num/num.1.4/opam
@@ -13,9 +13,13 @@ depends: [
 conflicts: ["base-num"]
 build: make
 install: [
-  make
-  "install" {!ocaml:preinstalled}
-  "findlib-install" {ocaml:preinstalled}
+  ["ocamlfind" "remove" "num"]
+  ["ocamlfind" "remove" "num-top"]
+  [
+    make
+    "install" {!ocaml:preinstalled}
+    "findlib-install" {ocaml:preinstalled}
+  ]
 ]
 dev-repo: "git+https://github.com/ocaml/num.git"
 url {
@@ -24,4 +28,4 @@ url {
     "md5=cda2b727e116a0b6a9c03902cc4b2415"
     "sha512=0cc9be8ad95704bb683b4bf6698bada1ee9a40dc05924b72adc7b969685c33eeb68ccf174cc09f6a228c48c18fe94af06f28bebc086a24973a066da620db8e6f"
   ]
-}
+}