--- a/src/LK/Makefile Thu Oct 10 10:57:33 1996 +0200
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,62 +0,0 @@
-# $Id$
-#########################################################################
-# #
-# Makefile for Isabelle (LK) #
-# #
-#########################################################################
-
-#To make the system, cd to this directory and type
-# make
-#To make the system and test it on standard examples, type
-# make test
-#To generate HTML files for every theory, set the environment variable
-#MAKE_HTML or add the parameter "MAKE_HTML=".
-
-#Environment variable ISABELLECOMP specifies the compiler.
-#Environment variable ISABELLEBIN specifies the destination directory.
-#For Poly/ML, ISABELLEBIN must begin with a /
-
-#Makes pure Isabelle (Pure) if this file is ABSENT -- but not
-#if it is out of date, since this Makefile does not know its dependencies!
-
-BIN = $(ISABELLEBIN)
-COMP = $(ISABELLECOMP)
-FILES = ROOT.ML LK.thy LK.ML
-EX_FILES = ex/ROOT.ML ex/hardquant.ML ex/prop.ML ex/quant.ML
-
-$(BIN)/LK: $(BIN)/Pure $(FILES)
- case "$(COMP)" in \
- poly*) echo 'make_database"$(BIN)/LK"; quit();' \
- | $(COMP) $(BIN)/Pure;\
- if [ "$${MAKE_HTML}" = "true" ]; \
- then echo 'open PolyML; make_html := true; exit_use_dir".";' \
- | $(COMP) $(BIN)/LK;\
- elif [ "$${MAKE_HTML-undefined}" != "undefined" ]; \
- then echo 'open PolyML; make_html := true; exit_use_dir"."; make_html := false;' | $(COMP) $(BIN)/LK;\
- else echo 'open PolyML; exit_use_dir".";' | $(COMP) $(BIN)/LK;\
- fi;\
- discgarb -c $(BIN)/LK;;\
- sml*) if [ "$${MAKE_HTML}" = "true" ]; \
- then echo 'make_html := true; exit_use_dir"."; xML"$(BIN)/LK" banner;' | $(BIN)/Pure;\
- elif [ "$${MAKE_HTML-undefined}" != "undefined" ];\
- then echo 'make_html := true; exit_use_dir"."; make_html := false; xML"$(BIN)/LK" banner;' \
- | $(BIN)/Pure;\
- else echo 'exit_use_dir"."; xML"$(BIN)/LK" banner;' \
- | $(BIN)/Pure;\
- fi;;\
- *) echo Bad value for ISABELLECOMP: \
- $(COMP) is not poly or sml;;\
- esac
-
-$(BIN)/Pure:
- cd ../Pure; $(MAKE)
-
-test: ex/ROOT.ML $(BIN)/LK $(EX_FILES)
- case "$(COMP)" in \
- poly*) echo 'exit_use"ex/ROOT.ML"; quit();' | $(COMP) $(BIN)/LK ;;\
- sml*) echo 'exit_use"ex/ROOT.ML";' | $(BIN)/LK;;\
- *) echo Bad value for ISABELLECOMP: \
- $(COMP) is not poly or sml;;\
- esac
-
-.PRECIOUS: $(BIN)/Pure $(BIN)/LK