diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/META | 6 | ||||
| -rw-r--r-- | src/Makefile | 3 | ||||
| -rw-r--r-- | src/libsail.mllib | 57 |
3 files changed, 65 insertions, 1 deletions
diff --git a/src/META b/src/META new file mode 100644 index 00000000..80194d98 --- /dev/null +++ b/src/META @@ -0,0 +1,6 @@ +# META file of package sail: +description = "Sail is a language for describing the instruction-set architecture (ISA) semantics of processors." +requires = "linenoise lem linksem omd base64 yojson" +version = "0.8" +archive(byte) = "libsail.cma" +archive(native) = "libsail.cmxa" diff --git a/src/Makefile b/src/Makefile index abf49423..146addbe 100644 --- a/src/Makefile +++ b/src/Makefile @@ -103,7 +103,8 @@ sail: ast.ml bytecode.ml manifest.ml ocamlbuild -use-ocamlfind sail.native sail_lib.cma sail_lib.cmxa isail: ast.ml bytecode.ml manifest.ml - ocamlbuild -use-ocamlfind isail.native + ocamlbuild -use-ocamlfind isail.native sail_lib.cma sail_lib.cmxa libsail.cma libsail.cmxa + coverage: ast.ml bytecode.ml manifest.ml BISECT_COVERAGE=YES ocamlbuild -use-ocamlfind -plugin-tag 'package(bisect_ppx-ocamlbuild)' isail.native diff --git a/src/libsail.mllib b/src/libsail.mllib new file mode 100644 index 00000000..c85ddba3 --- /dev/null +++ b/src/libsail.mllib @@ -0,0 +1,57 @@ +Anf +Ast +Ast_util +Bitfield +Bytecode +Bytecode_interpreter +Bytecode_util +C_backend +Cgen_backend +Constant_fold +Constraint +Elf_loader +Error_format +Graph +Initial_check +Interactive +Interpreter +Isail +Latex +Lexer +Manifest +Monomorphise +Nl_flow +Ocaml_backend +Optimize +Parse_ast +Parser +Pattern_completeness +PPrint +PPrintCombinators +PPrintEngine +PPrintRenderer +PPrintOCaml +Pretty_print +Pretty_print_common +Pretty_print_coq +Pretty_print_lem +Pretty_print_sail +Process_file +Profile +Reporting +Rewriter +Rewrites +Sail +Sail2_values +Sail_lib +Scattered +Share_directory +Spec_analysis +Specialize +State +ToFromInterp_backend +ToFromInterp_lib +Type_check +Type_error +Util +Value |