configuration.xml autoconfigured

[helm.git] / helm / configuration / configure.in

diff --git a/helm/configuration/configure.in b/helm/configuration/configure.in
index 606ac54ddf90eaf3da26c66cce4bbec983861579..b8a7cffd72af866666a6bbe197e9f7f9afe8694d 100644 (file)
--- a/helm/configuration/configure.in
+++ b/helm/configuration/configure.in
@@ -12,14 +12,25 @@ else
   RESOLVED_EXEC_PREFIX=$RESOLVED_PREFIX
 fi
 
+dnl General
 HELM_LIB_DIR=$RESOLVED_EXEC_PREFIX/lib/helm
 HELM_ETC_DIR=$RESOLVED_PREFIX/etc/helm
+
+dnl Only for GtkMathview XML configuration
 HELM_DICTIONARY_PATH=/projects/helm/V7/phd/local/etc/helm/helm-dictionary.xml
 GTKMATHVIEW_DICTIONARY_PATH=/projects/helm/local/share/gtkmathview/dictionary.xml
 HELM_FONT_CONFIGURATION_PATH=/projects/helm/V7/phd/local/etc/helm/helm-font-configuration.xml
 GTKMATHVIEW_FONT_CONFIGURATION_PATH=/projects/helm/local/share/gtkmathview/font-configuration.xml
 HELM_T1_CONFIG_FILE=/projects/helm/local/share/gtkmathview/t1.config
 
+dnl Only for HELM XML configuration
+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_SUBST(HELM_LIB_DIR)
 AC_SUBST(HELM_ETC_DIR)
 AC_SUBST(HELM_DICTIONARY_PATH)
@@ -27,6 +38,12 @@ AC_SUBST(GTKMATHVIEW_DICTIONARY_PATH)
 AC_SUBST(HELM_FONT_CONFIGURATION_PATH)
 AC_SUBST(GTKMATHVIEW_FONT_CONFIGURATION_PATH)
 AC_SUBST(HELM_T1_CONFIG_FILE)
+AC_SUBST(CONFIGURATION_HELM_DIR)
+AC_SUBST(CONFIGURATION_DTD_DIR)
+AC_SUBST(CONFIGURATION_SERVERS_FILE)
+AC_SUBST(CONFIGURATION_URIS_DBM)
+AC_SUBST(CONFIGURATION_TMPDIR)
+AC_SUBST(CONFIGURATION_GETTER_URL)
 
 AC_OUTPUT(
 [Makefile