Permalink
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
13 lines (9 sloc) 465 Bytes
INCLUDES = developers compiler/bootstrap/compilation/x64/64/proofs
all: $(DEFAULT_TARGETS) README.md cake-x64-64.tar.gz
.PHONY: all
README_SOURCES = COPYING developers examples build-instructions.sh how-to.md
DIRS = $(wildcard */)
README.md: developers/readme_gen readmePrefix $(patsubst %,%readmePrefix,$(DIRS)) $(README_SOURCES)
developers/readme_gen $(README_SOURCES)
cake-x64-64.tar.gz: compiler/bootstrap/compilation/x64/64/cake-x64-64.tar.gz
$(CP) $< $@