formatting in mkfile
[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 
13 old:V: popl-index.bitly
14 bib:V: $TGT.bbl
15 bibfile:V: $TGT.bib
16 dvi:V: $TGT.dvi
17 pdf:V: $TGT.pdf
18 ps:V: $TGT.ps
19 bbl:V: bib
20 xdvi:V: $TGT.dvi
21         sht=`xwininfo -root | awk '$1 == "Height:" { print $2 }'`
22         swd=`xwininfo -root | awk '$1 == "Width:"  { print $2 }'`
23     swd=`expr $swd - 120` # more room
24         xdvi -s 5 -geometry =$(expr $swd / 2)x$(expr $sht - 20)+78+2 $prereq
25
26
27 tag:VQ: $TGT.tex
28         tag=`$HOME/bin/md5words $prereq | tr -d "'" | tr -cs a-zA-Z0-9 - | sed s/-*$//`
29         echo git tag $tag
30         git tag $tag
31
32 dfopt.dvi: dfopt.bbl code.sty timestamp.tex dfoptdu.tex cprop.tex comb1.tex iterf.tex pairf.tex dg.tex
33
34 dfoptdu.tex: cprop.tex comb1.tex iterf.tex pairf.tex dg.tex
35
36 $TGT.pdf: $TGT.dvi
37         dvips -Ppdf -o"|ps2pdf - $target" -pp 1-$LASTPAGE $prereq
38
39 supplement.pdf: $TGT.dvi
40         dvips -Ppdf -o"|ps2pdf - $target" -pp 13- $prereq
41
42 $HOME/www/drop/popl-index.pdf: $TGT.dvi
43         dvips -Ppdf -o "|ps2pdf - $target" -pp 13- $prereq
44
45 timestamp.tex: $TGT.tex
46         date=`stat -c "%y" $prereq`
47         signature=""
48         if [ -x $HOME/bin/md5words ]; then
49           words="`md5words $prereq`"
50       signature=" [MD5: \\mbox{$words}]"
51     else
52       words="(could not compute signature words)"
53         fi
54         date -d "$date" "+\def\mdfivestamp{\\rlap{\\textbf{%a %e %b %Y, %l:%M %p$signature}}}\def\mdfivewords{$words}" > $target
55
56
57
58 %du.tex:D: defuse %.tex hsprelude
59         [ -r "$target" ] && chmod +w $target
60         ./defuse < $stem.tex > $target
61         chmod -w $target
62
63
64 CLIENT=../testing
65 CPROPS=ConstProp Simplify Test
66
67 cprop.tex:D: ./xsource ${CPROPS:%=$CLIENT/%.hs}
68         lua $prereq > $target
69
70 HOOPL=../src/Compiler/Hoopl
71
72 comb1.tex iterf.tex pairf.tex:D: ./xsource $HOOPL/Combinators.hs
73         lua $prereq
74
75 dfopt.dvi: fptype.tex bodyfun.tex
76
77 dfoptdu.tex: bodyfun.tex fptype.tex
78
79 bodyfun.tex fptype.tex dg.tex:D: ./xsource $HOOPL/Dataflow.hs
80         lua ./xsource -4 $HOOPL/Dataflow.hs