From e306714815c33121ee165b5e8825ca1c8187fc96 Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@college-de-france.fr>
Date: Mon, 20 Feb 2023 10:28:37 +0100
Subject: When installing the Coq development, also install coq-native
 generated files

If the Coq version used supports native compilation, `.coq-native`
directories are generated during the build, and they need to be
installed along the `.vo` files.

Fixes: #476
---
 Makefile | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 48648a0a..e71dde6c 100644
--- a/Makefile
+++ b/Makefile
@@ -326,8 +326,13 @@ endif
 ifeq ($(INSTALL_COQDEV),true)
 	install -d $(DESTDIR)$(COQDEVDIR)
 	for d in $(DIRS); do \
-          install -d $(DESTDIR)$(COQDEVDIR)/$$d && \
+          set -e; \
+          install -d $(DESTDIR)$(COQDEVDIR)/$$d; \
           install -m 0644 $$d/*.vo $(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/; \
+          fi \
 	done
 	install -m 0644 ./VERSION $(DESTDIR)$(COQDEVDIR)
 	install -m 0644 ./compcert.config $(DESTDIR)$(COQDEVDIR)
-- 
cgit