summaryrefslogtreecommitdiff
path: root/opam
diff options
context:
space:
mode:
authorAlasdair2020-06-12 01:30:32 +0100
committerAlasdair2020-06-12 01:30:32 +0100
commite93b34914e70d8590fa86c81577fbe723236c086 (patch)
tree6916408b8410dd3dafcb002738183ac3009ee782 /opam
parent9468ad12ea50d5fcafda669706b65005820a3ba9 (diff)
Remove remove field from opam file
As per https://github.com/ocaml/opam-repository/pull/16573
Diffstat (limited to 'opam')
-rw-r--r--opam3
1 files changed, 0 insertions, 3 deletions
diff --git a/opam b/opam
index 77df4612..8b0bd376 100644
--- a/opam
+++ b/opam
@@ -20,9 +20,6 @@ license: "BSD3"
dev-repo: "git+https://github.com/rems-project/sail.git"
build: [make "INSTALL_DIR=%{prefix}%" "SHARE_DIR=%{sail:share}%" "isail"]
install: [make "INSTALL_DIR=%{prefix}%" "SHARE_DIR=%{sail:share}%" "install"]
-remove: [
- make "INSTALL_DIR=%{prefix}%" "SHARE_DIR=%{sail:share}%" "uninstall"
-]
depends: [
"ocaml" {>= "4.06.1"}
"ocamlfind" {build}