diff options
| author | Alasdair Armstrong | 2018-01-08 16:59:27 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-01-11 20:42:07 +0000 |
| commit | f12a3b5ea9d541163f277ad5e40a005b8b955512 (patch) | |
| tree | 1d75867954da09632dd3eb4b771d22cb73e3bfcb /src/myocamlbuild.ml | |
| parent | 9f99b67e3009f0a40a0a14cde3201f2d7839efbd (diff) | |
Ocaml semantics can now run aarch64 hello world example using octapod
New testcase for bitfield syntax
Updated to work with latest lem and linksem
Diffstat (limited to 'src/myocamlbuild.ml')
| -rw-r--r-- | src/myocamlbuild.ml | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/src/myocamlbuild.ml b/src/myocamlbuild.ml index 1babc1c9..ae58f7b2 100644 --- a/src/myocamlbuild.ml +++ b/src/myocamlbuild.ml @@ -69,8 +69,6 @@ let split ch s = let lem_dir = try Sys.getenv "LEM_DIR" (* LEM_DIR must contain an absolute path *) with Not_found -> "../../../lem" ;; -let lem_libdir = lem_dir / "ocaml-lib" / "_build_zarith";; -let lem_lib = lem_libdir / "extract" ;; let lem = lem_dir / "lem" ;; (* All -wl ignores should be removed if you want to see the pattern compilation, exhaustive, and unused var warnings *) @@ -85,9 +83,8 @@ let lem_opts = [A "-lib"; P "../lem_interp"; dispatch begin function | After_rules -> (* ocaml_lib "lem_interp/interp"; *) - ocaml_lib ~extern:true ~dir:lem_libdir ~tag_name:"use_lem" lem_lib; ocaml_lib ~extern:false ~dir:"pprint/src" ~tag_name:"use_pprint" "pprint/src/PPrintLib"; - + rule "lem -> ml" ~prod: "%.ml" ~dep: "%.lem" |