-CONFIGURATION_HELM_DIR=/home/pauillac/coq3/sacerdot/HELM/V6.2/examples
-CONFIGURATION_DTD_DIR=/home/pauillac/coq3/sacerdot/HELM/dtd
-CONFIGURATION_SERVERS_FILE=/home/pauillac/coq3/sacerdot/HELM/V6.2/servers.txt
-CONFIGURATION_URIS_DBM=/home/pauillac/coq3/sacerdot/HELM/V6.2/urls_of_uris
-CONFIGURATION_TMPDIR=/tmp
-CONFIGURATION_GETTER_URL=http://localhost:8081/get?uri=
+
+AC_MSG_WARN(Where should I put the downloaded library?)
+AC_MSG_WARN(WARNING: the directory and all the files and subdirectories recursively in it should be world writeable)
+read $HELM_LIBRARY_PREFIX
+
+CONFIGURATION_HELM_DIR=$HELM_LIBRARY_PREFIX/examples
+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
+
+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
+fi