X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Focaml-http%2Fexamples%2FMakefile;h=674f8f9ebfaf275af5b6cd8eb70b214907230b56;hb=5325734bc2e4927ed7ec146e35a6f0f2b49f50c1;hp=b050bddb31c63f6fa1550566789355d42c70ec72;hpb=2f28bfb47f5fad6b3c5a705d9ede95700416dee8;p=helm.git

diff --git a/helm/DEVEL/ocaml-http/examples/Makefile b/helm/DEVEL/ocaml-http/examples/Makefile
index b050bddb3..674f8f9eb 100644
--- a/helm/DEVEL/ocaml-http/examples/Makefile
+++ b/helm/DEVEL/ocaml-http/examples/Makefile
@@ -1,17 +1,31 @@
 include ../Makefile.defs
-OBJS = ../http.cmo
-OBJS_OPT = ../http.cmx
-EXAMPLES_OPTS = -I .. -linkpkg
+OBJS_NON_MT = ../http.cma
+OBJS_NON_MT_OPT = ../http.cmxa
+OBJS_MT = ../http_mt.cma
+OBJS_MT_OPT = ../http_mt.cmxa
+EXAMPLES_FLAGS = -I .. -linkpkg
 
-EXAMPLES = always_ok_daemon webfsd obj_foo dump_args timeout
+EXAMPLES =	\
+	always_ok_daemon webfsd obj_foo dump_args timeout dont_fork	\
+	threads chdir damned_recursion oo_daemon client_address highlander
 
 all: $(EXAMPLES)
 opt: $(patsubst %,%.opt,$(EXAMPLES))
-%: %.ml $(OBJS)
-	$(OCAMLC) $(EXAMPLES_OPTS) $(OBJS) -o $@ $<
-%.opt: %.ml $(OBJS_OPT)
-	$(OCAMLOPT) $(EXAMPLES_OPTS) $(OBJS_OPT) -o $@ $<
+%: %.ml $(OBJS_NON_MT)
+	$(OCAMLC) $(EXAMPLES_FLAGS) $(OBJS_NON_MT) -o $@ $<
+%.opt: %.ml $(OBJS_NON_MT_OPT)
+	$(OCAMLOPT) $(EXAMPLES_FLAGS) $(OBJS_NON_MT_OPT) -o $@ $<
+
+threads: threads.ml $(OBJS_MT)
+	$(OCAMLC) $(EXAMPLES_FLAGS) $(OBJS_MT) $(THREADS_FLAGS) -o $@ $<
+threads.opt: threads.ml $(OBJS_MT_OPT)
+	$(OCAMLOPT) $(EXAMPLES_FLAGS) $(OBJS_MT_OPT) $(THREADS_FLAGS) -o $@ $<
+
+damned_recursion: damned_recursion.ml $(OBJS_MT)
+	$(OCAMLC) $(EXAMPLES_FLAGS) $(OBJS_MT) $(THREADS_FLAGS) -o $@ $<
+damned_recursion.opt: damned_recursion.ml $(OBJS_MT_OPT)
+	$(OCAMLOPT) $(EXAMPLES_FLAGS) $(OBJS_MT_OPT) $(THREADS_FLAGS) -o $@ $<
 
 distclean: clean
 clean:
-	-rm -f *.cm[ioax] *.o $(EXAMPLES)
+	-rm -f *.cm[ioax] *.o $(EXAMPLES) $(patsubst %,%.opt,$(EXAMPLES))