install .v files alongside .vo files

AbsInt · Oct 18, 2024 · 0e8dbe0 · 0e8dbe0
1 parent 96e86f2
commit 0e8dbe0
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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/; \