From badc8b1ccf50f00e33563901e363bcbeff9e2c19 Mon Sep 17 00:00:00 2001
From: pboutill
Date: Wed, 26 Oct 2011 09:09:18 +0000
Subject:  Coq_makefile: libraries in bytecode are now installed too

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

(limited to 'tools')

diff --git a/tools/coq_makefile.ml b/tools/coq_makefile.ml
index 02bba6cfef..15df485b60 100644
--- a/tools/coq_makefile.ml
+++ b/tools/coq_makefile.ml
@@ -448,6 +448,7 @@ let main_targets vfiles (mlifiles,ml4files,mlfiles,mllibfiles) other_targets inc
       print "MLLIBFILES:="; print_list "\\\n  " l; print "\n";
       print "\n-include $(MLLIBFILES:.mllib=.mllib.d)\n.SECONDARY: $(MLLIBFILES:.mllib=.mllib.d)\n\n";
       print "CMAFILES:=$(MLLIBFILES:.mllib=.cma)\n";
+	classify_files_by_root "CMAFILES" l inc;
       print "CMXAFILES:=$(CMAFILES:.cma=.cmxa)\n";
   end;
   begin match mlifiles with
-- 
cgit v1.2.3