X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fuwobo%2FMakefile;h=9cec0e48838c2ea68e442f5ef0437408625701a0;hb=5325734bc2e4927ed7ec146e35a6f0f2b49f50c1;hp=c2a97d7c5fe5fcca7a41eace74176d2299cabfb4;hpb=c6eb317ba149b744e63a20b5f93ce64fec254cb4;p=helm.git diff --git a/helm/uwobo/Makefile b/helm/uwobo/Makefile index c2a97d7c5..9cec0e488 100644 --- a/helm/uwobo/Makefile +++ b/helm/uwobo/Makefile @@ -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)