From 8fce94174a3641be17df8d83c6e7a895a8c373be Mon Sep 17 00:00:00 2001
From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Thu, 2 Feb 2006 19:01:23 +0000
Subject: [PATCH] a further step toward releasable Makefile

---
 helm/matita/Makefile | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

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:
 
-- 
2.39.5