From e93b34914e70d8590fa86c81577fbe723236c086 Mon Sep 17 00:00:00 2001
From: Alasdair
Date: Fri, 12 Jun 2020 01:30:32 +0100
Subject: Remove remove field from opam file

As per https://github.com/ocaml/opam-repository/pull/16573
---
 opam | 3 ---
 1 file changed, 3 deletions(-)

(limited to 'opam')

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} 
-- 
cgit v1.2.3