From f9f98ba58fa925b12698ae24e895da95d8ebbb3a Mon Sep 17 00:00:00 2001 From: Philipp Gesang Date: Sun, 16 Dec 2018 23:57:16 +0100 Subject: opam: add remove directive https://github.com/ocaml/opam-repository/pull/13118#pullrequestreview-183576751 Suggested-By: @mseri on Github --- sid.opam | 1 + 1 file changed, 1 insertion(+) diff --git a/sid.opam b/sid.opam index d4651c9..182a7e2 100644 --- a/sid.opam +++ b/sid.opam @@ -25,4 +25,5 @@ build: [ ["ocaml" "setup.ml" "-doc"] {with-doc} ] install: [make "install"] +remove: ["ocamlfind" "remove" "sid"] run-test: [make "test"] -- cgit v1.2.3