/
files1-atze.mk
121 lines (114 loc) · 3.67 KB
/
files1-atze.mk
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
# all variants
TEXT_PUB_VARIANTS += ruler-doc shuffle-doc ehc-book ehc-doc
TEXT_PRIV_VARIANTS += flops06-ruler-paper flops06-ruler \
popl07-explimpl \
hw06-impred esop07-impred esop07-impred-tr \
truu-explimpl truu-ruler \
phd-paper phd-draft phd-tst phd \
ehc-book-tst \
scratch scratch2 \
poster posterLDL posterTrOrPr \
slides-ruler slides-ruler-long \
slides-explimpl slides-explimpl-fpnl slides-overview slides-status slides-ehcstruct \
gbm \
uniqueness slides-uniqueness \
llvm \
icfp07-chr-locinst icfp07-chr-locinst-blind cc08-chr-locinst \
icfp07-ehcstruct icfp07-ehcstruct-blind ifl07-ehcstruct \
icfp08-subst \
tr-abstrint ldta08-abstrint
# subtext
TEXT_SUBS += AGMiniPrimer StoryIntro StoryEH1 StoryEH2 StoryAFP Scratch \
SharedTypeLang SharedFIOpts \
TopicRuler TopicExplImpl TopicGRIN TopicRec TopicKinds TopicDataTy TopicImpred TopicHM TopicExtRec TopicGADT TopicReflection TopicPartialTySig \
SlidesIntro Slides SlidesPartTySig SlidesExplImpl SlidesImpred SlidesRuler SlidesShuffle SlidesGRIN SlidesStatus SlidesEHCStructure \
CodeFragsExplImpl \
ToolDocShuffle ToolDocRuler ToolDocEHC \
TopicGrinBytecode \
TopicCHRLocalInst \
TopicEHCStructure \
TopicAbstrInt \
TopicSubst \
AppxNotation FrontMatter OldText \
Poster PosterLDL PosterTrOrPr \
llvm/LLVM llvm/LLVMPackages llvm/LLVMCoverPage llvm/LLVMFormat \
llvm/LLVMChapterAbstract llvm/LLVMChapterIntroduction \
llvm/LLVMChapterEHCPipeline llvm/LLVMChapterNaive \
Uniqueness uniqueness/TopicIntroduction uniqueness/TopicEHC \
uniqueness/TopicNoBindings uniqueness/TopicPolyvariant uniqueness/TopicRecursion uniqueness/TopicPolymorphic uniqueness/TopicParallel uniqueness/TopicDataTypes uniqueness/TopicOverloading \
uniqueness/TopicBeyondEHC uniqueness/TopicCodeGeneration uniqueness/TopicInspecting \
uniqueness/TopicPerformance uniqueness/TopicRelatedWork uniqueness/TopicConclusion \
uniqueness/Slides uniqueness/TopicImplementation
# chunk view order for text variants, use shuffle hierarchy as crude variant mechanism
# GENERIC STYLES TO BE SHARED BY VARIOUS PRODUCTS
# 1 : base (share)
# 9 : slides explimpl: base (share)
# 18: slides: base (share)
# 26: acm paper: base (share)
# 30: book: base (share)
# 32: llncs paper: base (share) - not yet available
# ALL PRODUCTS
# 2 : ehc book (previously phd)
# 3 : flops06-ruler, truu-ruler
# 4 : popl07-explimpl, truu-explimpl
# 5 : hw06-impred
# 6 : afp (will be obsolete)
# 7 : scratch (book format)
# 8 : slides afp
# 10: future
# 11: shuffle doc
# 12: garbage
# 13: poster
# 14: slides ruler
# 15: slides explimpl, general
# 16: slides explimpl, for fpnl dag
# 17: slides overview
# 19: ruler doc
# 20: uniqueness doc
# 21: uniqueness slides
# 22: grin bytecode design
# 23: slides status
# 24: paper "chr & local instances"
# 25: experience report "ehc structure"
# 27: poster LDL
# 28: slides EHC Structure
# 29: ehc doc
# 31: poster Tree Oriented Programming (Siren 2008)
# 33: paper "Abstract Interpretation"
# 35: llvm thesis
# 36: icfp08 paper on substitution/unification
# 77: scratch (article format)
TEXT_SHUFFLE_ORDER += \
1 < 2, \
1 < 3, \
1 < 4, \
1 < 5, \
1 < 6, \
1 < 8, \
1 < 10, \
1 < 11, \
1 < 13, \
1 < 18, \
1 < 19, \
1 < 20, \
1 < 22, \
1 < 26, \
1 < 27, \
1 < 30, \
1 < 31, \
1 < 77, \
1 < 33, \
35, \
9 < 15, \
9 < 16, \
18 < 9, \
18 < 14, \
18 < 17, \
18 < 21, \
18 < 23, \
18 < 28, \
26 < 24, \
26 < 25, \
26 < 36, \
30 < 7, \
30 < 29