From 03ab8c0bebc78578f20718b3ff4f6e7c1285912c Mon Sep 17 00:00:00 2001
From: Shon Feder <shon.feder@gmail.com>
Date: Thu, 7 Apr 2022 08:12:40 -0400
Subject: [PATCH] Add a post-message for num's known install failure (#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 <kit.ty.kate@disroot.org>
---
 packages/num/num.1.0/opam | 10 +++++++---
 packages/num/num.1.1/opam | 10 +++++++---
 packages/num/num.1.2/opam | 10 +++++++---
 packages/num/num.1.3/opam | 10 +++++++---
 packages/num/num.1.4/opam | 12 ++++++++----
 5 files changed, 36 insertions(+), 16 deletions(-)

diff --git a/packages/num/num.1.0/opam b/packages/num/num.1.0/opam
index 44949732754..cc8b1694752 100644
--- 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
index 0047478f208..be8d31549ba 100644
--- 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
index 5b852ca2e6e..b3759a47f1f 100644
--- 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
index a1d4d6a0122..12869950c14 100644
--- 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
index 0e39879b2bd..253f84e0244 100644
--- 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"
   ]
-}
\ No newline at end of file
+}