view src/ploki/GNUmakefile @ 6946:d634e64cd991

<shachaf> le/rn cut elimination/The cut-elimination theorem states that any Prolog program written using the cut operator ! can be rewritten without using that operator.
author HackBot
date Wed, 24 Feb 2016 05:54:46 +0000
parents ac0403686959
children
line wrap: on
line source

.PHONY: all clean realclean distclean dist remake

include MakeSkel

$(OBJ:.o=.depend): %.depend: %.c %.h
	$(DEPEND) $< >$@

-include $(OBJ:.o=.depend)

Makefile: MakeSkel GNUmakefile $(OBJ:.o=.depend)
	$(RMF) Makefile
	$(CP) MakeSkel Makefile
	$(CAT) *.depend >>Makefile

.PHONY: dist
dist: Makefile tags distclean
	plokidir="`$(BASENAME) \"\`$(PWD)\`\"`" \
	version="`$(CAT) VERSION`" && \
	cd .. && \
	$(RMF) "ploki-$$version.tar$(ZIP_EXT)" && \
	$(TAR) -cf "ploki-$$version.tar" --exclude-from="$$plokidir/IGNORE" "$$plokidir" && \
	$(ZIP) "ploki-$$version.tar"