opam file: do not use --api by default

geneweb · Jul 24, 2019 · 670a708 · 670a708
1 parent 94c8c47
commit 670a708
Showing 1 changed file with 3 additions and 7 deletions.
diff --git a/geneweb.opam b/geneweb.opam
@@ -13,24 +13,20 @@ dev-repo: "git://github.com/geneweb/geneweb"
 bug-reports: "https://github.com/geneweb/geneweb/issues"
 
 build: [
-  [ "./configure" "--api" ]
+  [ "./configure" ]
   [ make "exe" ]
 ]
 
 install: [
-  [ "./configure" "--api" ]
+  [ "./configure" ]
   [ make "install" ]
 ]
 
 remove: [
-  [ "./configure" "--api" ]
+  [ "./configure" ]
   [ make "uninstall" ]
 ]
 
-pin-depends: [
-  [ "markup.dev" "git://github.com/geneanet/markup.ml" ]
-]
-
 depends: [
   "benchmark" { with-test }
   "camlp5" { build }