helm/Makefile.defs.in

   1 OCAMLFIND = OCAMLPATH=@OCAMLPATH@ @OCAMLFIND@
   2 CAMLP4O = @CAMLP4O@
   3 LABLGLADECC = @LABLGLADECC@
   4 HAVE_OCAMLOPT = @HAVE_OCAMLOPT@
   5
   6 MATITA_REQUIRES = @FINDLIB_REQUIRES@
   7 MATITA_CREQUIRES = @FINDLIB_CREQUIRES@
   8
   9 MATITA_VERSION = @MATITA_VERSION@