blob: 6a101c41e8e91e289b9c7f63b71af3bb108e9720 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
native:
ocamlbuild -r -tags annot,bin_annot,rectypes -libs nums,unix -no-hygiene lfsctosmtcoq.native
byte:
ocamlbuild -r -tags annot,bin_annot,rectypes -libs nums,unix -no-hygiene lfsctosmtcoq.d.byte
prof:
ocamlbuild -r -tags annot,bin_annot,profile,rectypes -tag profile -libs nums,unix -no-hygiene lfsctosmtcoq.native
clean:
ocamlbuild -clean
rm *.cm* *.o *.ml*.d lfscLexer.ml lfscParser.mli lfscParser.ml
|