diff options
Diffstat (limited to 'src')
| -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 6ee0e963..f408703f 100644 --- a/src/myocamlbuild.ml +++ b/src/myocamlbuild.ml @@ -66,10 +66,7 @@ let split ch s = go s (* paths relative to _build *) -let lem_dir = - try Sys.getenv "LEM_DIR" (* LEM_DIR must contain an absolute path *) - with Not_found -> "../../../lem" ;; -let lem = lem_dir / "lem" ;; +let lem = "lem" ;; (* All -wl ignores should be removed if you want to see the pattern compilation, exhaustive, and unused var warnings *) let lem_opts = [A "-lib"; P "../gen_lib"; |