]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/ocaml-http/examples/Makefile
- added damned_recursion example
[helm.git] / helm / DEVEL / ocaml-http / examples / Makefile
index 825a27567330c3cabbc1842a7b444ac3d0a20e0f..ed9c3b028260b0ad10d67617c363ecff0c850208 100644 (file)
@@ -6,7 +6,8 @@ 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
+       always_ok_daemon webfsd obj_foo dump_args timeout dont_fork     \
+       threads chdir damned_recursion
 
 all: $(EXAMPLES)
 opt: $(patsubst %,%.opt,$(EXAMPLES))
@@ -20,9 +21,9 @@ threads: threads.ml
 threads.opt: threads.ml
        $(OCAMLOPT) $(EXAMPLES_FLAGS) $(OBJS_MT_OPT) $(THREADS_FLAGS) -o $@ $<
 
-threads_foo: threads_foo.ml
+damned_recursion: damned_recursion.ml
        $(OCAMLC) $(EXAMPLES_FLAGS) $(OBJS_MT) $(THREADS_FLAGS) -package netclient -o $@ $<
-threads_foo.opt: threads_foo.ml
+damned_recursion.opt: damned_recursion.ml
        $(OCAMLOPT) $(EXAMPLES_FLAGS) $(OBJS_MT_OPT) $(THREADS_FLAGS) -package netclient -o $@ $<
 
 distclean: clean