X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Focaml-http%2Fexamples%2FMakefile;h=9209563f657e32ca2647c82f0a090a3576491abc;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=825a27567330c3cabbc1842a7b444ac3d0a20e0f;hpb=c82a09fc52155246f8eaba28e9e6f32768505f76;p=helm.git

diff --git a/helm/DEVEL/ocaml-http/examples/Makefile b/helm/DEVEL/ocaml-http/examples/Makefile
index 825a27567..9209563f6 100644
--- a/helm/DEVEL/ocaml-http/examples/Makefile
+++ b/helm/DEVEL/ocaml-http/examples/Makefile
@@ -5,25 +5,36 @@ 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 dont_fork threads chdir threads_foo
+EXAMPLES :=	\
+	always_ok_daemon.ml	\
+	basic_auth.ml		\
+	chdir.ml		\
+	client_address.ml	\
+	damned_recursion.ml	\
+	dump_args.ml		\
+	highlander.ml		\
+	oo_daemon.ml		\
+	threads.ml		\
+	timeout.ml		\
+	webfsd.ml
+EXAMPLES := $(patsubst %.ml,%,$(EXAMPLES))
 
 all: $(EXAMPLES)
 opt: $(patsubst %,%.opt,$(EXAMPLES))
-%: %.ml $(OBJS)
+%: %.ml $(OBJS_NON_MT)
 	$(OCAMLC) $(EXAMPLES_FLAGS) $(OBJS_NON_MT) -o $@ $<
-%.opt: %.ml $(OBJS_OPT)
+%.opt: %.ml $(OBJS_NON_MT_OPT)
 	$(OCAMLOPT) $(EXAMPLES_FLAGS) $(OBJS_NON_MT_OPT) -o $@ $<
 
-threads: threads.ml
+threads: threads.ml $(OBJS_MT)
 	$(OCAMLC) $(EXAMPLES_FLAGS) $(OBJS_MT) $(THREADS_FLAGS) -o $@ $<
-threads.opt: threads.ml
+threads.opt: threads.ml $(OBJS_MT_OPT)
 	$(OCAMLOPT) $(EXAMPLES_FLAGS) $(OBJS_MT_OPT) $(THREADS_FLAGS) -o $@ $<
 
-threads_foo: threads_foo.ml
-	$(OCAMLC) $(EXAMPLES_FLAGS) $(OBJS_MT) $(THREADS_FLAGS) -package netclient -o $@ $<
-threads_foo.opt: threads_foo.ml
-	$(OCAMLOPT) $(EXAMPLES_FLAGS) $(OBJS_MT_OPT) $(THREADS_FLAGS) -package netclient -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: