]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/pxp/pxp/lexers/Makefile.code
This commit was manufactured by cvs2svn to create branch 'init'.
[helm.git] / helm / DEVEL / pxp / pxp / lexers / Makefile.code
diff --git a/helm/DEVEL/pxp/pxp/lexers/Makefile.code b/helm/DEVEL/pxp/pxp/lexers/Makefile.code
deleted file mode 100644 (file)
index 781f296..0000000
+++ /dev/null
@@ -1,54 +0,0 @@
-
-LARCHIVE_iso88591  = pxp_lex_iso88591.cma
-LARCHIVE_utf8      = pxp_lex_utf8.cma
-XLARCHIVE_iso88591 = $(LARCHIVE_iso88591:.cma=.cmxa)
-XLARCHIVE_utf8     = $(LARCHIVE_utf8:.cma=.cmxa)
-
-# LOBJECTS_* and XLOBJECTS_* are included from "objects_*":
-include objects_iso88591
-include objects_utf8
-
-#----------------------------------------------------------------------
-
-all_iso88591: $(LARCHIVE_iso88591)
-opt_iso88591: $(XLARCHIVE_iso88591)
-all_utf8:     $(LARCHIVE_utf8)
-opt_utf8:     $(XLARCHIVE_utf8)
-
-$(LARCHIVE_iso88591): $(LOBJECTS_iso88591)
-       $(OCAMLC) -a -o $(LARCHIVE_iso88591) $(LOBJECTS_iso88591)
-
-$(XLARCHIVE_iso88591): $(XLOBJECTS_iso88591)
-       $(OCAMLOPT) -a -o $(XLARCHIVE_iso88591) $(XLOBJECTS_iso88591)
-
-$(LARCHIVE_utf8): $(LOBJECTS_utf8)
-       $(OCAMLC) -a -o $(LARCHIVE_utf8) $(LOBJECTS_utf8)
-
-$(XLARCHIVE_utf8): $(XLOBJECTS_utf8)
-       $(OCAMLOPT) -a -o $(XLARCHIVE_utf8) $(XLOBJECTS_utf8)
-
-#----------------------------------------------------------------------
-# general rules:
-
-OPTIONS   =
-OCAMLC    = ocamlfind ocamlc -g -I .. -package netstring $(OPTIONS)
-OCAMLOPT  = ocamlfind ocamlopt -p -I .. -package netstring $(OPTIONS) 
-
-.SUFFIXES: .cmo .cmi .cmx .ml .mli 
-
-.ml.cmx:
-       $(OCAMLOPT) -c $<
-
-.ml.cmo:
-       $(OCAMLC) -c $<
-
-.mli.cmi:
-       $(OCAMLC) -c $<
-
-
-*.mli:
-
-clean:
-       rm -f *.cmo *.cmx *.cma *.cmxa *.cmi *.o *.a
-
-include depend