blob: f8d4d05d2f80585ce9e02c510596130f14309eb9 (
plain)
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
|
OTTLIB=$(dir $(shell which ott))../hol
all: l2.pdf l2_parse.pdf parse_ast.ml
l2.pdf: l2.tex
pdflatex l2.tex
l2_parse.pdf: l2_parse.tex
pdflatex l2_parse.tex
l2Theory.uo: l2Script.sml
Holmake --qof -I $(OTTLIB) l2Theory.uo
l2.tex ../src/ast.ml l2Script.sml: l2.ott
ott -sort false -generate_aux_rules false -o l2.tex -picky_multiple_parses true l2.ott
ott -sort false -generate_aux_rules true -ocaml_include_terminals true -o ../src/ast.ml -o l2Script.sml -picky_multiple_parses true l2.ott
l2_parse.tex parse_ast.ml ../src/parse_ast.ml: l2_parse.ott
ott -sort false -generate_aux_rules false -o l2_parse.tex -picky_multiple_parses true l2_parse.ott
ott -sort false -generate_aux_rules true -ocaml_include_terminals true -o ../src/parse_ast.ml -picky_multiple_parses true l2_parse.ott
# rm -f ../src/ast.ml
# chmod a-w ../src/ast.ml
l2.lem: l2.ott
ott -o l2.lem -picky_multiple_parses true l2.ott
clean:
rm -rf *~
-rm -rf *.uo *.ui l2Theory.sig l2Theory.sml l2.tex l2Script.sml l2.aux l2.log l2.dvi l2.ps l2_unwrapped.tex .HOLMK l2.ml
#l2.sys l2 library/lib_cache
|
