]> matita.cs.unibo.it Git - helm.git/commitdiff
- added basic_auth.ml example
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 24 May 2004 12:45:33 +0000 (12:45 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 24 May 2004 12:45:33 +0000 (12:45 +0000)
- restyled examples list

helm/DEVEL/ocaml-http/examples/Makefile

index 674f8f9ebfaf275af5b6cd8eb70b214907230b56..453776c6104fa2092bb5e73c429e5e2954f2566d 100644 (file)
@@ -5,9 +5,21 @@ 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 damned_recursion oo_daemon client_address highlander
+EXAMPLES :=    \
+       always_ok_daemon.ml     \
+       basic_auth.ml           \
+       chdir.ml                \
+       client_address.ml       \
+       damned_recursion.ml     \
+       dont_fork.ml            \
+       dump_args.ml            \
+       highlander.ml           \
+       obj_foo.ml              \
+       oo_daemon.ml            \
+       threads.ml              \
+       timeout.ml              \
+       webfsd.ml
+EXAMPLES := $(patsubst %.ml,%,$(EXAMPLES))
 
 all: $(EXAMPLES)
 opt: $(patsubst %,%.opt,$(EXAMPLES))