diff options
Diffstat (limited to 'src/lfsc/Makefile')
| -rw-r--r-- | src/lfsc/Makefile | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/src/lfsc/Makefile b/src/lfsc/Makefile new file mode 100644 index 0000000..6a101c4 --- /dev/null +++ b/src/lfsc/Makefile @@ -0,0 +1,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 |