From 014f41c1640e67f550c8cacd5e0c66801db61d70 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Tue, 19 Jun 2018 21:08:13 -0400 Subject: Be more aggressive about removing \r --- Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 9dfbb75c3..16ad4751f 100644 --- a/Makefile +++ b/Makefile @@ -469,12 +469,12 @@ STANDALONE := \ $(STANDALONE:%=src/Experiments/NewPipeline/ExtractionOCaml/%.ml) : %.ml : %.v src/Experiments/NewPipeline/StandaloneOCamlMain.vo $(SHOW)'COQC $< > $@' $(HIDE)$(TIMER) $(COQC) $(COQDEBUG) $(COQFLAGS) $(COQLIBS) $< > $@.tmp - $(HIDE)sed s'/\r\n/\n/g' $@.tmp > $@ && rm -f $@.tmp + $(HIDE)sed s'/\r\n/\n/g' -e s'/\r//g' $@.tmp > $@ && rm -f $@.tmp $(STANDALONE:%=src/Experiments/NewPipeline/ExtractionHaskell/%.hs) : %.hs : %.v src/Experiments/NewPipeline/StandaloneHaskellMain.vo src/Experiments/NewPipeline/haskell.sed $(SHOW)'COQC $< > $@' $(HIDE)$(TIMER) $(COQC) $(COQDEBUG) $(COQFLAGS) $(COQLIBS) $< > $@.tmp - $(HIDE)sed s'/\r\n/\n/g' $@.tmp | sed -f src/Experiments/NewPipeline/haskell.sed > $@ && rm -f $@.tmp + $(HIDE)sed s'/\r\n/\n/g' -e s'/\r//g' $@.tmp | sed -f src/Experiments/NewPipeline/haskell.sed > $@ && rm -f $@.tmp $(STANDALONE:%=src/Experiments/NewPipeline/ExtractionOCaml/%) : % : %.ml $(TIMER) ocamlopt -o $@ $< -- cgit v1.2.3