X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Focaml-http%2FMakefile;h=5a63b43229ef13c96c9d2ab99b2ab9c788caa71a;hb=ca9cd0aeee0ce78a891f7f6091ca8704231a446d;hp=48c26758986b9c45d958f8a44cec1992951af745;hpb=b5703de4f7697426ebda94fce2558add7c4f0285;p=helm.git

diff --git a/helm/DEVEL/ocaml-http/Makefile b/helm/DEVEL/ocaml-http/Makefile
index 48c267589..5a63b4322 100644
--- a/helm/DEVEL/ocaml-http/Makefile
+++ b/helm/DEVEL/ocaml-http/Makefile
@@ -1,8 +1,9 @@
 include Makefile.defs
 
 MODULES =	\
-	http_types http_constants http_misc http_tcp_server http_common	\
-	http_request http_parser http_daemon http_response
+	http_types http_constants http_tcp_server http_parser_sanity	\
+	http_misc http_common http_parser http_message http_request		\
+	http_daemon http_response
 THREADED_SRV = http_threaded_tcp_server
 MODULES_MT = $(patsubst http_tcp_server, mt/$(THREADED_SRV) http_tcp_server, $(MODULES))
 MODULES_NON_MT = $(patsubst http_tcp_server, non_mt/$(THREADED_SRV) http_tcp_server, $(MODULES))
@@ -35,6 +36,7 @@ depend:
 	$(OCAMLC) -c $<
 %.cmx: %.ml %.cmi
 	$(OCAMLOPT) -c $<
+include Makefile.overrides
 
 non_mt/$(THREADED_SRV).cmo: non_mt/$(THREADED_SRV).ml $(THREADED_SRV).cmi
 	cp $(THREADED_SRV).{cmi,mli} non_mt/