diff options
| author |  Jason Gross <jagro@google.com> | 2018-08-30 20:56:50 -0400 |
|---|---|---|
| committer |  Jason Gross <jasongross9@gmail.com> | 2018-09-11 20:32:40 -0400 |
| commit | c50611790812ba94c052ec51364e13d773d5c64a (patch) | |
| tree | edf0e563da28a0a78ec1e9ca6642b698c2181e83 /Makefile | |
| parent | dba6f4d96de43f461c12111f6827065472fe6cad (diff) | |
Improve documentation of binaries
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -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 $@ $< |