From fa9fe3e5f43f08287f8f10ed697e88952a75fb6d Mon Sep 17 00:00:00 2001
From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Fri, 3 Feb 2006 11:07:14 +0000
Subject: [PATCH] added DBHOST & co ...

---
 helm/configure.ac | 16 +++++++++++++---
 1 file changed, 13 insertions(+), 3 deletions(-)

diff --git a/helm/configure.ac b/helm/configure.ac
index 176763719..03a9ea05b 100644
--- a/helm/configure.ac
+++ b/helm/configure.ac
@@ -2,6 +2,7 @@ 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"
 MATITA_VERSION="0.1.0"
 # End of distribution settings
@@ -130,7 +131,7 @@ fi
 
 AC_MSG_CHECKING(--enable-debug argument)
 AC_ARG_ENABLE(debug,
-  [  --enable-debug	Turn on debugging],
+  [  --enable-debug	  Turn on debugging],
   [GIVEN="yes";
    case "${enableval}" in
    yes) DEBUG=true ;;
@@ -148,12 +149,20 @@ AC_MSG_RESULT($MSG)
 
 AC_MSG_CHECKING(--with-runtime-dir argument)
 AC_ARG_WITH(runtime-dir,
-  [ --with-runtime-dir	Runtime directory (current working directory if not given)],
+  [  --with-runtime-dir      Runtime directory (current working directory if not given)],
   [ RT_BASE_DIR="${withval}" ],
   [ RT_BASE_DIR="$RT_BASE_DIR_DEFAULT" ])
 AC_MSG_RESULT($RT_BASE_DIR)
 
+AC_MSG_CHECKING(--with-dbhost argument)
+AC_ARG_WITH(dbhost,
+  [  --with-dbhost           SQL database hostname],
+  [ DBHOST="${withval}" ],
+  [ DBHOST="$DEFAULT_DBHOST" ])
+AC_MSG_RESULT($DBHOST)
+
 AC_SUBST(CAMLP4O)
+AC_SUBST(DBHOST)
 AC_SUBST(DEBUG)
 AC_SUBST(TRANSFORMER_MODULE)
 AC_SUBST(FINDLIB_REQUIRES)
@@ -166,7 +175,8 @@ AC_SUBST(RT_BASE_DIR)
 AC_SUBST(MATITA_VERSION)
 
 AC_OUTPUT([
-  matita/matita.conf.xml.sample
+  matita/matita.conf.xml.devel
+  matita/matita.conf.xml.user
   matita/buildTimeConf.ml
   matita/gtkmathview.matita.conf.xml
   Makefile.defs
-- 
2.39.2