From cf8ca10ab726face23cdd33a4c2bc9500cf0df40 Mon Sep 17 00:00:00 2001
From: notin
Date: Fri, 6 Jun 2008 13:55:23 +0000
Subject: Copie des .cmi en plus des .cma et des .cmxa

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11060 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 Makefile.build | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Makefile.build b/Makefile.build
index f2385dc443..97bab95df5 100644
--- a/Makefile.build
+++ b/Makefile.build
@@ -658,6 +658,7 @@ install-library:
 	cp states/*.coq $(FULLCOQLIB)/states
 	$(MKDIR) $(FULLCOQLIB)/user-contrib
 	cp $(LINKCMO) $(LINKCMX) $(GRAMMARCMA) $(FULLCOQLIB)
+	find . -name \*.cmi -exec cp {} $(FULLCOQLIB) \;
 
 install-library-light:
 	$(MKDIR) $(FULLCOQLIB)
-- 
cgit v1.2.3