diff options
| author |  Jason Gross <jagro@google.com> | 2018-06-28 13:32:13 -0400 |
|---|---|---|
| committer | Jason Gross <jagro@google.com> | 2018-06-28 13:32:13 -0400 |
| commit | b9d795f30a86ac7b203a185b4fce12a192befa6d (patch) | |
| tree | d27443416eccab2d4498c79f39a98cb2d1dede37 /Makefile | |
| parent | 174d4398c5198a3fae5b1ece9df58edb17ded679 (diff) | |
Fix sed scripts in Makefile
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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' -e s'/\r//g' $@.tmp > $@ && rm -f $@.tmp + $(HIDE)sed 's/\r\n/\n/g; 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' -e s'/\r//g' $@.tmp | sed -f src/Experiments/NewPipeline/haskell.sed > $@ && rm -f $@.tmp + $(HIDE)sed 's/\r\n/\n/g; s/\r//g' $@.tmp | sed -f src/Experiments/NewPipeline/haskell.sed > $@ && rm -f $@.tmp $(STANDALONE:%=src/Experiments/NewPipeline/ExtractionOCaml/%) : % : %.ml $(TIMER) ocamlopt -o $@ $< |