From da85bc7d139566aa819c8e922d01b2e476ff6990 Mon Sep 17 00:00:00 2001
From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Fri, 3 Feb 2006 15:12:29 +0000
Subject: [PATCH] release snapshot

---
 helm/Makefile         | 16 +++++++++-------
 helm/Makefile.defs.in |  1 +
 helm/configure.ac     |  8 +++++---
 3 files changed, 15 insertions(+), 10 deletions(-)

diff --git a/helm/Makefile b/helm/Makefile
index de2a403c1..30ca291c7 100644
--- a/helm/Makefile
+++ b/helm/Makefile
@@ -38,24 +38,26 @@ EXTRA_DIST = 			\
 	./configure 		\
 	$(NULL)
 
-dist: autotools export mktarball
-distcheck: dist extract build
+dist: dist_autotools dist_export dist_mktarball
+distcheck: dist dist_extract dist_build
 
-autotools:
+dist_autotools:
 	autoconf
+	./configure
 
-export:
+dist_export:
 	rm -rf $(DISTDIR)
 	mkdir $(DISTDIR)
 	svn export ocaml $(DISTDIR)/ocaml
 	svn export matita $(DISTDIR)/matita
 	(cd $(DISTDIR) && rm -f $(CLEAN_ON_DIST))
+	ln -fs matita.conf.xml.user $(DISTDIR)/matita/matita.conf.xml
 	mv $(DISTDIR)/ocaml $(DISTDIR)/libs
 	cp -r $(EXTRA_DIST) $(DISTDIR)
 
-mktarball:
-	tar cvzf $(DISTDIR).tar.gz $(DISTDIR)
+dist_mktarball:
+	tar czf $(DISTDIR).tar.gz $(DISTDIR)
 
-.PHONY: dist export mktarball distcheck extract build autotools
+.PHONY: dist dist_export dist_mktarball distcheck dist_extract dist_build dist_autotools
 .PHONY: all opt clean distclean
 
diff --git a/helm/Makefile.defs.in b/helm/Makefile.defs.in
index d466f70cb..b714a606e 100644
--- a/helm/Makefile.defs.in
+++ b/helm/Makefile.defs.in
@@ -9,3 +9,4 @@ MATITA_CREQUIRES = @FINDLIB_CREQUIRES@
 MATITA_VERSION = @MATITA_VERSION@
 
 RT_BASE_DIR = @RT_BASE_DIR@
+DBHOST = @DBHOST@
diff --git a/helm/configure.ac b/helm/configure.ac
index 03a9ea05b..90d14f49f 100644
--- a/helm/configure.ac
+++ b/helm/configure.ac
@@ -1,9 +1,9 @@
 AC_INIT(matita/matitaTypes.ml)
 
 # Distribution settings (i.e. settings to be manipulated before a release)
-DEBUG_DEFAULT="true"
-DEFAULT_DBHOST="mowgli.cs.unibo.it"
-RT_BASE_DIR_DEFAULT="`pwd`/matita"
+DEBUG_DEFAULT="false"
+DEFAULT_DBHOST="localhost"
+RT_BASE_DIR_DEFAULT="/usr/local/share/matita/"
 MATITA_VERSION="0.1.0"
 # End of distribution settings
 
@@ -175,8 +175,10 @@ AC_SUBST(RT_BASE_DIR)
 AC_SUBST(MATITA_VERSION)
 
 AC_OUTPUT([
+  $LIBSPATH/extlib/componentsConf.ml
   matita/matita.conf.xml.devel
   matita/matita.conf.xml.user
+  matita/matita.conf.xml.build
   matita/buildTimeConf.ml
   matita/gtkmathview.matita.conf.xml
   Makefile.defs
-- 
2.39.2