AC_INIT(etc/configuration.xml.in) if test "x$prefix" != xNONE; then RESOLVED_PREFIX=$prefix else RESOLVED_PREFIX=$ac_default_prefix fi if test "x$exec_prefix" != xNONE; then RESOLVED_EXEC_PREFIX=$exec_prefix 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 AC_CHECK_PROG(HAVE_GTKMATHVIEW_CONFIG,gtkmathview-config,yes,no) if test $HAVE_GTKMATHVIEW_CONFIG = yes ; then GTKMATHVIEW_DICTIONARY_PATH=`gtkmathview-config --prefix 2> /dev/null`/share/gtkmathview/dictionary.xml if test ! -f $GTKMATHVIEW_DICTIONARY_PATH ; then AC_MSG_WARN(Could not find dictionary.xml. Where is it?) read GTKMATHVIEW_DICTIONARY_PATH fi else AC_MSG_ERROR(Could not find gtkmathview-config) fi GTKMATHVIEW_FONT_CONFIGURATION_PATH=`gtkmathview-config --prefix 2> /dev/null`/share/gtkmathview/font-configuration.xml if test ! -f $GTKMATHVIEW_FONT_CONFIGURATION_PATH ; then AC_MSG_WARN(Could not find font-configuration.xml. Where is it?) read GTKMATHVIEW_FONT_CONFIGURATION_PATH fi HELM_T1_CONFIG_FILE=/projects/helm/local/share/gtkmathview/t1.config HELM_FONT_CONFIGURATION_PATH=/projects/helm/V7/phd/local/etc/helm/helm-font-configuration.xml 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) 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 lib/configuration.pl etc/helm-math-engine-configuration.xml etc/configuration.xml ])