]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/mathql_interpreter/Makefile
bugfix, removed an hard coded instances of ocaml ABI version
[helm.git] / helm / ocaml / mathql_interpreter / Makefile
index 7d21bc6ba427f827fc8dc2b2e7e13fd8583e9539..bdd7381359d12b4d9c88a7843a78721aea1b60db 100644 (file)
@@ -1,6 +1,4 @@
 PACKAGE = mathql_interpreter
-REQUIRES = helm-urimanager helm-mathql mysql postgres
-#natile-galax 
 
 PREDICATES =