X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2FDEVEL%2Focaml-http%2FMakefile.defs;h=f174b02f856e8b5328697f0978e671fb64c5cdce;hb=901ee87aad4ae08a19399f8bf925dfdffd92aee1;hp=4d9f7c5ca2116d275e6d309f62dfd88a9f579b3e;hpb=d43522a6d38fcb9081a3f0352088377bc0555231;p=helm.git

diff --git a/helm/software/DEVEL/ocaml-http/Makefile.defs b/helm/software/DEVEL/ocaml-http/Makefile.defs
index 4d9f7c5ca..f174b02f8 100644
--- a/helm/software/DEVEL/ocaml-http/Makefile.defs
+++ b/helm/software/DEVEL/ocaml-http/Makefile.defs
@@ -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)	\