]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/ocaml-http/examples/Makefile
Now use cm{,x}a
[helm.git] / helm / DEVEL / ocaml-http / examples / Makefile
index b050bddb31c63f6fa1550566789355d42c70ec72..51e5e2f3b89a9f28b6d46e3ee4f0393e79ea2dee 100644 (file)
@@ -1,6 +1,6 @@
 include ../Makefile.defs
-OBJS = ../http.cmo
-OBJS_OPT = ../http.cmx
+OBJS = ../http.cma
+OBJS_OPT = ../http.cmxa
 EXAMPLES_OPTS = -I .. -linkpkg
 
 EXAMPLES = always_ok_daemon webfsd obj_foo dump_args timeout