Silence some lem warnings in compilation.

2 files changed, 10 insertions, 1 deletions

diff --git a/Makefile b/Makefile
index c7662ff5..f74e1d61 100644
--- a/Makefile
+++ b/Makefile
@@ -14,5 +14,8 @@ test:
 power: 
 	$(MAKE) -C src power
 
+test_power_interactive:
+	$(MAKE) -C src test_power_interactive
+
 clean:
 	$(MAKE) -C src clean
diff --git a/src/myocamlbuild.ml b/src/myocamlbuild.ml
index 01171838..015aaf0c 100644
--- a/src/myocamlbuild.ml
+++ b/src/myocamlbuild.ml
@@ -30,7 +30,13 @@ 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"] ;;
+(* 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 "../lem_interp";
+                A "-wl_pat_comp"; P "ign"; 
+                A "-wl_pat_exh";  P "ign"; 
+                A "-wl_pat_fail"; P "ign";
+                A "-wl_unused_vars";   P "ign";
+] ;;
 
 dispatch begin function
 | After_rules ->