From 8691b562846849802c3829505ba487c1d26df1d0 Mon Sep 17 00:00:00 2001
From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Tue, 7 Feb 2006 10:51:44 +0000
Subject: [PATCH] added configure time values SRCROOT and DISTRIBUTED

---
 helm/software/Makefile.defs.in | 1 +
 helm/software/configure.ac     | 7 ++++++-
 2 files changed, 7 insertions(+), 1 deletion(-)

diff --git a/helm/software/Makefile.defs.in b/helm/software/Makefile.defs.in
index b714a606e..cddf43c2c 100644
--- a/helm/software/Makefile.defs.in
+++ b/helm/software/Makefile.defs.in
@@ -2,6 +2,7 @@ OCAMLFIND = OCAMLPATH=@OCAMLPATH@ @OCAMLFIND@
 CAMLP4O = @CAMLP4O@
 LABLGLADECC = @LABLGLADECC@
 HAVE_OCAMLOPT = @HAVE_OCAMLOPT@
+DISTRIBUTED = @DISTRIBUTED@
 
 MATITA_REQUIRES = @FINDLIB_REQUIRES@
 MATITA_CREQUIRES = @FINDLIB_CREQUIRES@
diff --git a/helm/software/configure.ac b/helm/software/configure.ac
index 295e427bb..15470ef37 100644
--- a/helm/software/configure.ac
+++ b/helm/software/configure.ac
@@ -1,12 +1,15 @@
 AC_INIT(matita/matitaTypes.ml)
 
-# Distribution settings (i.e. settings to be manipulated before a release)
+# Distribution settings
+# (i.e. settings (automatically) manipulated before a release)
 DEBUG_DEFAULT="true"
 DEFAULT_DBHOST="mowgli.cs.unibo.it"
 RT_BASE_DIR_DEFAULT="`pwd`/matita"
 MATITA_VERSION="0.1.0"
+DISTRIBUTED="no"  # "yes" for distributed tarballs
 # End of distribution settings
 
+SRCROOT=`pwd`
 AC_CHECK_PROG(HAVE_OCAMLC, ocamlc, yes, no)
 if test $HAVE_OCAMLC = "no"; then
   AC_MSG_ERROR(could not find ocamlc)
@@ -151,6 +154,7 @@ AC_ARG_WITH(dbhost,
 AC_MSG_RESULT($DBHOST)
 
 AC_SUBST(CAMLP4O)
+AC_SUBST(DISTRIBUTED)
 AC_SUBST(DBHOST)
 AC_SUBST(DEBUG)
 AC_SUBST(TRANSFORMER_MODULE)
@@ -161,6 +165,7 @@ AC_SUBST(LABLGLADECC)
 AC_SUBST(OCAMLFIND)
 AC_SUBST(OCAMLPATH)
 AC_SUBST(RT_BASE_DIR)
+AC_SUBST(SRCROOT)
 AC_SUBST(MATITA_VERSION)
 
 AC_OUTPUT([
-- 
2.39.2