diff options
| author | Alasdair Armstrong | 2017-10-25 14:12:50 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-10-25 14:20:16 +0100 |
| commit | c432deec5454a073c645352d9dec674be28fa568 (patch) | |
| tree | 41880495556b53e5dc70a87eab13443c4443c21c /src/Makefile | |
| parent | c4fafd80d816fd06a4091c217c43e232ac9a8706 (diff) | |
Generate ast.ml from ott file and update makefile.
Fix until loop not being counted as sugar
Diffstat (limited to 'src/Makefile')
| -rw-r--r-- | src/Makefile | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/src/Makefile b/src/Makefile index d0001868..d1e29d06 100644 --- a/src/Makefile +++ b/src/Makefile @@ -49,15 +49,18 @@ all: sail lib doc full: sail lib power doc test -sail: +ast.ml: ast.ott + ott -sort false -generate_aux_rules true -o ast.ml -picky_multiple_parses true ast.ott + +sail: ast.ml ocamlbuild sail.native sail.native: sail -sail.byte: +sail.byte: ocamlbuild -cflag -g sail.byte -interpreter: +interpreter: ocamlbuild lem_interp/extract.cmxa ocamlbuild lem_interp/extract.cma @@ -238,6 +241,7 @@ clean: -rm -rf tex-doc -rm -rf lem lib -rm -rf sail.docdir + -rm -f ast.ml doc: ocamlbuild sail.docdir/index.html |