]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/uwobo/Makefile
first moogle template checkin
[helm.git] / helm / uwobo / Makefile
index c2a97d7c5fe5fcca7a41eace74176d2299cabfb4..9cec0e48838c2ea68e442f5ef0437408625701a0 100644 (file)
@@ -1,7 +1,7 @@
 VERSION = 0.2.1
 DISTDIR = uwobo-$(VERSION)
 DISTTARBALL = $(DISTDIR).tar.gz
-REQUIRES = http gdome2 gdome2-xslt pcre unix
+REQUIRES = http gdome2 gdome2-xslt pcre unix helm-registry
 COMMONOPTS = -package "$(REQUIRES)" -pp camlp4o
 OCAMLFIND = ocamlfind
 OCAMLC = $(OCAMLFIND) ocamlc $(COMMONOPTS)