From 2f63108dccc104fe32344d88b35193d34a88f743 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Fri, 12 Dec 2008 23:01:19 +0000
Subject: - configure: do not strip coqtop on Darwin so as to support dynamic
 loading - configure: remove useless newline (hoping it is OK for everyone) -
 coqc: added option -no-glob in accordance with coqc -usage - coq_makefile:
 support for installation of all .cmo and all .cmxs in user-contrib

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11676 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 tools/coq_makefile.ml4 | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

(limited to 'tools')

diff --git a/tools/coq_makefile.ml4 b/tools/coq_makefile.ml4
index fa5ded938d..52923ad4e3 100644
--- a/tools/coq_makefile.ml4
+++ b/tools/coq_makefile.ml4
@@ -97,9 +97,13 @@ let standard sds sps =
   if !opt = "" then print "\t@echo \"WARNING: opt is disabled\"\n";
   print "\t$(MAKE) all \"OPT:="; print !opt; print "\"\n\n";
   print "install:\n";
-  print "\tmkdir -p `$(COQC) -where`/user-contrib\n";
-  if !some_vfile then print "\tcp -f $(VOFILES) `$(COQC) -where`/user-contrib\n";
-  if !some_mlfile then print "\tcp -f *.cmo `$(COQC) -where`/user-contrib\n";
+  print "\tmkdir -p $(COQLIB)/user-contrib\n";
+  if !some_vfile then
+    print "\tcp -f $(VOFILES) $(COQLIB)/user-contrib\n";
+  if !some_mlfile then
+    print "\tcp -f $(CMOFILES) $(COQLIB)/user-contrib\n";
+  if Coq_config.has_natdynlink && !some_mlfile then
+    print "\tcp -f $(CMXSFILES) $(COQLIB)/user-contrib\n";
   List.iter
     (fun x -> print "\t(cd "; print x; print " ; $(MAKE) install)\n")
     sds;
-- 
cgit v1.2.3