X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=DEVEL%2Focaml-http%2FMakefile;h=b3d74b10b865af68172f9a3d243d514ba4c91b09;hb=864b6ef1956a312e5401a8705bcf7cf0cccf4e9f;hp=b85d0532f8cb983aa504c34eb41d1a1385c2433d;hpb=80ed96c6f886c20ea6659cf285c6785cc32d756b;p=helm.git

diff --git a/DEVEL/ocaml-http/Makefile b/DEVEL/ocaml-http/Makefile
index b85d0532f..b3d74b10b 100644
--- a/DEVEL/ocaml-http/Makefile
+++ b/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