Commit 95c7b32b authored by Ralf Jung's avatar Ralf Jung

hack Makefile to install .v files (for iris_options)

parent 3e35a2f1
......@@ -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:/ {
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment