Plasma GitLab Archive
Projects Blog Knowledge

# 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)

This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml