Initial revision

[helm.git] / helm / DEVEL / pxp / pxp / examples / readme / Makefile

diff --git a/helm/DEVEL/pxp/pxp/examples/readme/Makefile b/helm/DEVEL/pxp/pxp/examples/readme/Makefile
new file mode 100644 (file)
index 0000000..df5f6ed
--- /dev/null
+++ b/helm/DEVEL/pxp/pxp/examples/readme/Makefile
@@ -0,0 +1,34 @@
+# make readme:         make bytecode executable
+# make readme.opt:     make native executable
+# make clean:          remove intermediate files
+# make CLEAN:           remove intermediate files (recursively)
+# make distclean:      remove any superflous files
+# make install
+#----------------------------------------------------------------------
+
+BIN = /usr/local/bin
+
+.PHONY: readme
+readme:
+       $(MAKE) -f Makefile.code readme
+
+.PHONY: readme.opt
+readme.opt:
+       $(MAKE) -f Makefile.code readme.opt
+
+
+.PHONY: clean
+clean:
+       rm -f *.cmi *.cmo *.cma *.cmx *.o *.a *.cmxa
+
+.PHONY: CLEAN
+CLEAN: clean
+
+.PHONY: distclean
+distclean: clean
+       rm -f *~ depend depend.pkg
+       rm -f readme readme.opt
+
+.PHONY: install
+install:
+       cp readme $(BIN)