Plasma GitLab Archive
Projects Blog Knowledge

.PHONY: all
all:
	@echo Invoke a toploop and load filecopy.ml into it.

.PHONY: CLEAN
CLEAN: clean

.PHONY: clean
clean:
	rm -f *.cmi *.cmo *.cma *.cmx *.o *.a *.cmxa

.PHONY: distclean
distclean: clean
	rm -f *~

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