equal
deleted
inserted
replaced
3 # |
3 # |
4 # IsaMakefile for Pure Isabelle |
4 # IsaMakefile for Pure Isabelle |
5 # |
5 # |
6 # The Pure part is common to all systems. Object-logics (like FOL) |
6 # The Pure part is common to all systems. Object-logics (like FOL) |
7 # are loaded on top of it. |
7 # are loaded on top of it. |
8 # |
|
9 # How to build: |
|
10 # (1) put the Isabelle bin dir into your PATH (try 'which isabelle') |
|
11 # (2) make sure Isabelle's etc/settings are appropriate (ML system etc.) |
|
12 # (3) cd here and run 'isatool make' |
|
13 # |
8 # |
14 |
9 |
15 OUT = $(ISABELLE_OUTPUT_DIR) |
10 OUT = $(ISABELLE_OUTPUT_DIR) |
16 |
11 |
17 FILES = ML-Systems/polyml.ML ML-Systems/smlnj-0.93.ML \ |
12 FILES = ML-Systems/polyml.ML ML-Systems/smlnj-0.93.ML \ |