author | wenzelm |
Sat, 17 May 2008 13:54:30 +0200 | |
changeset 26928 | ca87aff1ad2d |
parent 26855 | 7bb3d2ee0606 |
child 28213 | b52f9205a02d |
permissions | -rw-r--r-- |
## targets default: Thy images: test: Thy all: images test ## global settings SRC = $(ISABELLE_HOME)/src OUT = $(ISABELLE_OUTPUT) LOG = $(OUT)/log USEDIR = $(ISATOOL) usedir -v true -i false -d false -C false -D document ## Thy THY = $(LOG)/HOL-Thy.gz Thy: $(THY) $(THY): Thy/ROOT.ML Thy/Codegen.thy ../../antiquote_setup.ML @$(USEDIR) HOL Thy ## clean clean: @rm -f $(THY)