From c50611790812ba94c052ec51364e13d773d5c64a Mon Sep 17 00:00:00 2001
From: Jason Gross <jagro@google.com>
Date: Thu, 30 Aug 2018 20:56:50 -0400
Subject: Improve documentation of binaries

---
 Makefile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 92de63668..8a3f2cac4 100644
--- a/Makefile
+++ b/Makefile
@@ -545,8 +545,9 @@ $(STANDALONE:%=src/Experiments/NewPipeline/ExtractionHaskell/%.hs) : %.hs : %.v
 	$(HIDE)$(TIMER_FULL) $(COQC) $(COQDEBUG) $(COQFLAGS) $(COQLIBS) $< > $@.tmp
 	$(HIDE)sed 's/\r\n/\n/g; s/\r//g' $@.tmp | sed -f src/Experiments/NewPipeline/haskell.sed > $@ && rm -f $@.tmp
 
+# pass -w -20 to disable the unused argument warning
 $(STANDALONE:%=src/Experiments/NewPipeline/ExtractionOCaml/%) : % : %.ml
-	$(TIMER_FULL) ocamlopt -o $@ $<
+	$(TIMER_FULL) ocamlopt -w -20 -o $@ $<
 
 $(STANDALONE:%=src/Experiments/NewPipeline/ExtractionHaskell/%) : % : %.hs
 	$(TIMER_FULL) $(GHC) $(GHCFLAGS) -o $@ $<
-- 
cgit v1.2.3