X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fuwobo%2FMakefile;h=00b578aca1add15e7366fddb55eef5d335dae969;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=9cec0e48838c2ea68e442f5ef0437408625701a0;hpb=cb5860a98029772bfe3af081239fa2eb13075a32;p=helm.git diff --git a/helm/uwobo/Makefile b/helm/uwobo/Makefile index 9cec0e488..00b578aca 100644 --- a/helm/uwobo/Makefile +++ b/helm/uwobo/Makefile @@ -1,4 +1,4 @@ -VERSION = 0.2.1 +VERSION = 0.3.0 DISTDIR = uwobo-$(VERSION) DISTTARBALL = $(DISTDIR).tar.gz REQUIRES = http gdome2 gdome2-xslt pcre unix helm-registry @@ -14,7 +14,7 @@ OCAMLDOC = \ $(shell $(OCAMLFIND) query -i-format gdome2-xslt) \ $(shell $(OCAMLFIND) query -i-format pcre) \ $(shell $(OCAMLFIND) query -i-format unix) -MODULES = uwobo_common uwobo_styles uwobo_logger uwobo_engine +MODULES = uwobo_common uwobo_styles uwobo_profiles uwobo_logger uwobo_engine OBJS = $(patsubst %,%.cmo,$(MODULES)) OBJSOPT = $(patsubst %,%.cmx,$(MODULES))