equal
deleted
inserted
replaced
|
1 # |
|
2 # $Id$ |
|
3 # |
|
4 # IsaMakefile for PSV2002 |
|
5 # |
|
6 |
|
7 SESSIONS = a1 a2 a3 a5 a6 |
|
8 |
|
9 ## targets |
|
10 |
|
11 default: sessions |
|
12 sessions: $(SESSIONS) |
|
13 |
|
14 |
|
15 ## a1 |
|
16 |
|
17 a1: a1/generated/session.tex |
|
18 |
|
19 a1/generated/session.tex: a1/ROOT.ML a1/*.thy |
|
20 isatool make |
|
21 |
|
22 ## a2 |
|
23 |
|
24 a2: a2/generated/session.tex |
|
25 |
|
26 a2/generated/session.tex: a2/ROOT.ML a2/*.thy |
|
27 isatool make |
|
28 |
|
29 ## a3 |
|
30 |
|
31 a3: a3/generated/session.tex |
|
32 |
|
33 a3/generated/session.tex: a3/ROOT.ML a3/*.thy |
|
34 isatool make |
|
35 |
|
36 ## a5 |
|
37 |
|
38 a5: a5/generated/session.tex |
|
39 |
|
40 a5/generated/session.tex: a5/ROOT.ML a5/*.thy |
|
41 isatool make |
|
42 |
|
43 ## a6 |
|
44 |
|
45 a6: a6/generated/session.tex |
|
46 |
|
47 a6/generated/session.tex: a6/ROOT.ML a6/*.thy |
|
48 isatool make |