diff options
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 |