From 95c7b32b21f1552ff4075f49316e52feca5c1321 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Tue, 7 Feb 2017 19:09:04 +0100
Subject: [PATCH] hack Makefile to install .v files (for iris_options)
---
awk.Makefile | 5 +++++
1 file changed, 5 insertions(+)
diff --git a/awk.Makefile b/awk.Makefile
index 09ded0aa6..0ba40e7f0 100644
--- a/awk.Makefile
+++ b/awk.Makefile
@@ -9,6 +9,11 @@
PROJECT=PIECES[2];
}
+# Set the missing variable VFILES0 so that .v files are installed.
+/^VOFILES0=/ {
+ print "VFILES0=$(patsubst theories/%,%,$(filter theories/%,$(VFILES)))"
+}
+
# Patch the uninstall target to work properly, and to also uninstall stale files.
# Also see <https://coq.inria.fr/bugs/show_bug.cgi?id=4907>.
/^uninstall:/ {
--
GitLab