]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/Makefile.common
configure.in now used (just to check that ocaml and findlib are there)
[helm.git] / helm / ocaml / Makefile.common
index b7eefedbc5a7f46355daa628f06325a5a89f3ee0..84a252e940e37c0039b91aa21ef0c92104271770 100644 (file)
@@ -13,7 +13,6 @@ OCAMLOPT = ocamlfind ocamlopt $(OCAMLOPTIONS)
 OCAMLDEP = ocamldep
 
 ARCHIVE = $(PACKAGE).cma
-#ARCHIVE_C = $(PACKAGE).a
 ARCHIVE_OPT = $(PACKAGE).cmxa