diff options
| author | Gabriel Kerneis | 2013-11-11 10:25:37 +0000 |
|---|---|---|
| committer | Gabriel Kerneis | 2013-11-11 10:25:37 +0000 |
| commit | 4e005a7065f88fb2ba4888c51dc8c0508d867e3f (patch) | |
| tree | 97ff3f0af8ee6df1c7b18ad842e766e7678d8c17 /src/myocamlbuild.ml | |
| parent | b644c12a4b4e80120772b7379fbadf211825fc31 (diff) | |
| parent | 2c7bf65b9c256a0d9bc3e4a5dfdeb3c208da2d61 (diff) | |
Merge branch 'new-lem-lib'
Diffstat (limited to 'src/myocamlbuild.ml')
| -rw-r--r-- | src/myocamlbuild.ml | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/src/myocamlbuild.ml b/src/myocamlbuild.ml index fae690db..efb87821 100644 --- a/src/myocamlbuild.ml +++ b/src/myocamlbuild.ml @@ -17,6 +17,9 @@ let lem_deps = List.map ((/) "lem_interp") [ ] ;; let lem_opts = List.fold_right (fun s l -> [A "-i"; P s] @ l) lem_deps [] ;; +(* New library magic: *) +let lem_opts = [A "-lib"; P "../lem_interp"] ;; + dispatch begin function | After_rules -> (* ocaml_lib "lem_interp/interp"; *) @@ -24,10 +27,11 @@ dispatch begin function rule "lem -> ml" ~prod: "%.ml" - ~deps: ("%.lem" :: lem_deps) + ~dep: "%.lem" (fun env builder -> Seq [ Cmd (S ([ P lem] @ lem_opts @ [ A "-ocaml"; P (env "%.lem") ])); - mv (basename (env "%.ml")) (dirname (env "%.ml")) + (* XXX should be unnecessary with new lem + * mv (basename (env "%.ml")) (dirname (env "%.ml")) *) ]); rule "sail -> lem" |