Repository navigation
Expand file tree
/
Copy pathMakefile
More file actions
57 lines (43 loc) · 1.91 KB
/
Copy pathMakefile
File metadata and controls
57 lines (43 loc) · 1.91 KB
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
all: tests LvInterpreter.pdf DemoLvInterpreter.pdf
DemoLvInterpreter.pdf: DemoLvInterpreter.tex
pdflatex DemoLvInterpreter.tex
DemoLvInterpreter.tex: DemoLvInterpreter.lhs Lv_format.lhs demo/*.hs
cpp -traditional DemoLvInterpreter.lhs | grep -v "^#" | ~/.cabal/bin/lhs2TeX > DemoLvInterpreter.tex
LvInterpreter.pdf: LvInterpreter.tex
pdflatex LvInterpreter.tex
LvInterpreter.tex: LvInterpreter.in.lhs Lv_format.lhs
rm -f LvInterpreter.lhs
lua cut_comments.lua --lhs2tex < LvInterpreter.in.lhs > LvInterpreter.lhs
~/.cabal/bin/lhs2TeX LvInterpreter.lhs > LvInterpreter.tex; err=$$?; rm LvInterpreter.lhs; exit $$err
DemoLvInterpreter: DemoLvInterpreter.lhs LvInterpreter.in.lhs
rm -f LvInterpreter.lhs
cp LvInterpreter.in.lhs LvInterpreter.lhs
rm -f LvInterpreter.o LvInterpreter.hi DemoLvInterpreter.o DemoLvInterpreter.hi
ghc -o DemoLvInterpreter -I. -cpp DemoLvInterpreter.lhs; err=$$?; rm LvInterpreter.lhs; exit $$err
DemoLvInterpreter_nodebug: DemoLvInterpreter.lhs LvInterpreter.in.lhs
rm -f LvInterpreter.lhs
lua cut_comments.lua < LvInterpreter.in.lhs > LvInterpreter.lhs
rm -f LvInterpreter.o LvInterpreter.hi DemoLvInterpreter.o DemoLvInterpreter.hi
ghc -o DemoLvInterpreter -I. -cpp DemoLvInterpreter.lhs; err=$$?; rm LvInterpreter.lhs; exit $$err
lv: lv.hs
ghc -o lv lv.hs
lhs_lines: DemoLvInterpreter
./DemoLvInterpreter 2>/dev/null > lhs_lines
hs_lines: LvInterpreter_hs
./lv 2>/dev/null > hs_lines
tests:
./run_tests.sh
diff_ok: works.txt lhs_lines
diff works.txt lhs_lines > diff_ok
[ `stat -c '%s' diff_ok` = 0 ] || { touch lhs_lines; exit 1; }
#diff_ok: hs_lines lhs_lines
# diff hs_lines lhs_lines > diff_ok
# [ `stat -c '%s' diff_ok` = 0 ]
DemoLvInterpreter.mp4: DemoLvInterpreter
./make_graph.sh DemoLvInterpreter
clean:
rm -f lv.hi lv.o lv LvInterpreter DemoLvInterpreter
rm -f graph/graph-*$(FORMAT)
rm -f graph/graph-*dot
rm -f LvInterpreter.tex
rm -f LvInterpreter.pdf DemoLvInterpreter.pdf