From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Wed, 25 Dec 2002 14:54:27 +0000 (+0000)
Subject: - resorted module dependencies accordingly to new modules
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=8a8c7c9376ebf0cb76b9392ed129ac5a85a73329;p=helm.git

- resorted module dependencies accordingly to new modules
- moved in Makefile.overrides build rules for modules which ship no .mli
---

diff --git a/helm/DEVEL/ocaml-http/Makefile b/helm/DEVEL/ocaml-http/Makefile
index a9495db9d..06a94328a 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/
diff --git a/helm/DEVEL/ocaml-http/Makefile.overrides b/helm/DEVEL/ocaml-http/Makefile.overrides
new file mode 100644
index 000000000..62a81b549
--- /dev/null
+++ b/helm/DEVEL/ocaml-http/Makefile.overrides
@@ -0,0 +1,2 @@
+http_types.cmi http_types.cmo: http_types.ml
+	$(OCAMLC) -c $<