equal
deleted
inserted
replaced
1 ## targets |
|
2 |
|
3 default: HOL-ProgProve |
|
4 images: |
|
5 test: HOL-ProgProve |
|
6 |
|
7 all: images test |
|
8 |
|
9 |
|
10 ## global settings |
|
11 |
|
12 SRC = $(ISABELLE_HOME)/src |
|
13 OUT = $(ISABELLE_OUTPUT) |
|
14 LOG = $(OUT)/log |
|
15 |
|
16 USEDIR = $(ISABELLE_TOOL) usedir -v true -i false -d false -C false -D document |
|
17 |
|
18 |
|
19 ## sessions |
|
20 |
|
21 HOL-ProgProve: $(LOG)/HOL-ProgProve.gz |
|
22 |
|
23 $(LOG)/HOL-ProgProve.gz: \ |
|
24 Thys/Basics.thy \ |
|
25 Thys/Bool_nat_list.thy \ |
|
26 Thys/Isar.thy \ |
|
27 Thys/LaTeXsugar.thy \ |
|
28 Thys/Logic.thy \ |
|
29 Thys/MyList.thy \ |
|
30 Thys/Types_and_funs.thy \ |
|
31 Thys/ROOT.ML |
|
32 @$(USEDIR) -s ProgProve HOL Thys |
|
33 @rm -f Thys/document/MyList.tex |
|
34 @rm -f Thys/document/isabelle.sty |
|
35 @rm -f Thys/document/isabellesym.sty |
|
36 @rm -f Thys/document/pdfsetup.sty |
|
37 @rm -f Thys/document/railsetup.sty |
|
38 @rm -f Thys/document/session.tex |
|
39 |
|
40 |
|
41 ## clean |
|
42 |
|
43 clean: |
|
44 @rm -f $(LOG)/HOL-ProgProve.gz |
|