From 29dfd4297933d027af638664f078082c8d4007bc Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Mon, 21 Oct 2024 00:33:35 -0700
Subject: [PATCH] install .v files alongside .vo files (#527)

---
 Makefile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Makefile b/Makefile
index 15a2319dba..6c32e940cd 100644
--- a/Makefile
+++ b/Makefile
@@ -359,6 +359,7 @@ ifeq ($(INSTALL_COQDEV),true)
           set -e; \
           install -d $(DESTDIR)$(COQDEVDIR)/$$d; \
           install -m 0644 $$d/*.vo $(DESTDIR)$(COQDEVDIR)/$$d/; \
+          install -m 0644 $$d/*.v $(DESTDIR)$(COQDEVDIR)/$$d/; \
           if test -d $$d/.coq-native; then \
             install -d $(DESTDIR)$(COQDEVDIR)/$$d/.coq-native; \
             install -m 0644 $$d/.coq-native/* $(DESTDIR)$(COQDEVDIR)/$$d/.coq-native/; \