]> matita.cs.unibo.it Git - helm.git/commitdiff
...
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 22 Dec 2000 17:46:26 +0000 (17:46 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 22 Dec 2000 17:46:26 +0000 (17:46 +0000)
helm/configuration/configure.in

index 62c3285afb0f35c14e10f2d183dd19ba7ad2ef9f..45d7d6431f41d62df2b72a7f569f3cf0994b1c1e 100644 (file)
@@ -13,9 +13,17 @@ else
 fi
 
 dnl General
+AC_MSG_CHECKING("for the lib/helm dir")
 HELM_LIB_DIR=$RESOLVED_EXEC_PREFIX/lib/helm
+AC_MSG_RESULT($HELM_LIB_DIR)
+
+AC_MSG_CHECKING("for the etc/helm dir")
 HELM_ETC_DIR=$RESOLVED_PREFIX/etc/helm
+AC_MSG_RESULT($HELM_ETC_DIR)
+
+AC_MSG_CHECKING("for the lib/helm dir")
 HELM_SHARE_DIR=$RESOLVED_PREFIX/share/helm
+AC_MSG_RESULT($HELM_SHARE_DIR)
 
 dnl Only for GtkMathview XML configuration
 HELM_DICTIONARY_PATH=$HELM_ETC_DIR/helm-dictionary.xml
@@ -95,16 +103,24 @@ AC_CACHE_SAVE
 
 
 CONFIGURATION_HELM_DIR=$HELM_LIBRARY_PREFIX/library
+
 dnl CSC: ERROR: getters should download the DTDs
 CONFIGURATION_DTD_DIR=$HELM_SHARE_DIR/dtd
+
 CONFIGURATION_SERVERS_FILE=$HELM_LIBRARY_PREFIX/servers.txt
 CONFIGURATION_URIS_DBM=$HELM_LIBRARY_PREFIX/urls_of_uris
 
+AC_MSG_CHECKING("for the tmp dir")
+RES=""
 if test -d "/tmp" ; then
    CONFIGURATION_TMPDIR=/tmp
 else
    AC_MSG_WARN(Could not find /tmp. What directory could I use instead?)
    read $CONFIGURATION_TMPDIR
+   RES="Asked"
+fi
+if test "$RES" != "Asked" ; then
+   AC_MSG_RESULT($CONFIGURATION_TMPDIR)
 fi
 
 AC_SUBST(HELM_LIB_DIR)