adbrucker
/
lh-l4v
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

misc: Implement 'clean' and 'realclean' Makefile targets.

This commit is contained in:
Matthew Fernandez 2014-10-21 22:43:11 +11:00
parent f90926c6e5
commit bd1f043643
1 changed files with 7 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
misc/isa-common.mk
View File

@ -30,6 +30,9 @@ endif
ifndef ISABELLE_PROCESS
export ISABELLE_PROCESS=${ISABELLE_HOME}/bin/isabelle-process
endif
ifndef ISABELLE_OUTPUT
export ISABELLE_OUTPUT=$(shell ${ISABELLE_TOOL} getenv -b ISABELLE_OUTPUT)
endif
# Setup rules for the heaps.
$(HEAPS): .FORCE
@ -44,17 +47,13 @@ clean: clean-images
.PHONY: clean
clean-images:
@echo "Not implemented yet."
exit 1
#rm -f $(HEAPS:%=$(ISABELLE_OUTPUT)/%)
#rm -f $(HEAPS:%=$(ISABELLE_OUTPUT)/log/%.gz)
#rm -f $(HEAPS:%=$(ISABELLE_OUTPUT)/log/%)
rm -f $(HEAPS:%=$(ISABELLE_OUTPUT)/%)
rm -f $(HEAPS:%=$(ISABELLE_OUTPUT)/log/%.gz)
rm -f $(HEAPS:%=$(ISABELLE_OUTPUT)/log/%)
.PHONY: clean-images
realclean: clean
@echo "Not implemented yet."
exit 1
#rm -rf $(ISABELLE_OUTPUT)
rm -rf $(ISABELLE_OUTPUT)
.PHONY: realclean
#