author | ballarin |
Fri, 16 Apr 2004 11:35:44 +0200 | |
changeset 14586 | 7b8d56b4ac60 |
child 16168 | adb83939177f |
permissions | -rw-r--r-- |
## targets default: Locales images: test: Locales all: images test ## global settings SRC = $(ISABELLE_HOME)/src OUT = $(ISABELLE_OUTPUT) LOG = $(OUT)/log USEDIR = $(ISATOOL) usedir -i true -d "" -D generated ## Locales Locales: $(LOG)/HOL-Locales.gz HOL: @cd $(SRC)/HOL; $(ISATOOL) make HOL $(LOG)/HOL-Locales.gz: $(OUT)/HOL Locales/ROOT.ML Locales/Locales.thy @$(USEDIR) $(OUT)/HOL Locales ## clean clean: @rm -f $(LOG)/HOL-Locales.gz