From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Thu, 2 Feb 2006 19:01:23 +0000 (+0000)
Subject: a further step toward releasable Makefile
X-Git-Tag: make_still_working~7667
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=8fce94174a3641be17df8d83c6e7a895a8c373be;p=helm.git

a further step toward releasable Makefile
---

diff --git a/helm/matita/Makefile b/helm/matita/Makefile
index 40a4b2014..415d4a1a5 100644
--- a/helm/matita/Makefile
+++ b/helm/matita/Makefile
@@ -190,8 +190,15 @@ cleantests.opt: $(foreach d,$(TEST_DIRS),$(d)-cleantests-opt)
 
 # {{{ Distribution stuff
 
+ifeq ($(HAVE_OCAMLOPT),yes)
+BEST=opt
+else
+BEST=all
+endif
+
 stdlib:
-	$(MAKE) MATITA_FLAGS="-system" -C library/
+	MATITA_RT_BASE_DIR=`pwd` \
+		$(MAKE) MATITA_FLAGS="-system" -C library/ $(BEST)
 
 DEST = @RT_BASE_DIR@
 INSTALL_STUFF = 			\
@@ -213,6 +220,7 @@ endif
 
 install:
 	install -d $(DEST)
+	cp -a .matita/
 	cp -a $(INSTALL_STUFF) $(DEST)
 uninstall: