X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2FDEVEL%2Focaml-http%2FMakefile;h=b3d74b10b865af68172f9a3d243d514ba4c91b09;hb=38ec119c163b0e6f97a9800933d5b71c065332e8;hp=572a7f2584f050b328534219697c338a0c0f1e7b;hpb=d43522a6d38fcb9081a3f0352088377bc0555231;p=helm.git

diff --git a/helm/software/DEVEL/ocaml-http/Makefile b/helm/software/DEVEL/ocaml-http/Makefile
index 572a7f258..b3d74b10b 100644
--- a/helm/software/DEVEL/ocaml-http/Makefile
+++ b/helm/software/DEVEL/ocaml-http/Makefile
@@ -1,9 +1,21 @@
 include Makefile.defs
+export SHELL=/bin/bash
 
 MODULES = \
-	http_constants http_types http_parser_sanity http_misc http_common \
-	http_tcp_server http_parser http_message http_request http_daemon \
-	http_response http_user_agent
+	http_constants \
+	http_types \
+	http_parser_sanity \
+	http_misc \
+	http_common \
+	http_tcp_server \
+	cookie_lexer \
+	http_parser \
+	http_message \
+	http_request \
+	http_daemon \
+	http_response \
+	http_user_agent \
+	$(NULL)
 
 THREADED_SRV = http_threaded_tcp_server
 MODULES_MT = $(patsubst http_tcp_server, mt/$(THREADED_SRV) http_tcp_server, $(MODULES))
@@ -54,6 +66,8 @@ include .depend
 depend:
 	$(OCAMLDEP) *.ml *.mli > .depend
 
+%.ml: %.mll
+	$(OCAMLLEX) $<
 %.cmi: %.mli
 	$(OCAMLC) -c $<
 %.cmo: %.ml %.cmi
@@ -117,8 +131,7 @@ distreal: distdoc distclean depend
 	do	\
 		cp -r $$f $(DISTDIR)/;	\
 	done
-	-find $(DISTDIR)/ -type d -name CVS -exec rm -rf {} \;
-	-find $(DISTDIR)/ -type f -name ".cvs*" -exec rm -f {} \;
+	-find $(DISTDIR)/ -type d -name .svn -exec rm -rf {} \;
 	tar cvzf $(DISTDIR).tar.gz $(DISTDIR)/
 distrm:
 	rm -rf $(DISTDIR)/