Cleaned up combinator examples for the paper.
[packages/hoopl.git] / paper / mkfile
1 <./latex.mk
2 <./spell.mk
3 <./bbl.$USER.mk
4 <./bitly.$USER.mk
5
6
7 LASTPAGE=12  # use this for submission
8 LASTPAGE=
9
10 TGT=dfopt
11
12 all:V: $TGT.pdf supplement.pdf $TGT.ps popl-index.bitly
13 bib:V: $TGT.bbl
14 bibfile:V: $TGT.bib
15 dvi:V: $TGT.dvi
16 pdf:V: $TGT.pdf
17 bbl:V: bib
18
19 tag:VQ: $TGT.tex
20         tag=`$HOME/bin/md5words $prereq | tr -d "'" | tr -cs a-zA-Z0-9 - | sed s/-*$//`
21         echo git tag $tag
22         git tag $tag
23
24 dfopt.dvi: dfopt.bbl code.sty timestamp.tex dfoptdu.tex cprop.tex comb1.tex iterf.tex
25
26 $TGT.pdf: $TGT.dvi
27         dvips -Ppdf -o"|ps2pdf - $target" -pp 1-$LASTPAGE $prereq
28
29 supplement.pdf: $TGT.dvi
30         dvips -Ppdf -o"|ps2pdf - $target" -pp 13- $prereq
31
32 $HOME/www/drop/popl-index.pdf: $TGT.dvi
33         dvips -Ppdf -o "|ps2pdf - $target" -pp 13- $prereq
34
35 timestamp.tex: $TGT.tex
36         date=`stat -c "%y" $prereq`
37         signature=""
38         if [ -x $HOME/bin/md5words ]; then
39           words="`md5words $prereq`"
40           signature=" [MD5: \\mbox{$words}]"
41         else
42           words="(could not compute signature words)"
43         fi
44         date -d "$date" "+\def\mdfivestamp{\\rlap{\\textbf{%a %e %b %Y, %l:%M %p$signature}}}\def\mdfivewords{$words}" > $target
45
46
47
48 %du.tex:D: defuse %.tex hsprelude
49         [ -r "$target" ] && chmod +w $target
50         ./defuse < $stem.tex > $target
51         chmod -w $target
52
53
54 CLIENT=../testing
55 CPROPS=ConstProp Simplify Test
56
57 cprop.tex:D: ./xsource ${CPROPS:%=$CLIENT/%.hs}
58         lua $prereq > $target
59
60 HOOPL=../src/Compiler/Hoopl
61
62 comb1.tex iterf.tex:D: ./xsource $HOOPL/Combinators.hs
63         lua $prereq > $target