]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/pxp/pxp/compatibility/Makefile.code
This commit was manufactured by cvs2svn to create branch
[helm.git] / helm / DEVEL / pxp / pxp / compatibility / Makefile.code
diff --git a/helm/DEVEL/pxp/pxp/compatibility/Makefile.code b/helm/DEVEL/pxp/pxp/compatibility/Makefile.code
deleted file mode 100644 (file)
index 2733faa..0000000
+++ /dev/null
@@ -1,50 +0,0 @@
-# make all:            make bytecode archives
-# make opt:            make native archives
-#----------------------------------------------------------------------
-
-include Makefile.conf
-
-.PHONY: all
-all: markup.cma
-
-.PHONY: opt
-opt: markup.cmxa
-
-#----------------------------------------------------------------------
-
-markup.cma: $(OBJECTS)
-       $(OCAMLC) -a -o markup.cma $(OBJECTS)
-
-markup.cmxa: $(XOBJECTS)
-       $(OCAMLOPT) -a -o markup.cmxa $(XOBJECTS)
-
-#----------------------------------------------------------------------
-# general rules:
-
-OPTIONS   =
-OCAMLC    = ocamlfind ocamlc -g -I .. -package netstring $(OPTIONS) $(ROPTIONS)
-OCAMLOPT  = ocamlfind ocamlopt -p -I .. -package netstring $(OPTIONS) $(ROPTIONS)
-OCAMLDEP  = ocamldep $(OPTIONS)
-OCAMLFIND = ocamlfind
-
-depend: *.ml *.mli
-       $(OCAMLDEP) *.ml *.mli >depend
-
-.SUFFIXES: .cmo .cmi .cmx .ml .mli
-
-.ml.cmx:
-       $(OCAMLOPT) -c $<
-
-.ml.cmo:
-       $(OCAMLC) -c $<
-
-.mli.cmi:
-       $(OCAMLC) -c $<
-
-*.mli:
-
-
-# Generated dependencies:
-
-include depend
-