src/Pure/IsaMakefile
author wenzelm
Fri Dec 19 10:14:55 1997 +0100 (1997-12-19)
changeset 4441 42cdcacb60e2
parent 4427 6d4545f809e5
child 4484 220ccae8a590
permissions -rw-r--r--
'clean' target;
wenzelm@2431
     1
#
wenzelm@2431
     2
#  $Id$
wenzelm@2431
     3
#
wenzelm@2431
     4
# IsaMakefile for Pure Isabelle
wenzelm@2431
     5
#
wenzelm@2431
     6
# The Pure part is common to all systems. Object-logics (like FOL)
wenzelm@2431
     7
# are loaded on top of it.
wenzelm@2431
     8
#
wenzelm@2431
     9
wenzelm@3118
    10
OUT = $(ISABELLE_OUTPUT)
wenzelm@2431
    11
wenzelm@4427
    12
FILES = ML-Systems/mlworks.ML ML-Systems/polyml.ML ML-Systems/smlnj-0.93.ML \
wenzelm@4405
    13
	ML-Systems/smlnj.ML ROOT.ML Syntax/ROOT.ML Syntax/ast.ML \
wenzelm@4208
    14
	Syntax/lexicon.ML Syntax/mixfix.ML Syntax/parser.ML Syntax/pretty.ML \
wenzelm@4208
    15
	Syntax/printer.ML Syntax/symbol_font.ML Syntax/syn_ext.ML \
wenzelm@4208
    16
	Syntax/syn_trans.ML Syntax/syntax.ML Syntax/token_trans.ML \
wenzelm@4337
    17
	Syntax/type_ext.ML Thy/ROOT.ML Thy/browser_info.ML Thy/context.ML Thy/file.ML \
wenzelm@4208
    18
	Thy/path.ML Thy/thm_database.ML Thy/thy_info.ML Thy/thy_parse.ML \
wenzelm@4208
    19
	Thy/thy_read.ML Thy/thy_scan.ML Thy/thy_syn.ML Thy/use.ML \
wenzelm@4256
    20
	axclass.ML basis.ML deriv.ML display.ML drule.ML envir.ML \
wenzelm@4208
    21
	goals.ML install_pp.ML library.ML logic.ML name_space.ML net.ML \
wenzelm@4270
    22
	pattern.ML pure_thy.ML search.ML section_utils.ML seq.ML sign.ML \
wenzelm@4208
    23
	sorts.ML symtab.ML tactic.ML tctical.ML term.ML theory.ML thm.ML \
wenzelm@4208
    24
	type.ML type_infer.ML unify.ML
wenzelm@2431
    25
wenzelm@3869
    26
$(OUT)/Pure: $(FILES)
wenzelm@2431
    27
	@./mk
wenzelm@2431
    28
wenzelm@3926
    29
RAW: $(FILES)
wenzelm@3774
    30
	@./mk -r
wenzelm@3774
    31
wenzelm@4441
    32
test: $(OUT)/Pure
wenzelm@4441
    33
wenzelm@4441
    34
clean:
wenzelm@4441
    35
	@rm -f $(OUT)/Pure $(OUT)/RAW
wenzelm@4441
    36
wenzelm@2431
    37
wenzelm@3869
    38
.PRECIOUS: $(OUT)/Pure $(OUT)/RAW