blob: f8858e31080aa21f1738f76947ee4fc3e2c583db (
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
|
#OTTLIB=/Users/sowens/ott/hol
OTTLIB=$(dir $(shell which ott))../hol
all: l2.pdf
l2.pdf: l2.tex
pdflatex l2.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 l2.ml -o l2Script.sml -picky_multiple_parses true l2.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.sys l2 library/lib_cache
|
