diff options
author | Jason Gross <jgross@mit.edu> | 2017-06-28 13:59:49 -0400 |
---|---|---|
committer | Jason Gross <jgross@mit.edu> | 2017-06-28 13:59:49 -0400 |
commit | 8c37e477147824e21038da2c0a4956951481be93 (patch) | |
tree | 200a415da6c645c77f2cc3c0a8b501797cc8fa2d | |
parent | c003b54c8d3d92d3a2805d0469b1ee69af349764 (diff) |
Make the same display on windows and linux
Do this by removing windows line endings via sed
-rw-r--r-- | Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -134,7 +134,7 @@ Makefile.coq: Makefile _CoqProject $(DISPLAY_NON_JAVA_VO:.vo=.log) : %Display.log : %.vo %Display.v src/Compilers/Z/CNotations.vo src/Specific/IntegrationTestDisplayCommon.vo $(SHOW)"COQC $*Display > $@" - $(HIDE)$(COQC) $(COQDEBUG) $(COQFLAGS) $*Display.v > $@.tmp && mv -f $@.tmp $@ + $(HIDE)$(COQC) $(COQDEBUG) $(COQFLAGS) $*Display.v | sed s'/\r\n/\n/g' > $@.tmp && mv -f $@.tmp $@ c: $(DISPLAY_NON_JAVA_VO:Display.vo=.c) $(DISPLAY_NON_JAVA_VO:Display.vo=.h) @@ -146,7 +146,7 @@ $(DISPLAY_NON_JAVA_VO:Display.vo=.h) : %.h : %Display.log extract-function-heade $(DISPLAY_JAVA_VO:.vo=.log) : %JavaDisplay.log : %.vo %JavaDisplay.v src/Compilers/Z/JavaNotations.vo src/Specific/IntegrationTestDisplayCommon.vo $(SHOW)"COQC $*JavaDisplay > $@" - $(HIDE)$(COQC) $(COQDEBUG) $(COQFLAGS) $*JavaDisplay.v > $@.tmp && mv -f $@.tmp $@ + $(HIDE)$(COQC) $(COQDEBUG) $(COQFLAGS) $*JavaDisplay.v | sed s'/\r\n/\n/g' > $@.tmp && mv -f $@.tmp $@ DISPLAY_X25519_C64_VO := $(filter src/Specific/X25519/C64/%,$(DISPLAY_NON_JAVA_VO)) |