X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Furimanager%2FMakefile;h=592c0854edf502656f67f39f92e5226223af4427;hb=0f6c7f05574786ce52a8a5950e76f4e45ad5ee88;hp=8d5691aaf6f34b3ffb3ba188d550bf0d75fb2393;hpb=0195d58340f7dbc852d380a8fee897e1c1f7da03;p=helm.git

diff --git a/helm/ocaml/urimanager/Makefile b/helm/ocaml/urimanager/Makefile
index 8d5691aaf..592c0854e 100644
--- a/helm/ocaml/urimanager/Makefile
+++ b/helm/ocaml/urimanager/Makefile
@@ -1,5 +1,4 @@
 PACKAGE = urimanager
-REQUIRES = str
 PREDICATES =
 
 INTERFACE_FILES = uriManager.mli
@@ -7,4 +6,5 @@ IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml)
 EXTRA_OBJECTS_TO_INSTALL =
 EXTRA_OBJECTS_TO_CLEAN =
 
+include ../../Makefile.defs
 include ../Makefile.common