[uri] correct configure line; remove use of makefile

mirage · Aug 7, 2012 · 17d50b5 · 17d50b5
1 parent 80d99a7
commit 17d50b5
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/opam/uri.0.3dev.opam b/opam/uri.0.3dev.opam
@@ -4,8 +4,9 @@ package "uri" {
   version:    "0.3dev"
   maintainer: "anil@recoil.org"
   build: [
-    [ "make" "all" ]
-    [ "make" "install" ]
+    ["ocaml" "setup.ml" "-configure" "--prefix" "%{prefix}%"] 
+    ["ocaml" "setup.ml" "-build"] 
+    ["ocaml" "setup.ml" "-install"]
   ]
   remove: [ "ocamlfind" "remove" "uri" ]
   depends: [ "ocamlfind" "re" ]