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