]> matita.cs.unibo.it Git - helm.git/blobdiff - DEVEL/ocaml-http/Makefile.defs
preliminary cookie support
[helm.git] / DEVEL / ocaml-http / Makefile.defs
index 4d9f7c5ca2116d275e6d309f62dfd88a9f579b3e..f174b02f856e8b5328697f0978e671fb64c5cdce 100644 (file)
@@ -9,6 +9,7 @@ OCAMLFIND = ocamlfind
 OCAMLC = $(OCAMLFIND) ocamlc $(COMMON_FLAGS)
 OCAMLOPT = $(OCAMLFIND) ocamlopt $(COMMON_FLAGS)
 OCAMLDEP = $(OCAMLFIND) ocamldep $(COMMON_FLAGS)
+OCAMLLEX = ocamllex
 OCAMLDOC :=                                                    \
        ocamldoc -stars                                         \
                $(shell $(OCAMLFIND) query -i-format unix)      \