diff options
| author | Robert Norton | 2018-04-26 13:25:35 +0100 |
|---|---|---|
| committer | Robert Norton | 2018-04-26 13:25:35 +0100 |
| commit | ae12f0feb0978eb1f511482293b1d1a20fb04ee4 (patch) | |
| tree | c13452b4e9b2dd4c5db4946912979c5d8f00c65d /src | |
| parent | df13578f590badfb73fb3c62e045af15fa1a9573 (diff) | |
Make ocamlbuild assume lem is in path instead of relative to current directory.
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"; |
