diff options
| author | Alasdair | 2020-06-12 01:30:32 +0100 |
|---|---|---|
| committer | Alasdair | 2020-06-12 01:30:32 +0100 |
| commit | e93b34914e70d8590fa86c81577fbe723236c086 (patch) | |
| tree | 6916408b8410dd3dafcb002738183ac3009ee782 /opam | |
| parent | 9468ad12ea50d5fcafda669706b65005820a3ba9 (diff) | |
Remove remove field from opam file
As per https://github.com/ocaml/opam-repository/pull/16573
Diffstat (limited to 'opam')
| -rw-r--r-- | opam | 3 |
1 files changed, 0 insertions, 3 deletions
@@ -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} |
