X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fuwobo%2Fsrc%2Focaml%2FMakefile;h=0e64660695ae254ce4ea4d7cffd6e89d8add7531;hb=a4df9661e15509e5da6ed9c57e3ab6a27a440c3f;hp=38eb508018906f87fc6768d9595f4817f0ebbe93;hpb=2a5683cf113dc524f685af57cf7ae2dda3190467;p=helm.git

diff --git a/helm/uwobo/src/ocaml/Makefile b/helm/uwobo/src/ocaml/Makefile
index 38eb50801..0e6466069 100644
--- a/helm/uwobo/src/ocaml/Makefile
+++ b/helm/uwobo/src/ocaml/Makefile
@@ -1,13 +1,15 @@
-REQUIRES = http gdome2 gdome2-xslt threads pcre unix
+VERSION = 0.0.1
+DISTDIR = uwobo-$(VERSION)
+REQUIRES = http gdome2 gdome2-xslt pcre unix
 COMMONOPTS = -package "$(REQUIRES)" -pp camlp4o
-OCAMLC = ocamlfind ocamlc $(COMMONOPTS) -thread
-OCAMLOPT = ocamlfind ocamlopt $(COMMONOPTS) -thread
+OCAMLC = ocamlfind ocamlc $(COMMONOPTS)
+OCAMLOPT = ocamlfind ocamlopt $(COMMONOPTS)
 OCAMLDEP = ocamlfind ocamldep $(COMMONOPTS)
-MODULES = uwobo_common uwobo_styles uwobo_logger uwobo_engine uwobo
+MODULES = uwobo_common uwobo_styles uwobo_logger uwobo_engine
 OBJS = $(patsubst %,%.cmo,$(MODULES))
 OBJSOPT = $(patsubst %,%.cmx,$(MODULES))
 
-all: opt
+all: byte
 byte: uwobo
 opt: uwobo.opt
 world: byte opt
@@ -26,13 +28,24 @@ uwobo.cmo: uwobo.ml
 	$(OCAMLC) -c $<
 uwobo.cmx: uwobo.ml
 	$(OCAMLOPT) -c $<
-uwobo: $(OBJS)
+uwobo: $(OBJS) uwobo.ml
 	$(OCAMLC) -linkpkg -o $@ $^
-uwobo.opt: $(OBJSOPT)
+uwobo.opt: $(OBJSOPT) uwobo.ml
 	$(OCAMLOPT) -linkpkg -o $@ $^
 
+distclean: clean
 clean:
 	rm -f *.cm[aiox] *.o uwobo{,.opt}
+dist: distclean depend
+	mkdir $(DISTDIR)/
+	cp	\
+		$(patsubst %, %.ml, $(MODULES))	\
+		$(patsubst %, %.mli, $(MODULES))	\
+		uwobo.ml	\
+		Makefile .depend	\
+		$(DISTDIR)/
+	tar cvzf $(DISTDIR).tar.gz $(DISTDIR)/
+	rm -rf $(DISTDIR)/
 
 .PHONY: all byte opt world depend clean