+++ /dev/null
-# make validate: make bytecode executable
-# make validate.opt: make native executable
-# make clean: remove intermediate files (in this directory)
-# make CLEAN: remove intermediate files (recursively)
-# make distclean: remove any superflous files (recursively)
-#----------------------------------------------------------------------
-
-pxpvalidate: validate.ml
- ocamlfind ocamlc -o pxpvalidate -package "pxp" -linkpkg validate.ml
-
-pxpvalidate.opt: validate.ml
- ocamlfind ocamlopt -o pxpvalidate.opt -package "pxp" -linkpkg validate.ml
-
-#----------------------------------------------------------------------
-.PHONY: all
-all:
-
-.PHONY: clean
-clean:
- rm -f *.cmi *.cmo *.cma *.cmx *.o *.a *.cmxa
-
-.PHONY: CLEAN
-CLEAN: clean
-
-.PHONY: distclean
-distclean: clean
- rm -f *~
- rm -f pxpvalidate pxpvalidate.opt