Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Newer
Older
100755 914 lines (715 sloc) 31.663 kB
904d807 @atzedijkstra to trunk
atzedijkstra authored
1 .SUFFIXES:
2 .SUFFIXES: .pdf .tex .bib .html .lhs .sty .lag .cag .chs
3
b2ede06 @atzedijkstra ruler2: work on listlike rules (unfinished), start with popl06, bit o…
atzedijkstra authored
4 TOP_PREFIX :=
5
6 include mk/shared.mk
7
8 include ruler2/files.mk
9
fc211ef @atzedijkstra work on afp AG tutorial programs + infrastructure
atzedijkstra authored
10 # build dir's for AG primer related programs
11 D_BUILD := build
12 D_BUILD_BIN := $(D_BUILD)/bin
13
14 # main document
904d807 @atzedijkstra to trunk
atzedijkstra authored
15 AFP := afp
fc211ef @atzedijkstra work on afp AG tutorial programs + infrastructure
atzedijkstra authored
16
17 # tmp dir, specifically for each document variant,
18 # assumed to be prefixed by tmp- inside afp.lsty/lhs:
19 AFP_TMPDIR := tmp-$(AFP)/
20 AFP_FMT := afp.fmt
21
22 # main text
904d807 @atzedijkstra to trunk
atzedijkstra authored
23 AFP_LHS := afp.lhs
24 AFP_PDF := $(AFP).pdf
25 AFP_TEX := $(AFP).tex
26 AFP_STY := $(AFP).sty
27
fc211ef @atzedijkstra work on afp AG tutorial programs + infrastructure
atzedijkstra authored
28 # sub texts
29 AFP_TEXTS := text/
30 AFP_TEXTS_LHS := $(addprefix $(AFP_TEXTS),AGMiniPrimer.lhs AGPatterns.lhs)
31 AFP_TEXTS_TEX := $(patsubst $(AFP_TEXTS)%.lhs,$(AFP_TMPDIR)%.tex,$(AFP_TEXTS_LHS))
32
33 # AG primer
34 AG_PRIMER := agprimer/
35 AG_PRIMER_CAG := $(addsuffix .cag,$(addprefix $(AG_PRIMER),RepminAG Expr))
36 AG_PRIMER_CHS := $(addsuffix .chs,$(addprefix $(AG_PRIMER),RepminHS))
37 AG_PRIMER_CAG_TEX := $(patsubst $(AG_PRIMER)%,$(AFP_TMPDIR)%,$(AG_PRIMER_CAG:.cag=.tex))
38 AG_PRIMER_CHS_TEX := $(patsubst $(AG_PRIMER)%,$(AFP_TMPDIR)%,$(AG_PRIMER_CHS:.chs=.tex))
39 AG_PRIMER_TEX := $(AG_PRIMER_CAG_TEX) $(AG_PRIMER_CHS_TEX)
40
41 # lhs2tex
904d807 @atzedijkstra to trunk
atzedijkstra authored
42 LHS2TEX_PATH :=
66f6885 @atzedijkstra work on afp notes
atzedijkstra authored
43 LHS2TEX_OPTS_BASE := --set=asArticle --set=wide --unset=optExpandPrevRef --set=yesBeamer --set=useHyperref
904d807 @atzedijkstra to trunk
atzedijkstra authored
44 LHS2TEX_OPTS := $(LHS2TEX_OPTS_BASE) --set=forAfpHandout
45 LHS2TEX := lhs2TeX $(LHS2TEX_OPTS) $(LHS2TEX_PATH)
fc211ef @atzedijkstra work on afp AG tutorial programs + infrastructure
atzedijkstra authored
46
47 # indentation of (test) output
904d807 @atzedijkstra to trunk
atzedijkstra authored
48 INDENT2 := sed -e 's/^/ /'
49 INDENT4 := sed -e 's/^/ /'
50
fc211ef @atzedijkstra work on afp AG tutorial programs + infrastructure
atzedijkstra authored
51 # how to latex
904d807 @atzedijkstra to trunk
atzedijkstra authored
52 AFP_LATEX := pdflatex --jobname $(AFP)
53
fc211ef @atzedijkstra work on afp AG tutorial programs + infrastructure
atzedijkstra authored
54 # on what AFP.tex depends w.r.t. inclusion of compiler output (from ehc versions)
ed05eaf @atzedijkstra rules for impl params
atzedijkstra authored
55 AFP_TEX_DPDS := ehcs
56
fc211ef @atzedijkstra work on afp AG tutorial programs + infrastructure
atzedijkstra authored
57 # date
904d807 @atzedijkstra to trunk
atzedijkstra authored
58 DATE := $(shell /bin/date +%Y%m%d)
59
fc211ef @atzedijkstra work on afp AG tutorial programs + infrastructure
atzedijkstra authored
60 # pre generated distribution
904d807 @atzedijkstra to trunk
atzedijkstra authored
61 DIST := $(DATE)-ehc
62 DIST_PREFIX :=
63 DIST_ZIP := $(DIST_PREFIX)$(DIST).zip
64 DIST_TGZ := $(DIST_PREFIX)$(DIST).tgz
65
c9de377 @atzedijkstra as submitted for afp04 llncs notes
atzedijkstra authored
66 # distribution for afp04 lecture notes
67 DIST_AFP04 := dist-afp04
68
132f842 @atzedijkstra first version of next version of 'ruler' for describing type rules, g…
atzedijkstra authored
69 # distribution for icfp05 slides (for SDS)
70 DIST_ICFP05_SLIDES := dist-icfp05-slides
71
fc211ef @atzedijkstra work on afp AG tutorial programs + infrastructure
atzedijkstra authored
72 # distributed/published stuff for WWW
904d807 @atzedijkstra to trunk
atzedijkstra authored
73 WWW_SRC_ZIP := www/current-ehc-src.zip
ed05eaf @atzedijkstra rules for impl params
atzedijkstra authored
74 WWW_SRC_TGZ := www/current-ehc-src.tgz
904d807 @atzedijkstra to trunk
atzedijkstra authored
75 WWW_DOC_PDF := www/current-ehc-doc.pdf
76
fc211ef @atzedijkstra work on afp AG tutorial programs + infrastructure
atzedijkstra authored
77 # compilers and tools used
904d807 @atzedijkstra to trunk
atzedijkstra authored
78 AGC := uuagc
79 GHC := ghc
80 SUBSTEHC := bin/substehc.pl
81 SUBSTSH := bin/substsh.pl
82
83 SUBST_BAR_IN_TT := sed -e '/begin{TT}/,/end{TT}/s/|/||/g'
84 SUBST_LINE_CMT := sed -e 's/{-\# LINE[^\#]*\#-}//' -e '/{-\# \#-}/d'
85
fc211ef @atzedijkstra work on afp AG tutorial programs + infrastructure
atzedijkstra authored
86 # Makefile template for making a ehc version
710dc8f @atzedijkstra interim, for renaming files
atzedijkstra authored
87 MK_EHFILES := mk/ehfiles.mk
88
904d807 @atzedijkstra to trunk
atzedijkstra authored
89 # AGC(opts, file)
90 AGCC = cd `dirname $2` ; $(AGC) $1 `basename $2`
91
fc211ef @atzedijkstra work on afp AG tutorial programs + infrastructure
atzedijkstra authored
92 # lhs2tex format files used
904d807 @atzedijkstra to trunk
atzedijkstra authored
93 AFP_FMT_OTHER := lag2TeX.fmt pretty.fmt parsing.fmt
fc211ef @atzedijkstra work on afp AG tutorial programs + infrastructure
atzedijkstra authored
94
95 # type rules, in ruler format
79ee517 @atzedijkstra for internal shuffling
atzedijkstra authored
96 AFP_RULES := rules.rul rules2.rul
904d807 @atzedijkstra to trunk
atzedijkstra authored
97 AFP_RULES_TEX := $(AFP_RULES:.rul=.tex)
d45acb1 @atzedijkstra work on ruler2 + type rules
atzedijkstra authored
98 AFP_RULES2 := rules3
99 AFP_RULES2_RUL := $(AFP_RULES2).rl2
100 AFP_RULES2_TEX := $(patsubst %.rl2,$(AFP_TMPDIR)%.tex,$(AFP_RULES2_RUL))
101 AFP_RULES2_RULER_OPTS :=
fc211ef @atzedijkstra work on afp AG tutorial programs + infrastructure
atzedijkstra authored
102
103 # pictures in pgf format
904d807 @atzedijkstra to trunk
atzedijkstra authored
104 AFP_PGF_TEX := afp-pgf.tex
105
fc211ef @atzedijkstra work on afp AG tutorial programs + infrastructure
atzedijkstra authored
106 # all text sources
d45acb1 @atzedijkstra work on ruler2 + type rules
atzedijkstra authored
107 ALL_AFP_SRC := $(AFP_LHS) $(AFP_RULES) $(AFP_RULES2_RUL)
904d807 @atzedijkstra to trunk
atzedijkstra authored
108
92e9bd0 @atzedijkstra work on grin
atzedijkstra authored
109
110 EHC_SRC_PREFIX :=
b42d4fe @atzedijkstra impredicativity propagation works with '::' (pattern+normal) expr's
atzedijkstra authored
111 EHC_LAG_FOR_HS_TY := $(addsuffix .lag,EHTyQuantify EHTySubst EHTyElimAlts EHTyFreshVar EHTyElimBoth EHTyElimEqual EHTyFtv EHTyPretty EHTyInstantiate )
92e9bd0 @atzedijkstra work on grin
atzedijkstra authored
112 EHC_LAG_FOR_HS_CORE := $(addsuffix .lag,EHCoreJava EHCoreGrin EHCoreTrfRenUniq EHCoreTrfFullLazy EHCoreTrfLamLift \
9347c10 @atzedijkstra work on gri(n) + ext recs
atzedijkstra authored
113 EHCoreTrfInlineLetAlias EHCoreTrfLetUnrec EHCorePretty EHCoreSubst EHCoreTrfConstProp)
dfa37de @atzedijkstra prep for GRIN, alpha-rename (to unique), first GRIN AST
atzedijkstra authored
114 EHC_LAG_FOR_HS_GRIN_CODE := $(addsuffix .lag,GrinCodePretty)
92e9bd0 @atzedijkstra work on grin
atzedijkstra authored
115 EHC_LAG_FOR_HS := $(addsuffix .lag,EHMainAG EHTy EHCore EHError EHErrorPretty GrinCode) \
116 $(EHC_LAG_FOR_HS_TY) $(EHC_LAG_FOR_HS_CORE) $(EHC_LAG_FOR_HS_GRIN_CODE)
117
118
119 GRI_SRC_PREFIX := gri/
120
b4f94fb @atzedijkstra first version of gri (GRIN Interpreter)
atzedijkstra authored
121 GRI_LAG_FOR_HS_GRIN_CODE := $(addsuffix .lag,GRISetup)
122 GRI_LAG_FOR_HS := $(GRI_LAG_FOR_HS_GRIN_CODE)
92e9bd0 @atzedijkstra work on grin
atzedijkstra authored
123
124
125
fd10597 @atzedijkstra ruler2: partial automatic unique value generation
atzedijkstra authored
126 EHC_DPDS_RULER_RULES := EHRulerRules.ag
92e9bd0 @atzedijkstra work on grin
atzedijkstra authored
127 EHC_DPDS_MAIN := EHMainAG.ag EHInfer.ag EHInferExpr.ag \
128 EHInferPatExpr.ag EHInferTyExpr.ag EHInferKiExpr.ag EHInferData.ag \
129 EHInferCaseExpr.ag EHPretty.ag EHPrettyAST.ag EHAbsSyn.ag \
130 EHUniq.ag EHExtraChecks.ag EHGatherError.ag \
2d58264 @atzedijkstra working gri, with sieve
atzedijkstra authored
131 EHGenCore.ag \
b42d4fe @atzedijkstra impredicativity propagation works with '::' (pattern+normal) expr's
atzedijkstra authored
132 EHResolvePred.ag EHInferClass.ag
92e9bd0 @atzedijkstra work on grin
atzedijkstra authored
133 EHC_DPDS_CORE := EHCore.ag EHCoreAbsSyn.ag
134 EHC_DPDS_CORE_GRIN := EHCoreGrin.ag EHCoreCommonLev.ag EHCoreAbsSyn.ag
0647c5a @atzedijkstra refreshing distribution
atzedijkstra authored
135 EHC_DPDS_CORE_JAVA := EHCoreJava.ag EHCoreCommonLev.ag EHCoreAbsSyn.ag
92e9bd0 @atzedijkstra work on grin
atzedijkstra authored
136 EHC_DPDS_CORE_PRETTY := EHCorePretty.ag EHCoreAbsSyn.ag
0647c5a @atzedijkstra refreshing distribution
atzedijkstra authored
137 EHC_DPDS_CORE_SUBST := EHCoreSubst.ag EHCoreAbsSyn.ag
138 EHC_DPDS_CORE_TRF_CONSTPROP := EHCoreTrfConstProp.ag EHCoreCommonLev.ag EHCoreAbsSyn.ag
92e9bd0 @atzedijkstra work on grin
atzedijkstra authored
139 EHC_DPDS_CORE_TRF_FULLAZY := EHCoreTrfFullLazy.ag EHCoreTrfCommonFv.ag EHCoreTrfCommonLev.ag EHCoreCommonLev.ag EHCoreAbsSyn.ag
0647c5a @atzedijkstra refreshing distribution
atzedijkstra authored
140 EHC_DPDS_CORE_TRF_INLLETALI := EHCoreTrfInlineLetAlias.ag EHCoreAbsSyn.ag
92e9bd0 @atzedijkstra work on grin
atzedijkstra authored
141 EHC_DPDS_CORE_TRF_LAMLIFT := EHCoreTrfLamLift.ag EHCoreTrfCommonFv.ag EHCoreTrfCommonLev.ag EHCoreCommonLev.ag EHCoreAbsSyn.ag
142 EHC_DPDS_CORE_TRF_LETUNREC := EHCoreTrfLetUnrec.ag EHCoreAbsSyn.ag
0647c5a @atzedijkstra refreshing distribution
atzedijkstra authored
143 EHC_DPDS_CORE_TRF_RENUNQ := EHCoreTrfRenUniq.ag EHCoreAbsSyn.ag
144 EHC_DPDS_ERR := EHError.ag EHErrorAbsSyn.ag
145 EHC_DPDS_ERR_PRETTY := EHErrorPretty.ag EHErrorAbsSyn.ag
92e9bd0 @atzedijkstra work on grin
atzedijkstra authored
146 EHC_DPDS_GRIN_CODE := GrinCode.ag GrinCodeAbsSyn.ag
147 EHC_DPDS_GRIN_CODE_PRETTY := GrinCodePretty.ag GrinCodeAbsSyn.ag
0647c5a @atzedijkstra refreshing distribution
atzedijkstra authored
148 EHC_DPDS_TY := EHTy.ag EHTyAbsSyn.ag
149 EHC_DPDS_TY_FTV := EHTyFtv.ag EHTyAbsSyn.ag
150 EHC_DPDS_TY_INST := EHTyInstantiate.ag EHTyCommonAG.ag EHTyAbsSyn.ag
151 EHC_DPDS_TY_PRETTY := EHTyPretty.ag EHTyCommonAG.ag EHTyAbsSyn.ag
152 EHC_DPDS_TY_QUANT := EHTyQuantify.ag EHTyCommonAG.ag EHTyAbsSyn.ag
153 EHC_DPDS_TY_SUBST := EHTySubst.ag EHTyAbsSyn.ag
92d3ce8 @atzedijkstra impredicativity prop ok on type level, except ehc10, combi with coerc…
atzedijkstra authored
154 EHC_DPDS_TY_ELIMB := EHTyElimAlts.ag EHTyAbsSyn.ag
6508a15 @atzedijkstra work on combi existentials, impredicativity propagation
atzedijkstra authored
155 EHC_DPDS_TY_ELIMBOTH := EHTyElimBoth.ag EHTyAbsSyn.ag
cf3ea75 @atzedijkstra bit on gadt, start with 2nd try on impredicativity
atzedijkstra authored
156 EHC_DPDS_TY_ELIMEQUAL := EHTyElimEqual.ag EHTyAbsSyn.ag
b42d4fe @atzedijkstra impredicativity propagation works with '::' (pattern+normal) expr's
atzedijkstra authored
157 EHC_DPDS_TY_FRESHVAR := EHTyFreshVar.ag EHTyAbsSyn.ag
92e9bd0 @atzedijkstra work on grin
atzedijkstra authored
158
9347c10 @atzedijkstra work on gri(n) + ext recs
atzedijkstra authored
159 EHC_DPDS_CORE_TRF := $(EHC_DPDS_CORE_TRF_CONSTPROP) $(EHC_DPDS_CORE_TRF_RENUNQ) $(EHC_DPDS_CORE_TRF_INLLETALI) \
160 $(EHC_DPDS_CORE_TRF_FULLAZY) $(EHC_DPDS_CORE_TRF_LETUNREC) $(EHC_DPDS_CORE_TRF_LAMLIFT)
92e9bd0 @atzedijkstra work on grin
atzedijkstra authored
161 EHC_DPDS_ALL := $(sort $(EHC_DPDS_MAIN) \
0647c5a @atzedijkstra refreshing distribution
atzedijkstra authored
162 $(EHC_DPDS_CORE) $(EHC_DPDS_CORE_JAVA) $(EHC_DPDS_CORE_GRIN) $(EHC_DPDS_CORE_PRETTY) $(EHC_DPDS_CORE_SUBST) $(EHC_DPDS_CORE_TRF) \
92e9bd0 @atzedijkstra work on grin
atzedijkstra authored
163 $(EHC_DPDS_TY) $(EHC_DPDS_TY_PRETTY) $(EHC_DPDS_TY_QUANT) $(EHC_DPDS_TY_SUBST) $(EHC_DPDS_TY_FTV) $(EHC_DPDS_TY_INST) \
164 $(EHC_DPDS_GRIN_CODE) $(EHC_DPDS_GRIN_CODE_PRETTY) \
165 $(EHC_DPDS_ERR) $(EHC_DPDS_ERR_PRETTY) \
b42d4fe @atzedijkstra impredicativity propagation works with '::' (pattern+normal) expr's
atzedijkstra authored
166 $(EHC_DPDS_TY_ELIMBOTH) $(EHC_DPDS_TY_FRESHVAR) $(EHC_DPDS_TY_ELIMB) $(EHC_DPDS_TY_ELIMEQUAL) \
dfa37de @atzedijkstra prep for GRIN, alpha-rename (to unique), first GRIN AST
atzedijkstra authored
167 )
92e9bd0 @atzedijkstra work on grin
atzedijkstra authored
168 EHC_DPDS_ALL_MIN_TARG := $(filter-out $(EHC_LAG_FOR_HS:.lag=.ag),$(EHC_DPDS_ALL))
904d807 @atzedijkstra to trunk
atzedijkstra authored
169
170 EHC := ehc
171 EHC_MAIN := EHC
92e9bd0 @atzedijkstra work on grin
atzedijkstra authored
172 EHC_LAG_FOR_AG := $(EHC_DPDS_ALL_MIN_TARG:.ag=.lag)
904d807 @atzedijkstra to trunk
atzedijkstra authored
173 EHC_LAG := $(EHC_LAG_FOR_AG) $(EHC_LAG_FOR_HS)
26b48ce @atzedijkstra all versions compile, mostly working impredicativity propagation (wit…
atzedijkstra authored
174 EHC_LHS_FOR_HS := $(addsuffix .lhs,$(EHC_MAIN) EHCommon EHOpts EHCnstr EHSubstitutable EHTyFitsIn EHTyFitsInCommon EHGam EHGamUtils EHPred EHParser FPath EHScanner EHScannerMachine EHCoreUtils EHDebug)
904d807 @atzedijkstra to trunk
atzedijkstra authored
175 EHC_LHS := $(EHC_LHS_FOR_HS)
176 EHC_HS := $(EHC_LAG_FOR_HS:.lag=.hs) $(EHC_LHS_FOR_HS:.lhs=.hs)
177
92e9bd0 @atzedijkstra work on grin
atzedijkstra authored
178 GRI_DPDS_GRI := GRI.hs EHScanner.hs EHScannerMachine.hs EHCommon.hs GRIParser.hs GrinCode.hs GRICommon.hs
b4f94fb @atzedijkstra first version of gri (GRIN Interpreter)
atzedijkstra authored
179 GRI_DPDS_GRIN_CODE_SETUP := GRISetup.ag
180 GRI_DPDS_ALL := $(sort $(GRI_DPDS_GRIN_CODE_SETUP))
181 GRI_DPDS_ALL_MIN_TARG := $(filter-out $(GRI_LAG_FOR_HS:.lag=.ag),$(GRI_DPDS_ALL))
92e9bd0 @atzedijkstra work on grin
atzedijkstra authored
182
183 GRI := gri
184 GRI_MAIN := GRI
185 GRI_LAG_FOR_AG := $(GRI_DPDS_ALL_MIN_TARG:.ag=.lag)
186 GRI_LAG := $(GRI_LAG_FOR_AG) $(GRI_LAG_FOR_HS)
b4f94fb @atzedijkstra first version of gri (GRIN Interpreter)
atzedijkstra authored
187 GRI_LHS_FOR_HS := $(addsuffix .lhs,$(GRI_MAIN) GRICommon GRIParser GRIRun)
92e9bd0 @atzedijkstra work on grin
atzedijkstra authored
188 GRI_LHS := $(GRI_LHS_FOR_HS)
189 GRI_HS := $(GRI_LAG_FOR_HS:.lag=.hs) $(GRI_LHS_FOR_HS:.lhs=.hs) $(GRI_DPDS_GRI)
190
904d807 @atzedijkstra to trunk
atzedijkstra authored
191 AFP_DERIV := $(addprefix $(AFP),.toc .bbl .blg .aux .tex .log .ind .idx) $(AFP_STY)
192
193 SHUFFLE := bin/shuffle
194 SHUFFLE_DIR := shuffle
195 SHUFFLE_MAIN := Shuffle
196 SHUFFLE_AG := $(SHUFFLE_MAIN).ag
197 SHUFFLE_HS := $(SHUFFLE_AG:.ag=.hs)
198 SHUFFLE_DERIV := $(SHUFFLE_DIR)/$(SHUFFLE_HS)
199 SHUFFLE_DOC_PDF := $(SHUFFLE_DIR)/ShuffleDoc.pdf
200
201 SHUFFLE_SRC := $(SHUFFLE_DIR)/$(SHUFFLE_AG)
202
b761e95 @atzedijkstra UNSTABLE! (just for work backup), icfp paper, groundwork for new prov…
atzedijkstra authored
203 SHUFFLE_ORDER := 1 < 2 < 3 < 4 < 5 < 6 < 7 < 8 < 9 < 10 < 11, 4 < 4_2, 6 < 6_4
904d807 @atzedijkstra to trunk
atzedijkstra authored
204
205
206 RULER := bin/ruler
207 RULER_DIR := ruler
208 RULER_MAIN := Ruler
209 RULER_AG := $(RULER_MAIN).ag
210 RULER_HS := $(RULER_AG:.ag=.hs)
211 RULER_DERIV := $(RULER_DIR)/$(RULER_HS)
212 RULER_DOC_PDF := $(RULER_DIR)/RulerDoc.pdf
213
214 RULER_SRC := $(RULER_DIR)/$(RULER_AG)
215
b2ede06 @atzedijkstra ruler2: work on listlike rules (unfinished), start with popl06, bit o…
atzedijkstra authored
216 RULER2 := $(RULER2_BLD_EXEC)
217 #RULER2_DIR := ruler2
218 #RULER2_MAIN := Ruler
219 #RULER2_AG := $(RULER2_MAIN).ag
220 #RULER2_AG_INCLS := RulerPretty.ag RulerAST.ag RulerGen.ag RulerParser.ag RulerExprMatchSubst.ag RulerWrap.ag \
221 # RulerViewDpd.ag RulerMisc.ag RulerARule.ag \
222 # RulerARuleOptim.ag RulerARuleOptim2.ag RulerARuleOptim3.ag \
223 # RulerRlSel.ag \
224 # RulerPatternUniq.ag
225 #RULER2_AG_HS := $(RULER2_AG:.ag=.hs)
226 #RULER2_HS := RulerUtils.hs RulerAdmin.hs RulerMkAdmin.hs
227 #RULER2_DERIV := $(RULER2_DIR)/$(RULER2_AG_HS)
132f842 @atzedijkstra first version of next version of 'ruler' for describing type rules, g…
atzedijkstra authored
228 RULER2_DOC_PDF := $(RULER2_DIR)/RulerDoc.pdf
229
b2ede06 @atzedijkstra ruler2: work on listlike rules (unfinished), start with popl06, bit o…
atzedijkstra authored
230 #RULER2_SRC := $(addprefix $(RULER2_DIR)/,$(RULER2_AG) $(RULER2_HS) $(RULER2_AG_INCLS))
132f842 @atzedijkstra first version of next version of 'ruler' for describing type rules, g…
atzedijkstra authored
231
194764b @atzedijkstra bug in perl example substitution script
atzedijkstra authored
232 BREW := bin/brew
233 BREW_DIR := brew
234 BREW_MAIN := Brew
235 BREW_AG := $(BREW_MAIN).ag
236 BREW_HS := $(BREW_AG:.ag=.hs)
237 BREW_DERIV := $(BREW_DIR)/$(BREW_HS)
238 BREW_DOC_PDF := $(BREW_DIR)/BrewDoc.pdf
239
240 BREW_SRC := $(BREW_DIR)/$(BREW_AG)
241
1604785 @atzedijkstra work on gri/grin/records
atzedijkstra authored
242 CORE_TARG := grin
243
904d807 @atzedijkstra to trunk
atzedijkstra authored
244
ccaf1f6 @atzedijkstra first partial working ext recs + case + grin
atzedijkstra authored
245 # LHS2TEX_POLY(src file, dst file)
246 PERL_SUBST_EHC = \
247 perl $(SUBSTEHC) < $(1) > $(2)
248
904d807 @atzedijkstra to trunk
atzedijkstra authored
249 LHS2TEX_POLY_MODE := --poly
250 # LHS2TEX_POLY(src file, dst file)
251 LHS2TEX_POLY = \
252 perl $(SUBSTEHC) < $(1) | $(SUBST_BAR_IN_TT) | $(LHS2TEX) $(LHS2TEX_POLY_MODE) > $(2)
253
254 # LHS2TEX_POLY_2(src file, dst file)
255 LHS2TEX_POLY_2 = \
256 perl $(SUBSTSH) < $(1) | $(LHS2TEX) --poly > $(2)
257
258 # LHS2TEX_POLY_3(src file, dst file)
259 LHS2TEX_POLY_3 = \
260 $(LHS2TEX) $(LHS2TEX_POLY_MODE) $(1) > $(2)
261
262 # LHS2TEX_CODE(src file, dst file)
263 LHS2TEX_CODE = \
264 $(LHS2TEX) --newcode $(1) > $(2)
265
266 default:
2b4a201 @atzedijkstra work in grin + ext recs + case
atzedijkstra authored
267 @echo "make <n>/ehc : make compiler version <n> (where <n> in {$(VERSIONS)})" ; \
268 echo "make <n>/gri : make grin interpreter version <n> (where <n> in {$(GRI_VERSIONS)})" ; \
269 echo "make ehcs : make all compiler (ehc) versions" ; \
270 echo "make gris : make all grin interpreter (gri) versions" ; \
904d807 @atzedijkstra to trunk
atzedijkstra authored
271 echo "make afp : make afp.pdf, by running latex once" ; \
272 echo "make afp-full : make afp.pdf, with bib/index" ; \
8d78230 @atzedijkstra syntax for expl impl passing
atzedijkstra authored
273 echo "make doc : make doc of tools" ; \
904d807 @atzedijkstra to trunk
atzedijkstra authored
274 echo "make all : make all of the above" ; \
275 echo ; \
276 echo "make afp-slides : make slides afp-slides.pdf" ; \
1cd2ed2 @atzedijkstra ext recs + coercions + check/infer, first version
atzedijkstra authored
277 echo "make afp04 : make LLNCS variant of afp.pdf, for proceedings" ; \
278 echo "make esop05 : make ESOP2005 article Explicit implicit parameters" ; \
904d807 @atzedijkstra to trunk
atzedijkstra authored
279 echo "make afp-tr : make UU techreport variant of afp.pdf" ; \
280 echo "make test-regress: run regression test" ; \
281 echo "make test-expect : make expected output (for later comparison with test-regress)" ; \
282 echo "make dist : make distribution (of ehc src versions) in $(DIST_PREFIX)<today>-ehc.zip" ; \
283 echo "make www : make 'current' www dist (based on dist)" ; \
284 echo "make www-sync : sync www dist (proper ssh access required)"
285
92e9bd0 @atzedijkstra work on grin
atzedijkstra authored
286 all: afp-full ehcs doc gris
904d807 @atzedijkstra to trunk
atzedijkstra authored
287 $(MAKE) initial-test-expect
288
8d78230 @atzedijkstra syntax for expl impl passing
atzedijkstra authored
289 doc: $(SHUFFLE_DOC_PDF)
290
904d807 @atzedijkstra to trunk
atzedijkstra authored
291 %.tex:%.lag
292 $(call LHS2TEX_POLY,$<,$@)
293
294 %.tex:%.lhs
295 $(call LHS2TEX_POLY,$<,$@)
296
297 %.tex:%.ltex
298 $(call LHS2TEX_POLY_2,$<,$@)
299
300 %.sty:%.lsty
301 $(call LHS2TEX_POLY_3,$<,$@)
302
303 %.ag:%.lag
304 $(call LHS2TEX_CODE,$<,$@)
305
306 %.hs:%.lhs
307 $(call LHS2TEX_CODE,$<,$@)
308
309 %.hs:%.ag
310 cd `dirname $<` ; $(AGC) -dcfspr `basename $< .ag`
311
312 #VPREFIX :=
710dc8f @atzedijkstra interim, for renaming files
atzedijkstra authored
313 #include $(MK_EHFILES)
904d807 @atzedijkstra to trunk
atzedijkstra authored
314
92e9bd0 @atzedijkstra work on grin
atzedijkstra authored
315 ### Versioned ehc's, gri's
543bd12 @atzedijkstra eh 10 (ext recs + grin + coerce) works
atzedijkstra authored
316 VERSIONS := 1 2 3 4 5 6 7 8 9 10
904d807 @atzedijkstra to trunk
atzedijkstra authored
317 VERSION_LAST := $(word $(words $(VERSIONS)), $(VERSIONS))
318 VERSION_FIRST := $(word 1, $(VERSIONS))
319
320 EHC_CAG := $(EHC_LAG:.lag=.cag)
321 EHC_CHS := $(EHC_LHS:.lhs=.chs)
322
543bd12 @atzedijkstra eh 10 (ext recs + grin + coerce) works
atzedijkstra authored
323 GRI_VERSIONS := 8 9
92e9bd0 @atzedijkstra work on grin
atzedijkstra authored
324
b4f94fb @atzedijkstra first version of gri (GRIN Interpreter)
atzedijkstra authored
325 GRI_CAG := $(GRI_LAG:.lag=.cag)
92e9bd0 @atzedijkstra work on grin
atzedijkstra authored
326 GRI_CHS := $(GRI_LHS:.lhs=.chs)
327
b4f94fb @atzedijkstra first version of gri (GRIN Interpreter)
atzedijkstra authored
328 # SHUFFLE_LHS(src file, dst file, how, lhs2tex, version, base)
904d807 @atzedijkstra to trunk
atzedijkstra authored
329 SHUFFLE_LHS = \
330 dir=`dirname $2` ; \
331 mkdir -p $$dir ; \
fd10597 @atzedijkstra ruler2: partial automatic unique value generation
atzedijkstra authored
332 $(SHUFFLE) --gen=$5 --base=$6 $3 --order="$(SHUFFLE_ORDER)" $1 | $4 > $2
904d807 @atzedijkstra to trunk
atzedijkstra authored
333
b4f94fb @atzedijkstra first version of gri (GRIN Interpreter)
atzedijkstra authored
334 # SHUFFLE_LHS_AG(src file, dst file, version, base)
904d807 @atzedijkstra to trunk
atzedijkstra authored
335 SHUFFLE_LHS_AG = \
66f6885 @atzedijkstra work on afp notes
atzedijkstra authored
336 $(call SHUFFLE_LHS,$1,$2,--ag,$(LHS2TEX) --newcode,`dirname $2`,$4)
904d807 @atzedijkstra to trunk
atzedijkstra authored
337
b4f94fb @atzedijkstra first version of gri (GRIN Interpreter)
atzedijkstra authored
338 # SHUFFLE_LHS_HS(src file, dst file, version, base)
904d807 @atzedijkstra to trunk
atzedijkstra authored
339 SHUFFLE_LHS_HS = \
66f6885 @atzedijkstra work on afp notes
atzedijkstra authored
340 $(call SHUFFLE_LHS,$1,$2,--hs,$(LHS2TEX) --newcode | $(SUBST_LINE_CMT),`dirname $2`,$4)
904d807 @atzedijkstra to trunk
atzedijkstra authored
341
b4f94fb @atzedijkstra first version of gri (GRIN Interpreter)
atzedijkstra authored
342 # SHUFFLE_LHS_TEX(src file, dst file, version,base)
904d807 @atzedijkstra to trunk
atzedijkstra authored
343 SHUFFLE_LHS_TEX = \
66f6885 @atzedijkstra work on afp notes
atzedijkstra authored
344 $(call SHUFFLE_LHS,$1,$2,--latex --xref-except=shuffleXRefExcept,$(LHS2TEX) $(LHS2TEX_POLY_MODE),`dirname $2`,$4)
b4f94fb @atzedijkstra first version of gri (GRIN Interpreter)
atzedijkstra authored
345 # $(call SHUFFLE_LHS,$1,$2,--latex --index --xref-except=shuffleXRefExcept,$(LHS2TEX) --poly,$3,$4)
904d807 @atzedijkstra to trunk
atzedijkstra authored
346
0143d7a @atzedijkstra work on expl/impl params paper, type rule cleanup/combining
atzedijkstra authored
347 # RULER_LHS(base, src file, dst file, lhs2tex)
904d807 @atzedijkstra to trunk
atzedijkstra authored
348 RULER_LHS = \
0143d7a @atzedijkstra work on expl/impl params paper, type rule cleanup/combining
atzedijkstra authored
349 $(RULER) --latex --base $1 $2 | $4 > $3
79ee517 @atzedijkstra for internal shuffling
atzedijkstra authored
350 RULER2_LHS = \
d45acb1 @atzedijkstra work on ruler2 + type rules
atzedijkstra authored
351 $(RULER2) $(AFP_RULES2_RULER_OPTS) --lhs2tex --base $1 $2 | $4 > $3
904d807 @atzedijkstra to trunk
atzedijkstra authored
352
fd10597 @atzedijkstra ruler2: partial automatic unique value generation
atzedijkstra authored
353 # RULER2_CAG(base, rulesel, src file, dst file)
354 RULER2_CAG = \
355 $(RULER2) $(AFP_RULES2_RULER_OPTS) --ag --wrapfrag --selrule="$1" --base $2 $3 > $4
356
0143d7a @atzedijkstra work on expl/impl params paper, type rule cleanup/combining
atzedijkstra authored
357 # RULER_LHS_TEX(base, src file, dst file)
904d807 @atzedijkstra to trunk
atzedijkstra authored
358 RULER_LHS_TEX = \
0143d7a @atzedijkstra work on expl/impl params paper, type rule cleanup/combining
atzedijkstra authored
359 $(call RULER_LHS,$1,$2,$3,$(LHS2TEX) --poly)
79ee517 @atzedijkstra for internal shuffling
atzedijkstra authored
360 RULER2_LHS_TEX = \
361 $(call RULER2_LHS,$1,$2,$3,$(LHS2TEX) --poly)
904d807 @atzedijkstra to trunk
atzedijkstra authored
362
fd10597 @atzedijkstra ruler2: partial automatic unique value generation
atzedijkstra authored
363 ### Defaults for the version generation
364
365 V_RULER_SEL_DFLT := ().().()
904d807 @atzedijkstra to trunk
atzedijkstra authored
366
367 ### Version 1
368 V := 1
369 VF := $(V)
fd10597 @atzedijkstra ruler2: partial automatic unique value generation
atzedijkstra authored
370 V_RULER_SEL$(V) := ($(V)).(expr.base).(*)
710dc8f @atzedijkstra interim, for renaming files
atzedijkstra authored
371 include $(MK_EHFILES)
904d807 @atzedijkstra to trunk
atzedijkstra authored
372 EHC_V1 := $(addprefix $(VF)/,$(EHC))
373 ### End of Version 1
374
375
376 ### Version 2
377 V := 2
378 VF := $(V)
fd10597 @atzedijkstra ruler2: partial automatic unique value generation
atzedijkstra authored
379 V_RULER_SEL$(V) := $(V_RULER_SEL_DFLT)
710dc8f @atzedijkstra interim, for renaming files
atzedijkstra authored
380 include $(MK_EHFILES)
904d807 @atzedijkstra to trunk
atzedijkstra authored
381 EHC_V2 := $(addprefix $(VF)/,$(EHC))
382 ### End of Version 2
383
384
385 ### Version 3
386 V := 3
387 VF := $(V)
fd10597 @atzedijkstra ruler2: partial automatic unique value generation
atzedijkstra authored
388 V_RULER_SEL$(V) := $(V_RULER_SEL_DFLT)
710dc8f @atzedijkstra interim, for renaming files
atzedijkstra authored
389 include $(MK_EHFILES)
904d807 @atzedijkstra to trunk
atzedijkstra authored
390 EHC_V3 := $(addprefix $(VF)/,$(EHC))
391 ### End of Version 3
392
393
394 ### Version 4
395 V := 4
396 VF := $(V)
fd10597 @atzedijkstra ruler2: partial automatic unique value generation
atzedijkstra authored
397 V_RULER_SEL$(V) := $(V_RULER_SEL_DFLT)
710dc8f @atzedijkstra interim, for renaming files
atzedijkstra authored
398 include $(MK_EHFILES)
904d807 @atzedijkstra to trunk
atzedijkstra authored
399 EHC_V4 := $(addprefix $(VF)/,$(EHC))
400 ### End of Version 4
401
402
cf3ea75 @atzedijkstra bit on gadt, start with 2nd try on impredicativity
atzedijkstra authored
403 ### Version 4:2
404 V := 4_2
405 VF := 4_2
fd10597 @atzedijkstra ruler2: partial automatic unique value generation
atzedijkstra authored
406 V_RULER_SEL$(V) := $(V_RULER_SEL_DFLT)
bc95547 @atzedijkstra work on impredicativity, co/contra variance, meet/join,...
atzedijkstra authored
407 include $(MK_EHFILES)
cf3ea75 @atzedijkstra bit on gadt, start with 2nd try on impredicativity
atzedijkstra authored
408 EHC_V4_2 := $(addprefix $(VF)/,$(EHC))
409 ### End of Version 4_2
410
411
904d807 @atzedijkstra to trunk
atzedijkstra authored
412 ### Version 5
413 V := 5
414 VF := $(V)
fd10597 @atzedijkstra ruler2: partial automatic unique value generation
atzedijkstra authored
415 V_RULER_SEL$(V) := $(V_RULER_SEL_DFLT)
710dc8f @atzedijkstra interim, for renaming files
atzedijkstra authored
416 include $(MK_EHFILES)
904d807 @atzedijkstra to trunk
atzedijkstra authored
417 EHC_V5 := $(addprefix $(VF)/,$(EHC))
418 ### End of Version 5
419
420
421 ### Version 6
422 V := 6
423 VF := $(V)
fd10597 @atzedijkstra ruler2: partial automatic unique value generation
atzedijkstra authored
424 V_RULER_SEL$(V) := $(V_RULER_SEL_DFLT)
710dc8f @atzedijkstra interim, for renaming files
atzedijkstra authored
425 include $(MK_EHFILES)
904d807 @atzedijkstra to trunk
atzedijkstra authored
426 EHC_V6 := $(addprefix $(VF)/,$(EHC))
427 ### End of Version 6
428
429
430 ### Version 6:1
431 V := 6_1
432 VF := 6_1
fd10597 @atzedijkstra ruler2: partial automatic unique value generation
atzedijkstra authored
433 V_RULER_SEL$(V) := $(V_RULER_SEL_DFLT)
710dc8f @atzedijkstra interim, for renaming files
atzedijkstra authored
434 include $(MK_EHFILES)
904d807 @atzedijkstra to trunk
atzedijkstra authored
435 EHC_V6_1 := $(addprefix $(VF)/,$(EHC))
1f88458 @atzedijkstra work on experimental solution for impredicativity propagation (EH 6_2)
atzedijkstra authored
436 ### End of Version 6_1
437
438
b761e95 @atzedijkstra UNSTABLE! (just for work backup), icfp paper, groundwork for new prov…
atzedijkstra authored
439 ### Version 6:4
440 V := 6_4
441 VF := 6_4
fd10597 @atzedijkstra ruler2: partial automatic unique value generation
atzedijkstra authored
442 V_RULER_SEL$(V) := $(V_RULER_SEL_DFLT)
b761e95 @atzedijkstra UNSTABLE! (just for work backup), icfp paper, groundwork for new prov…
atzedijkstra authored
443 include $(MK_EHFILES)
444 EHC_V6_4 := $(addprefix $(VF)/,$(EHC))
445 ### End of Version 6_4
446
447
904d807 @atzedijkstra to trunk
atzedijkstra authored
448 ### Version 7
449 V := 7
450 VF := $(V)
fd10597 @atzedijkstra ruler2: partial automatic unique value generation
atzedijkstra authored
451 V_RULER_SEL$(V) := $(V_RULER_SEL_DFLT)
710dc8f @atzedijkstra interim, for renaming files
atzedijkstra authored
452 include $(MK_EHFILES)
904d807 @atzedijkstra to trunk
atzedijkstra authored
453 EHC_V7 := $(addprefix $(VF)/,$(EHC))
454 ### End of Version 7
455
456
457 ### Version 8
458 V := 8
459 VF := $(V)
fd10597 @atzedijkstra ruler2: partial automatic unique value generation
atzedijkstra authored
460 V_RULER_SEL$(V) := $(V_RULER_SEL_DFLT)
710dc8f @atzedijkstra interim, for renaming files
atzedijkstra authored
461 include $(MK_EHFILES)
904d807 @atzedijkstra to trunk
atzedijkstra authored
462 EHC_V8 := $(addprefix $(VF)/,$(EHC))
92e9bd0 @atzedijkstra work on grin
atzedijkstra authored
463 GRI_V8 := $(addprefix $(VF)/,$(GRI))
904d807 @atzedijkstra to trunk
atzedijkstra authored
464 ### End of Version 8
465
466
467 ### Version 9
468 V := 9
469 VF := $(V)
fd10597 @atzedijkstra ruler2: partial automatic unique value generation
atzedijkstra authored
470 V_RULER_SEL$(V) := $(V_RULER_SEL_DFLT)
710dc8f @atzedijkstra interim, for renaming files
atzedijkstra authored
471 include $(MK_EHFILES)
904d807 @atzedijkstra to trunk
atzedijkstra authored
472 EHC_V9 := $(addprefix $(VF)/,$(EHC))
92e9bd0 @atzedijkstra work on grin
atzedijkstra authored
473 GRI_V9 := $(addprefix $(VF)/,$(GRI))
904d807 @atzedijkstra to trunk
atzedijkstra authored
474 ### End of Version 9
475
476
f204594 @atzedijkstra pat for implicit param
atzedijkstra authored
477 ### Version 10
478 V := 10
479 VF := $(V)
fd10597 @atzedijkstra ruler2: partial automatic unique value generation
atzedijkstra authored
480 V_RULER_SEL$(V) := $(V_RULER_SEL_DFLT)
710dc8f @atzedijkstra interim, for renaming files
atzedijkstra authored
481 include $(MK_EHFILES)
f204594 @atzedijkstra pat for implicit param
atzedijkstra authored
482 EHC_V10 := $(addprefix $(VF)/,$(EHC))
92e9bd0 @atzedijkstra work on grin
atzedijkstra authored
483 GRI_V10 := $(addprefix $(VF)/,$(GRI))
f204594 @atzedijkstra pat for implicit param
atzedijkstra authored
484 ### End of Version 10
485
486
487 ### Version 11
488 V := 11
489 VF := $(V)
fd10597 @atzedijkstra ruler2: partial automatic unique value generation
atzedijkstra authored
490 V_RULER_SEL$(V) := $(V_RULER_SEL_DFLT)
710dc8f @atzedijkstra interim, for renaming files
atzedijkstra authored
491 include $(MK_EHFILES)
f204594 @atzedijkstra pat for implicit param
atzedijkstra authored
492 EHC_V11 := $(addprefix $(VF)/,$(EHC))
92e9bd0 @atzedijkstra work on grin
atzedijkstra authored
493 GRI_V11 := $(addprefix $(VF)/,$(GRI))
f204594 @atzedijkstra pat for implicit param
atzedijkstra authored
494 ### End of Version 11
495
496
fc211ef @atzedijkstra work on afp AG tutorial programs + infrastructure
atzedijkstra authored
497 ### AG Primer's Repmin AG variant
498 $(AG_PRIMER_CAG:.cag=.ag): %.ag: %.cag $(SHUFFLE)
66f6885 @atzedijkstra work on afp notes
atzedijkstra authored
499 $(call SHUFFLE_LHS,$<,$@,--ag,$(LHS2TEX) --newcode,1,Main) ; \
fc211ef @atzedijkstra work on afp AG tutorial programs + infrastructure
atzedijkstra authored
500 touch $@
501
502 $(D_BUILD_BIN)/repminag: $(AG_PRIMER)RepminAG.hs
4546e3a @atzedijkstra work on impredicativity, adapt to ghc 6.4 (stricter module referencing)
atzedijkstra authored
503 d=`dirname $@` ; mkdir -p $$d ; $(GHC) $(GHC_OPTS) -o $@ --make $<
fc211ef @atzedijkstra work on afp AG tutorial programs + infrastructure
atzedijkstra authored
504 ### End of Repmin AG variant
505
506
507 ### AG Primer's Expr
508 $(D_BUILD_BIN)/expr: $(AG_PRIMER)Expr.hs
4546e3a @atzedijkstra work on impredicativity, adapt to ghc 6.4 (stricter module referencing)
atzedijkstra authored
509 d=`dirname $@` ; mkdir -p $$d ; $(GHC) $(GHC_OPTS) -o $@ --make $<
fc211ef @atzedijkstra work on afp AG tutorial programs + infrastructure
atzedijkstra authored
510 ### End of Expr
511
512
513 ### AG Primer's Repmin Haskell variant
514 $(AG_PRIMER_CHS:.chs=.hs): %.hs: %.chs $(SHUFFLE)
515 $(call SHUFFLE_LHS_HS,$<,$@,1,Main) ; \
516 touch $@
517
518 $(D_BUILD_BIN)/repminhs: $(AG_PRIMER)RepminHS.hs
4546e3a @atzedijkstra work on impredicativity, adapt to ghc 6.4 (stricter module referencing)
atzedijkstra authored
519 d=`dirname $@` ; mkdir -p $$d ; $(GHC) $(GHC_OPTS) -o $@ --make $<
fc211ef @atzedijkstra work on afp AG tutorial programs + infrastructure
atzedijkstra authored
520 ### End of Repmin Haskell variant
521
522
904d807 @atzedijkstra to trunk
atzedijkstra authored
523 ### TeX production upto a version
524 EHC_VLAST_AG_TEX := $(addprefix $(AFP_TMPDIR),$(EHC_CAG:.cag=.tex))
525 EHC_VLAST_HS_TEX := $(addprefix $(AFP_TMPDIR),$(EHC_CHS:.chs=.tex))
526 EHC_VLAST_TEX := $(EHC_VLAST_AG_TEX) $(EHC_VLAST_HS_TEX)
527
528 $(EHC_VLAST_HS_TEX): $(AFP_TMPDIR)%.tex: %.chs $(SHUFFLE) Makefile
b4f94fb @atzedijkstra first version of gri (GRIN Interpreter)
atzedijkstra authored
529 $(call SHUFFLE_LHS_TEX,$<,$@,all,$(*F))
904d807 @atzedijkstra to trunk
atzedijkstra authored
530
531 $(EHC_VLAST_AG_TEX): $(AFP_TMPDIR)%.tex: %.cag $(SHUFFLE) Makefile
b4f94fb @atzedijkstra first version of gri (GRIN Interpreter)
atzedijkstra authored
532 $(call SHUFFLE_LHS_TEX,$<,$@,all,$(*F))
904d807 @atzedijkstra to trunk
atzedijkstra authored
533
fc211ef @atzedijkstra work on afp AG tutorial programs + infrastructure
atzedijkstra authored
534 ### TeX production of AG primer code
535 $(AG_PRIMER_CAG_TEX): $(AFP_TMPDIR)%.tex: $(AG_PRIMER)%.cag $(SHUFFLE) Makefile
536 $(call SHUFFLE_LHS_TEX,$<,$@,all,$(*F))
537
538 $(AG_PRIMER_CHS_TEX): $(AFP_TMPDIR)%.tex: $(AG_PRIMER)%.chs $(SHUFFLE) Makefile
539 $(call SHUFFLE_LHS_TEX,$<,$@,all,$(*F))
540
541 ### TeX production of sub texts
542 $(AFP_TEXTS_TEX): $(AFP_TMPDIR)%.tex: $(AFP_TEXTS)%.lhs Makefile
543 $(call LHS2TEX_POLY,$<,$@)
904d807 @atzedijkstra to trunk
atzedijkstra authored
544
d45acb1 @atzedijkstra work on ruler2 + type rules
atzedijkstra authored
545 ### TeX production of ruler text
546 $(AFP_RULES2_TEX): $(AFP_TMPDIR)%.tex: %.rl2 Makefile $(RULER2) $(AFP_FMT)
547 $(call RULER2_LHS_TEX,$(*F),$<,$@)
548
fc211ef @atzedijkstra work on afp AG tutorial programs + infrastructure
atzedijkstra authored
549 ### Dpds for main text
79ee517 @atzedijkstra for internal shuffling
atzedijkstra authored
550 $(AFP_PDF): $(AFP_TEX) $(AFP_STY) $(EHC_VLAST_TEX) $(AFP_RULES_TEX) $(AFP_RULES2_TEX) $(AFP_PGF_TEX) $(AFP_TEXTS_TEX) $(AG_PRIMER_TEX)
904d807 @atzedijkstra to trunk
atzedijkstra authored
551 $(AFP_LATEX) $(AFP_TEX)
552
ed05eaf @atzedijkstra rules for impl params
atzedijkstra authored
553 $(AFP_TEX): $(AFP_LHS) $(AFP_TEX_DPDS)
904d807 @atzedijkstra to trunk
atzedijkstra authored
554 $(call LHS2TEX_POLY,$<,$@)
555
556 $(AFP_STY): afp.lsty Makefile
557 $(call LHS2TEX_POLY_3,$<,$@)
558
559 $(AFP_RULES_TEX): %.tex: %.rul $(RULER) $(AFP_FMT)
0143d7a @atzedijkstra work on expl/impl params paper, type rule cleanup/combining
atzedijkstra authored
560 $(call RULER_LHS_TEX,$(*F),$<,$@)
904d807 @atzedijkstra to trunk
atzedijkstra authored
561
d45acb1 @atzedijkstra work on ruler2 + type rules
atzedijkstra authored
562 #$(AFP_RULES2_TEX): %.tex: %.rl2 $(RULER2) $(AFP_FMT)
563 # $(call RULER2_LHS_TEX,$(*F),$<,$@)
79ee517 @atzedijkstra for internal shuffling
atzedijkstra authored
564
fc211ef @atzedijkstra work on afp AG tutorial programs + infrastructure
atzedijkstra authored
565 agprimer: $(D_BUILD_BIN)/repminag $(D_BUILD_BIN)/repminhs $(D_BUILD_BIN)/expr
566
904d807 @atzedijkstra to trunk
atzedijkstra authored
567 afp: $(AFP_PDF)
568
569 afp-full: afp
570 bibtex $(AFP)
571 $(AFP_LATEX) $(AFP_TEX)
572 rm -f $(AFP).ind
573 makeindex $(AFP)
574 $(AFP_LATEX) $(AFP_TEX)
575
68475e1 @atzedijkstra eh4: lex scoped tyvar, eh9: pred stuff reaching ready
atzedijkstra authored
576 afp-bib: afp
577 bibtex $(AFP)
578 $(AFP_LATEX) $(AFP_TEX)
579 $(AFP_LATEX) $(AFP_TEX)
580
904d807 @atzedijkstra to trunk
atzedijkstra authored
581 afp-tr:
fc211ef @atzedijkstra work on afp AG tutorial programs + infrastructure
atzedijkstra authored
582 $(MAKE) AFP=$@ LHS2TEX_OPTS="$(LHS2TEX_OPTS_BASE) --unset=asArticle --set=truu --set=storyAfpTRUU1 --set=omitTBD --set=omitLitDiscuss" afp-full
904d807 @atzedijkstra to trunk
atzedijkstra authored
583
1cd2ed2 @atzedijkstra ext recs + coercions + check/infer, first version
atzedijkstra authored
584 afp04:
fc211ef @atzedijkstra work on afp AG tutorial programs + infrastructure
atzedijkstra authored
585 $(MAKE) AFP=$@ AFP_TEX_DPDS= LHS2TEX_OPTS="$(LHS2TEX_OPTS_BASE) --set=llncs --set=storyAFP04Notes --set=omitTBD --set=omitLitDiscuss" afp-bib
904d807 @atzedijkstra to trunk
atzedijkstra authored
586
c9de377 @atzedijkstra as submitted for afp04 llncs notes
atzedijkstra authored
587 afp04-dist-tex:
588 $(MAKE) AFP=afp04-dist AFP_TEX_DPDS= LHS2TEX_OPTS="$(LHS2TEX_OPTS_BASE) --set=llncs --set=storyAFP04Notes --set=omitTBD --set=omitLitDiscuss --set=dist" afp04-dist.tex
589
194764b @atzedijkstra bug in perl example substitution script
atzedijkstra authored
590 afp-tst:
fc211ef @atzedijkstra work on afp AG tutorial programs + infrastructure
atzedijkstra authored
591 $(MAKE) AFP=$@ AFP_TEX_DPDS= LHS2TEX_OPTS="$(LHS2TEX_OPTS_BASE) --set=llncs --set=storyAFP04Notes --set=omitTBD --set=omitLitDiscuss" afp
592
b20c20d @atzedijkstra working impredicativity propagation (as variant 4_2), but too aggress…
atzedijkstra authored
593 hw05-impred-tst:
594 $(MAKE) AFP=$@ AFP_TEX_DPDS= LHS2TEX_OPTS="$(LHS2TEX_OPTS_BASE) --unset=yesBeamer --unset=useHyperref --set=acm --set=storyImpred --set=hw05 --set=omitTBD --set=omitLitDiscuss" afp
595
132f842 @atzedijkstra first version of next version of 'ruler' for describing type rules, g…
atzedijkstra authored
596 hw05-impred-final:
597 $(MAKE) AFP=$@ AFP_TEX_DPDS= LHS2TEX_OPTS="$(LHS2TEX_OPTS_BASE) --unset=yesBeamer --unset=useHyperref --set=acm --set=storyImpred --set=hw05 --set=omitTBD --set=omitLitDiscuss" afp-bib
598
b2ede06 @atzedijkstra ruler2: work on listlike rules (unfinished), start with popl06, bit o…
atzedijkstra authored
599 popl05-ruler-tst:
600 $(MAKE) AFP=$@ AFP_TEX_DPDS= LHS2TEX_OPTS="$(LHS2TEX_OPTS_BASE) --unset=yesBeamer --unset=useHyperref --set=acm --set=storyRuler --set=popl05 --set=omitTBD --set=omitLitDiscuss" afp
b761e95 @atzedijkstra UNSTABLE! (just for work backup), icfp paper, groundwork for new prov…
atzedijkstra authored
601
ab8cd03 @atzedijkstra ruler2, rules, eh9 changes
atzedijkstra authored
602 hw05-explimpl-tst:
603 $(MAKE) AFP=$@ AFP_TEX_DPDS= LHS2TEX_OPTS="$(LHS2TEX_OPTS_BASE) --unset=yesBeamer --unset=useHyperref --set=acm --set=storyExplImpl --set=hw05 --set=withChangeBar --set=omitTBD --set=omitLitDiscuss" afp
604
605 hw05-explimpl-final:
606 $(MAKE) AFP=$@ AFP_TEX_DPDS= LHS2TEX_OPTS="$(LHS2TEX_OPTS_BASE) --unset=yesBeamer --unset=useHyperref --set=acm --set=storyExplImpl --set=hw05 --set=omitTBD --set=omitLitDiscuss" afp-bib
607
608 hw05-explimpl:
609 $(MAKE) AFP=$@ AFP_TEX_DPDS= LHS2TEX_OPTS="$(LHS2TEX_OPTS_BASE) --unset=yesBeamer --unset=useHyperref --set=acm --set=storyExplImpl --set=hw05 --set=withChangeBar --set=omitTBD --set=omitLitDiscuss" afp-bib
610
b2ede06 @atzedijkstra ruler2: work on listlike rules (unfinished), start with popl06, bit o…
atzedijkstra authored
611 icfp05-explimpl-tst:
612 $(MAKE) AFP=$@ AFP_TEX_DPDS= LHS2TEX_OPTS="$(LHS2TEX_OPTS_BASE) --unset=yesBeamer --unset=useHyperref --set=acm --set=storyExplImpl --set=icfp05 --set=omitTBD --set=omitLitDiscuss" afp
613
614 icfp05-explimpl:
615 $(MAKE) AFP=$@ AFP_TEX_DPDS= LHS2TEX_OPTS="$(LHS2TEX_OPTS_BASE) --unset=yesBeamer --unset=useHyperref --set=acm --set=storyExplImpl --set=icfp05 --set=asDraft --set=omitTBD --set=omitLitDiscuss" afp-bib
616
b761e95 @atzedijkstra UNSTABLE! (just for work backup), icfp paper, groundwork for new prov…
atzedijkstra authored
617 icfp05-explimpl-final:
618 $(MAKE) AFP=$@ AFP_TEX_DPDS= LHS2TEX_OPTS="$(LHS2TEX_OPTS_BASE) --unset=yesBeamer --unset=useHyperref --set=acm --set=storyExplImpl --set=icfp05 --set=omitTBD --set=omitLitDiscuss" afp-bib
194764b @atzedijkstra bug in perl example substitution script
atzedijkstra authored
619
132f842 @atzedijkstra first version of next version of 'ruler' for describing type rules, g…
atzedijkstra authored
620 icfp05-explimpl-slides:
621 $(MAKE) AFP=$@ AFP_TEX_DPDS= LHS2TEX_OPTS="$(LHS2TEX_OPTS_BASE) --set=yesBeamer --set=asSlides --set=storyExplImpl --set=icfp05 --set=omitTBD --set=omitLitDiscuss" afp
622
623 icfp05-slides-dist-tex:
624 $(MAKE) AFP=icfp05-slides-dist AFP_TEX_DPDS= LHS2TEX_OPTS="--set=yesBeamer --set=asSlides --set=storyExplImpl --set=icfp05 --set=omitTBD --set=omitLitDiscuss --set=dist" icfp05-slides-dist.tex
625
9ec898d @atzedijkstra proper subsumption for records (replacement for quick solution), prep…
atzedijkstra authored
626 esop05:
fc211ef @atzedijkstra work on afp AG tutorial programs + infrastructure
atzedijkstra authored
627 $(MAKE) AFP=$@ AFP_TEX_DPDS= LHS2TEX_OPTS="$(LHS2TEX_OPTS_BASE) --set=llncs --set=storyExplImpl --set=omitTBD --set=omitLitDiscuss" afp
904d807 @atzedijkstra to trunk
atzedijkstra authored
628
7018943 @atzedijkstra work on grin + ext recs + case
atzedijkstra authored
629 esop05-tr:
fc211ef @atzedijkstra work on afp AG tutorial programs + infrastructure
atzedijkstra authored
630 $(MAKE) AFP=$@ AFP_TEX_DPDS= LHS2TEX_OPTS="$(LHS2TEX_OPTS_BASE) --set=truu --set=storyExplImpl --set=omitTBD --set=omitLitDiscuss" afp-bib
7018943 @atzedijkstra work on grin + ext recs + case
atzedijkstra authored
631
ed05eaf @atzedijkstra rules for impl params
atzedijkstra authored
632 eh-work:
ab8cd03 @atzedijkstra ruler2, rules, eh9 changes
atzedijkstra authored
633 $(MAKE) AFP=$@ AFP_TEX_DPDS= AFP_RULES2_RULER_OPTS="--markchanges='*'" LHS2TEX_OPTS="$(LHS2TEX_OPTS_BASE) --set=onlyCurrentWork --unset=asArticle --set=refToPDF --set=inclOmitted" afp
904d807 @atzedijkstra to trunk
atzedijkstra authored
634
f4dc312 @atzedijkstra pred simplify (works for simple cases), prep for its use
atzedijkstra authored
635 phd:
fc211ef @atzedijkstra work on afp AG tutorial programs + infrastructure
atzedijkstra authored
636 $(MAKE) AFP=$@ AFP_TEX_DPDS= LHS2TEX_OPTS="$(LHS2TEX_OPTS_BASE) --set=storyPHD --unset=asArticle --set=refToPDF --set=inclOmitted" afp
f4dc312 @atzedijkstra pred simplify (works for simple cases), prep for its use
atzedijkstra authored
637
904d807 @atzedijkstra to trunk
atzedijkstra authored
638 afp-slides:
fc211ef @atzedijkstra work on afp AG tutorial programs + infrastructure
atzedijkstra authored
639 $(MAKE) AFP=$@ AFP_TEX_DPDS= LHS2TEX_POLY_MODE=--poly LHS2TEX_OPTS="$(LHS2TEX_OPTS) --set=storyPHD --set=asSlides --set=omitTBD --set=omitLitDiscuss" afp
6508a15 @atzedijkstra work on combi existentials, impredicativity propagation
atzedijkstra authored
640
641 eh-intro:
fc211ef @atzedijkstra work on afp AG tutorial programs + infrastructure
atzedijkstra authored
642 $(MAKE) AFP=$@ AFP_TEX_DPDS= LHS2TEX_POLY_MODE=--poly LHS2TEX_OPTS="$(LHS2TEX_OPTS) --set=storyEHIntro --set=asSlides --set=omitTBD --set=omitLitDiscuss" afp
904d807 @atzedijkstra to trunk
atzedijkstra authored
643
b761e95 @atzedijkstra UNSTABLE! (just for work backup), icfp paper, groundwork for new prov…
atzedijkstra authored
644 eh-introETAPSLinks:
645 $(MAKE) AFP=$@ AFP_TEX_DPDS= LHS2TEX_POLY_MODE=--poly LHS2TEX_OPTS="$(LHS2TEX_OPTS) --set=storyEHIntro --set=storyVariantETAPSLinks --set=asSlides --set=omitTBD --set=omitLitDiscuss" afp
646
132f842 @atzedijkstra first version of next version of 'ruler' for describing type rules, g…
atzedijkstra authored
647 .PHONY: shuffle ruler ruler2 brew ehcs dist www www-sync gri gris agprimer $(DIST_AFP04) $(DIST_ICFP05_SLIDES)
904d807 @atzedijkstra to trunk
atzedijkstra authored
648
649 shuffle: $(SHUFFLE)
650
651 $(SHUFFLE): $(SHUFFLE_DIR)/$(SHUFFLE_AG) $(wildcard lib/*.hs)
652 cd $(SHUFFLE_DIR) ; \
653 $(AGC) -csdfr --module=Main `basename $<` ; \
4546e3a @atzedijkstra work on impredicativity, adapt to ghc 6.4 (stricter module referencing)
atzedijkstra authored
654 $(GHC) --make $(GHC_OPTS) -i../lib $(SHUFFLE_HS) -o ../$@ ; \
904d807 @atzedijkstra to trunk
atzedijkstra authored
655 strip ../$@
656
657 $(SHUFFLE_DIR)/ShuffleDoc.tex: $(SHUFFLE)
658
659 $(SHUFFLE_DOC_PDF): $(SHUFFLE_DIR)/ShuffleDoc.tex
660 cd `dirname $<` ; pdflatex `basename $<`
661
662 ruler: $(RULER)
663
664 $(RULER): $(RULER_DIR)/$(RULER_AG) $(wildcard lib/*.hs)
665 cd $(RULER_DIR) ; \
666 $(AGC) -csdfr --module=Main `basename $<` ; \
4546e3a @atzedijkstra work on impredicativity, adapt to ghc 6.4 (stricter module referencing)
atzedijkstra authored
667 $(GHC) --make $(GHC_OPTS) -i../lib $(RULER_HS) -o ../$@ ; \
904d807 @atzedijkstra to trunk
atzedijkstra authored
668 strip ../$@
669
670 $(RULER_DOC_PDF): $(RULER_DIR)/RulerDoc.tex $(RULER)
671 cd `dirname $<` ; pdflatex `basename $<`
672
b2ede06 @atzedijkstra ruler2: work on listlike rules (unfinished), start with popl06, bit o…
atzedijkstra authored
673 #ruler2: $(RULER2)
674 #
675 #$(RULER2): $(RULER2_DIR)/$(RULER2_AG) $(wildcard lib/*.hs) $(addprefix $(RULER2_DIR)/,$(RULER2_HS) $(RULER2_AG_HS) $(RULER2_AG_INCLS))
676 # cd $(RULER2_DIR) ; \
677 # $(AGC) -csdfr --module=Main `basename $<` ; \
678 # $(GHC) --make $(GHC_OPTS) -i../lib $(RULER2_HS) $(RULER2_AG_HS) -o ../$@ ; \
679 # strip ../$@
132f842 @atzedijkstra first version of next version of 'ruler' for describing type rules, g…
atzedijkstra authored
680
681 $(RULER2_DOC_PDF): $(RULER2_DIR)/RulerDoc.tex $(RULER2)
682 cd `dirname $<` ; pdflatex `basename $<`
683
194764b @atzedijkstra bug in perl example substitution script
atzedijkstra authored
684 brew: $(BREW)
685
686 $(BREW): $(BREW_DIR)/$(BREW_AG) $(wildcard lib/*.hs)
687 cd $(BREW_DIR) ; \
688 $(AGC) -csdfr --module=Main `basename $<` ; \
4546e3a @atzedijkstra work on impredicativity, adapt to ghc 6.4 (stricter module referencing)
atzedijkstra authored
689 $(GHC) --make $(GHC_OPTS) -i../lib $(BREW_HS) -o ../$@ ; \
194764b @atzedijkstra bug in perl example substitution script
atzedijkstra authored
690 strip ../$@
691
692 $(BREW_DOC_PDF): $(BREW_DIR)/RulerDoc.tex $(BREW)
693 cd `dirname $<` ; pdflatex `basename $<`
694
26b48ce @atzedijkstra all versions compile, mostly working impredicativity propagation (wit…
atzedijkstra authored
695 ehcs: $(EHC_V1) $(EHC_V2) $(EHC_V3) $(EHC_V4) $(EHC_V5) $(EHC_V6) $(EHC_V7) $(EHC_V8) $(EHC_V9) $(EHC_V10)
904d807 @atzedijkstra to trunk
atzedijkstra authored
696
92d3ce8 @atzedijkstra impredicativity prop ok on type level, except ehc10, combi with coerc…
atzedijkstra authored
697 gris: $(GRI_V8) $(GRI_V9) $(GRI_V10)
92e9bd0 @atzedijkstra work on grin
atzedijkstra authored
698
904d807 @atzedijkstra to trunk
atzedijkstra authored
699 clean:
b2ede06 @atzedijkstra ruler2: work on listlike rules (unfinished), start with popl06, bit o…
atzedijkstra authored
700 $(MAKE) -C ruler2 $@ ; \
904d807 @atzedijkstra to trunk
atzedijkstra authored
701 rm -rf $(AFP_DERIV) $(SHUFFLE_DERIV) a.out \
702 $(addprefix $(SHUFFLE_DIR)/,*.o *.hi *.pdf) $(SHUFFLE) \
703 $(addprefix $(RULER_DIR)/,*.o *.hi *.pdf) $(RULER) \
132f842 @atzedijkstra first version of next version of 'ruler' for describing type rules, g…
atzedijkstra authored
704 $(addprefix $(RULER2_DIR)/,*.o *.hi *.pdf) $(RULER2) \
904d807 @atzedijkstra to trunk
atzedijkstra authored
705 $(AFP_PDF) \
fc211ef @atzedijkstra work on afp AG tutorial programs + infrastructure
atzedijkstra authored
706 *.o *.hi $(VERSIONS) $(D_BUILD) \
904d807 @atzedijkstra to trunk
atzedijkstra authored
707 test/*.reg* test/*.class *.class test/*.java test/*.code \
708 $(DIST_PREFIX)*.zip $(DIST_PREFIX)*.tgz \
709 20??????-ehc \
ed05eaf @atzedijkstra rules for impl params
atzedijkstra authored
710 $(WWW_SRC_ZIP) $(WWW_SRC_TGZ) $(WWW_DOC_PDF) \
904d807 @atzedijkstra to trunk
atzedijkstra authored
711 tmp-* \
712 *.log *.lof *.ilg *.out *.toc *.ind *.idx *.aux
713
714 clean-test:
715 rm -rf test/*.reg* test/*.exp*
716
717 edit:
132f842 @atzedijkstra first version of next version of 'ruler' for describing type rules, g…
atzedijkstra authored
718 bbedit \
719 $(EHC_CAG) $(EHC_CHS) $(addprefix $(GRI_SRC_PREFIX),$(GRI_CAG)) $(addprefix $(GRI_SRC_PREFIX),$(GRI_CHS)) \
720 $(ALL_AFP_SRC) afp.lsty afp.fmt \
b2ede06 @atzedijkstra ruler2: work on listlike rules (unfinished), start with popl06, bit o…
atzedijkstra authored
721 $(SHUFFLE_SRC) $(RULER_SRC) $(RULER2_AG_MAIN_SRC) $(RULER2_HS_SRC) \
132f842 @atzedijkstra first version of next version of 'ruler' for describing type rules, g…
atzedijkstra authored
722 Makefile \
723 $(TMPL_TEST) $(MK_EHFILES)
904d807 @atzedijkstra to trunk
atzedijkstra authored
724
725 A_EH_TEST := $(word 1,$(wildcard test/*.eh))
726 A_EH_TEST_EXP := $(addsuffix .exp$(VERSION_FIRST),$(A_EH_TEST))
727
728 tst:
729 echo $(VERSION_LAST)
730 echo $(A_EH_TEST_EXP)
731
732 initial-test-expect: $(A_EH_TEST_EXP)
733
734 $(A_EH_TEST_EXP): $(A_EH_TEST)
735 $(MAKE) test-expect
736
737 test-lists:
738 @cd test ; \
739 for v in $(VERSIONS) ; \
740 do \
741 ehs= ; \
1f88458 @atzedijkstra work on experimental solution for impredicativity propagation (EH 6_2)
atzedijkstra authored
742 vv=`echo $$v | sed -e 's/_[0-9]//'` ; \
743 for ((i = 1 ; i <= $${vv} ; i++)) ; do ehs="$$ehs `ls $${i}-*.eh`" ; done ; \
904d807 @atzedijkstra to trunk
atzedijkstra authored
744 echo "$$ehs" > $$v.lst ; \
745 done
746
747 TMPL_TEST := mk/templ-test-dist.mk
748 include $(TMPL_TEST)
749
750 # FILTER_EXISTS(files)
751 FILTER_EXISTS = \
752 for _f in $(1); do \
753 if test -r $$_f; then echo -n " $$_f"; fi \
754 done
755
756 # FILTER_EXISTS_HS_OR_AG(files)
757 FILTER_EXISTS_HS_OR_AG = \
758 for _f in $(1); do \
759 _b=`basename $$_f .hs` ; \
760 if test -r $$_f -o -r $$_b.ag; then echo -n " $$_f"; fi \
761 done
762
763 # MK_EHC_MKF_FOR(files,AG opts)
764 MK_EHC_MKF_FOR = \
765 echo ; \
766 echo -n "$(patsubst %.ag,%.hs,$(word 1,$(1))):" ; \
767 $(call FILTER_EXISTS,$(1)) ; \
768 echo ; \
769 echo " uuagc $(2) $$<"
770
771 # MK_EHC_MKF()
772 MK_EHC_MKF = \
773 ( echo "\# Generated for distribution $(DATE) (`date`)" ; \
774 echo ; \
0647c5a @atzedijkstra refreshing distribution
atzedijkstra authored
775 echo "all: $(EHC) $(GRI)" ; \
776 echo " @echo 'Type make test-regress to compare with expected test results'" ; \
777 echo ; \
904d807 @atzedijkstra to trunk
atzedijkstra authored
778 echo -n "$(EHC): $(EHC_MAIN).hs" ; \
779 $(call FILTER_EXISTS_HS_OR_AG,$(EHC_HS)) ; \
780 echo ; \
4546e3a @atzedijkstra work on impredicativity, adapt to ghc 6.4 (stricter module referencing)
atzedijkstra authored
781 echo " $(GHC) $(GHC_OPTS) --make -o $(EHC) $$<" ; \
0647c5a @atzedijkstra refreshing distribution
atzedijkstra authored
782 echo ; \
783 echo -n "$(GRI): $(GRI_MAIN).hs $(EHC)" ; \
784 $(call FILTER_EXISTS_HS_OR_AG,$(GRI_HS)) ; \
785 echo ; \
4546e3a @atzedijkstra work on impredicativity, adapt to ghc 6.4 (stricter module referencing)
atzedijkstra authored
786 echo " $(GHC) $(GHC_OPTS) --make -o $(GRI) $$<" ; \
0647c5a @atzedijkstra refreshing distribution
atzedijkstra authored
787 echo ; \
788 $(call MK_EHC_MKF_FOR,$(EHC_DPDS_CORE_GRIN),-cfspr) ; \
789 $(call MK_EHC_MKF_FOR,$(EHC_DPDS_CORE_JAVA),-cfspr) ; \
92e9bd0 @atzedijkstra work on grin
atzedijkstra authored
790 $(call MK_EHC_MKF_FOR,$(EHC_DPDS_CORE_PRETTY),-cfspr) ; \
0647c5a @atzedijkstra refreshing distribution
atzedijkstra authored
791 $(call MK_EHC_MKF_FOR,$(EHC_DPDS_CORE_SUBST),-cfspr) ; \
792 $(call MK_EHC_MKF_FOR,$(EHC_DPDS_CORE_TRF_CONSTPROP),-cfspr) ; \
92e9bd0 @atzedijkstra work on grin
atzedijkstra authored
793 $(call MK_EHC_MKF_FOR,$(EHC_DPDS_CORE_TRF_FULLAZY),-cfspr) ; \
0647c5a @atzedijkstra refreshing distribution
atzedijkstra authored
794 $(call MK_EHC_MKF_FOR,$(EHC_DPDS_CORE_TRF_INLLETALI),-cfspr) ; \
92e9bd0 @atzedijkstra work on grin
atzedijkstra authored
795 $(call MK_EHC_MKF_FOR,$(EHC_DPDS_CORE_TRF_LAMLIFT),-cfspr) ; \
796 $(call MK_EHC_MKF_FOR,$(EHC_DPDS_CORE_TRF_LETUNREC),-cfspr) ; \
0647c5a @atzedijkstra refreshing distribution
atzedijkstra authored
797 $(call MK_EHC_MKF_FOR,$(EHC_DPDS_CORE_TRF_RENUNQ),-cfspr) ; \
798 $(call MK_EHC_MKF_FOR,$(EHC_DPDS_CORE),-dr) ; \
799 $(call MK_EHC_MKF_FOR,$(EHC_DPDS_ERR_PRETTY),-cfspr) ; \
800 $(call MK_EHC_MKF_FOR,$(EHC_DPDS_ERR),-dr) ; \
92e9bd0 @atzedijkstra work on grin
atzedijkstra authored
801 $(call MK_EHC_MKF_FOR,$(EHC_DPDS_GRIN_CODE_PRETTY),-cfspr) ; \
0647c5a @atzedijkstra refreshing distribution
atzedijkstra authored
802 $(call MK_EHC_MKF_FOR,$(EHC_DPDS_GRIN_CODE),-dr) ; \
803 $(call MK_EHC_MKF_FOR,$(EHC_DPDS_MAIN),-dcfspr) ; \
804 $(call MK_EHC_MKF_FOR,$(EHC_DPDS_TY_FTV),-cfspr) ; \
805 $(call MK_EHC_MKF_FOR,$(EHC_DPDS_TY_INST),-cfspr) ; \
806 $(call MK_EHC_MKF_FOR,$(EHC_DPDS_TY_PRETTY),-cfspr) ; \
807 $(call MK_EHC_MKF_FOR,$(EHC_DPDS_TY_QUANT),-cfspr) ; \
808 $(call MK_EHC_MKF_FOR,$(EHC_DPDS_TY_SUBST),-cfspr) ; \
fdcbbfd @atzedijkstra interim, for svn changes
atzedijkstra authored
809 $(call MK_EHC_MKF_FOR,$(EHC_DPDS_TY_ELIMB),-cfspr) ; \
6508a15 @atzedijkstra work on combi existentials, impredicativity propagation
atzedijkstra authored
810 $(call MK_EHC_MKF_FOR,$(EHC_DPDS_TY_ELIMBOTH),-cfspr) ; \
cf3ea75 @atzedijkstra bit on gadt, start with 2nd try on impredicativity
atzedijkstra authored
811 $(call MK_EHC_MKF_FOR,$(EHC_DPDS_TY_ELIMEQUAL),-cfspr) ; \
b42d4fe @atzedijkstra impredicativity propagation works with '::' (pattern+normal) expr's
atzedijkstra authored
812 $(call MK_EHC_MKF_FOR,$(EHC_DPDS_TY_FRESHVAR),-cfspr) ; \
0647c5a @atzedijkstra refreshing distribution
atzedijkstra authored
813 $(call MK_EHC_MKF_FOR,$(EHC_DPDS_TY),-dr) ; \
814 $(call MK_EHC_MKF_FOR,$(GRI_DPDS_GRI),-dcfspr) ; \
815 $(call MK_EHC_MKF_FOR,$(GRI_DPDS_GRIN_CODE_SETUP),-cfspr) ; \
904d807 @atzedijkstra to trunk
atzedijkstra authored
816 ) > Makefile
817
ed05eaf @atzedijkstra rules for impl params
atzedijkstra authored
818 dist: $(DIST_ZIP)
819
820 $(DIST_TGZ): $(DIST_ZIP)
904d807 @atzedijkstra to trunk
atzedijkstra authored
821
92e9bd0 @atzedijkstra work on grin
atzedijkstra authored
822 $(DIST_ZIP): $(addprefix $(VERSION_LAST)/,$(EHC_DPDS_ALL_MIN_TARG)) Makefile test-lists $(TMPL_TEST)
904d807 @atzedijkstra to trunk
atzedijkstra authored
823 @rm -rf $(DIST) ; \
824 mkdir -p $(addprefix $(DIST)/,$(VERSIONS)) $(addsuffix /test,$(addprefix $(DIST)/,$(VERSIONS))) ; \
825 for v in $(VERSIONS) ; do \
826 echo "== version $$v ==" ; \
827 for f in $$v/*.hs $$v/*.ag ; do \
828 sz=`wc -l $$f | awk '{print $$1}'` ; \
829 bhs=`basename $$f .hs` ; \
830 if test $$sz -gt 0 -a ! -r $$v/$$bhs.ag ; then \
831 $(SUBST_LINE_CMT) < $$f > $(DIST)/$$f ; \
832 fi \
833 done ; \
834 cd test ; \
835 cp `cat $$v.lst` ../$(DIST)/$$v/test ; \
836 cp `cat $$v.lst | sed -e 's/\.eh/&.exp*/g'` ../$(DIST)/$$v/test ; \
837 cd .. ; \
838 pwd=`pwd` ; \
839 cd $(DIST)/$$v ; \
840 $(call MK_EHC_MKF) ; \
841 ( echo ; \
842 sed \
843 -e "s/\$$(VERSIONS)/$$v/g" \
844 -e "s/test-lists//g" \
845 -e "s,\$$\$$v/\$$(EHC),$(EHC),g" \
0647c5a @atzedijkstra refreshing distribution
atzedijkstra authored
846 -e "s,\$$\$$v/\$$(GRI),$(GRI),g" \
904d807 @atzedijkstra to trunk
atzedijkstra authored
847 -e "s/\`cat \$$\$$v.lst\`/*.eh/g" \
0647c5a @atzedijkstra refreshing distribution
atzedijkstra authored
848 -e "s,\$$(CORE_TARG),$(CORE_TARG),g" \
904d807 @atzedijkstra to trunk
atzedijkstra authored
849 -e "s,\$$(INDENT2),$(INDENT2),g" \
850 -e "s,\$$(INDENT4),$(INDENT4),g" \
851 -e "s/\$$\$$v/$$v/g" \
852 -e "s/\$$\$${v}/$$v/g" \
853 < ../../$(TMPL_TEST) ; \
854 ) >> Makefile ; \
855 cd $$pwd ; \
856 done ; \
857 echo "== zip ==" ; \
858 tar cfz $(DIST_TGZ) $(DIST) ; \
859 echo "== tar ==" ; \
860 zip -qur $(DIST_ZIP) $(DIST)
861
132f842 @atzedijkstra first version of next version of 'ruler' for describing type rules, g…
atzedijkstra authored
862 dist-icfp05-slides: icfp05-slides-dist-tex
863 @rm -rf $(DIST_ICFP05_SLIDES) ; \
864 mkdir -p $(DIST_ICFP05_SLIDES) ; \
865 cp rules*.tex afp-pgf.tex $(DIST_ICFP05_SLIDES) ; \
866 cp icfp05-explimpl-slides.tex $(DIST_ICFP05_SLIDES)/icfp05-explimpl-slides.tex ; \
867 cp -r tmp-icfp05-explimpl-slides figs $(DIST_ICFP05_SLIDES) ; \
868 cp $(addsuffix .sty,icfp05-explimpl-slides doubleequals infrule beamerthemeafp kscode textpos) llncs.cls $(DIST_ICFP05_SLIDES) ; \
869 tar cfz $(DIST_ICFP05_SLIDES).tgz $(DIST_ICFP05_SLIDES)
870
c9de377 @atzedijkstra as submitted for afp04 llncs notes
atzedijkstra authored
871 dist-afp04: afp04-dist-tex
872 @rm -rf $(DIST_AFP04) ; \
873 mkdir -p $(DIST_AFP04) ; \
874 latex --jobname afp04 afp04 ; \
875 cp $(addprefix afp04.,pdf dvi aux toc) rules.tex afp-pgf.tex $(DIST_AFP04) ; \
876 cp afp04-dist.tex $(DIST_AFP04)/afp04.tex ; \
877 cp -r tmp-afp04 figs $(DIST_AFP04) ; \
878 cp $(addsuffix .sty,afp04 doubleequals infrule beamerthemeafp kscode textpos) llncs.cls $(DIST_AFP04) ; \
879 cp $(addprefix /Volumes/Apps/Install/LaTeX/,latex-beamer-2.21.tar.gz pgf-0.62.tar.gz xcolor-2.00.tar.gz xkeyval.tar.gz) $(DIST_AFP04) ; \
880 cp /Volumes/Apps/Install/lhs2TeX/lhs2tex-1.9.tar.bz2 $(DIST_AFP04) ; \
881 cp -r /Volumes/Work/Library/texmf $(DIST_AFP04) ; \
882 cp -r /usr/local/share/lhs2tex/lhs2TeX.sty $(DIST_AFP04) ; \
883 tar cfz $(DIST_AFP04).tgz $(DIST_AFP04)
884
904d807 @atzedijkstra to trunk
atzedijkstra authored
885 wc:
886 grep frametitle $(AFP_LHS) | wc
6508a15 @atzedijkstra work on combi existentials, impredicativity propagation
atzedijkstra authored
887 wc $(EHC_CAG) $(EHC_CHS)
904d807 @atzedijkstra to trunk
atzedijkstra authored
888
543bd12 @atzedijkstra eh 10 (ext recs + grin + coerce) works
atzedijkstra authored
889 WWW_EXAMPLES_TMPL := www/ehc-examples-templ.html
ccaf1f6 @atzedijkstra first partial working ext recs + case + grin
atzedijkstra authored
890 WWW_EXAMPLES_HTML := www/ehc-examples.html
891
892 www-ex: $(WWW_EXAMPLES_HTML)
904d807 @atzedijkstra to trunk
atzedijkstra authored
893
0647c5a @atzedijkstra refreshing distribution
atzedijkstra authored
894 www: $(WWW_SRC_ZIP) $(WWW_SRC_TGZ) www-ex # $(WWW_DOC_PDF)
ccaf1f6 @atzedijkstra first partial working ext recs + case + grin
atzedijkstra authored
895
896 www/DoneSyncStamp: www-ex
904d807 @atzedijkstra to trunk
atzedijkstra authored
897 (date; echo -n ", " ; svn up) > www/DoneSyncStamp ; \
898 rsync --progress -azv -e ssh www/* atze@modena.cs.uu.nl:/users/www/groups/ST/Projects/ehc
899
900 www-sync: www/DoneSyncStamp
901
ccaf1f6 @atzedijkstra first partial working ext recs + case + grin
atzedijkstra authored
902 $(WWW_EXAMPLES_HTML): $(WWW_EXAMPLES_TMPL)
903 $(call PERL_SUBST_EHC,$(WWW_EXAMPLES_TMPL),$(WWW_EXAMPLES_HTML))
904
904d807 @atzedijkstra to trunk
atzedijkstra authored
905 $(WWW_SRC_ZIP): $(DIST_ZIP)
906 cp $< $@
907
ed05eaf @atzedijkstra rules for impl params
atzedijkstra authored
908 $(WWW_SRC_TGZ): $(DIST_TGZ)
909 cp $< $@
910
904d807 @atzedijkstra to trunk
atzedijkstra authored
911 $(WWW_DOC_PDF): $(AFP_PDF)
912 cp $< $@
913
Something went wrong with that request. Please try again.