jbuilder build in opam

vzaliva · Apr 22, 2018 · 58c6cf1 · 58c6cf1
1 parent 44e57f6
commit 58c6cf1
Showing 1 changed file with 2 additions and 11 deletions.
diff --git a/coq_min_imports.opam b/coq_min_imports.opam
@@ -5,22 +5,13 @@ dev-repo: "https://github.com/vzaliva/coq-min-imports.git"
 bug-reports: "https://github.com/vzaliva/coq-min-imports/issues"
 authors: ["Vadim Zaliva"]
 license: "MIT"
-build: [
-  ["omake"]
-]
-install: [
-  ["install" "coq_min_imports" "%{bin}%"]
-]
-
-remove: [
-  ["rm" "%{bin}%/coq_min_imports"]
-]
+build: ["jbuilder" "build"]
 
 depends: [
   "coq" {>= "8.5"}
   "extlib"
   "batteries"
-  "omake"
+  "jbuilder" {build}
 ]
 tags: [
   "category:Miscellaneous/Coq Extensions"