From 673f0a14249b5b3be4d45b95c567526311c93707 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Sun, 8 Jan 2017 22:06:40 +0100
Subject: [PATCH] fix vio2vo patched target
---
awk.Makefile | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/awk.Makefile b/awk.Makefile
index 781493ff3..e014962ba 100644
--- a/awk.Makefile
+++ b/awk.Makefile
@@ -15,7 +15,7 @@
/^vio2vo:/ {
print "vio2vo:";
print "\t@make -j $(J) quick"
- print "\t@VIOFILES=$$(for file in $(VOFILES:%.vo=%.vio); do if [ \"$$(echo \"$$file\" | sed \"s/\\.vio/.vo/\")\" -ot \"$$file\" ]; then echo -n \"$$file \"; fi; done); \\"
+ print "\t@VIOFILES=$$(for file in $(VOFILES:%.vo=%.vio); do vofile=\"$$(echo \"$$file\" | sed \"s/\\.vio/.vo/\")\"; if [ \"$$vofile\" -ot \"$$file\" -o ! -e \"$$vofile\" ]; then echo -n \"$$file \"; fi; done); \\"
print "\t echo \"VIO2VO: $$VIOFILES\"; \\"
print "\t if [ -n \"$$VIOFILES\" ]; then $(COQC) $(COQDEBUG) $(COQFLAGS) -schedule-vio2vo $(J) $$VIOFILES; fi"
getline;
--
GitLab