X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fuwobo%2FMakefile;h=00b578aca1add15e7366fddb55eef5d335dae969;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=c586dba2c68309772f13221f016c6ee11baef78a;hpb=47b0c2c1b421b62302b1957954912b4c0dfba9fa;p=helm.git

diff --git a/helm/uwobo/Makefile b/helm/uwobo/Makefile
index c586dba2c..00b578aca 100644
--- a/helm/uwobo/Makefile
+++ b/helm/uwobo/Makefile
@@ -1,6 +1,7 @@
-VERSION = 0.0.1
+VERSION = 0.3.0
 DISTDIR = uwobo-$(VERSION)
-REQUIRES = http gdome2 gdome2-xslt pcre unix
+DISTTARBALL = $(DISTDIR).tar.gz
+REQUIRES = http gdome2 gdome2-xslt pcre unix helm-registry
 COMMONOPTS = -package "$(REQUIRES)" -pp camlp4o
 OCAMLFIND = ocamlfind
 OCAMLC = $(OCAMLFIND) ocamlc $(COMMONOPTS)
@@ -13,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))
 
@@ -55,8 +56,13 @@ dist: distclean depend
 		uwobo.ml	\
 		Makefile .depend	\
 		$(DISTDIR)/
-	tar cvzf $(DISTDIR).tar.gz $(DISTDIR)/
+	tar cvzf $(DISTTARBALL) $(DISTDIR)/
 	rm -rf $(DISTDIR)/
+distcheck: $(DISTTARBALL)
+	if [ -d $(DISTDIR) ]; then rm -rf $(DISTDIR); else true; fi
+	tar xvzf $<
+	cd $(DISTDIR); make
+	rm -rf $(DISTDIR)
 
-.PHONY: all byte opt world depend clean
+.PHONY: all dist distclean distcheck byte opt world depend clean