From 7c14cb6badb5c7f4e602f528754b6efdd01d087b Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Thu, 21 Dec 2000 18:38:13 +0000 Subject: [PATCH] gtkmathview-config used --- helm/configuration/configure.in | 23 ++++++++++++++++++++--- 1 file changed, 20 insertions(+), 3 deletions(-) diff --git a/helm/configuration/configure.in b/helm/configuration/configure.in index 060d422c4..9609651ae 100644 --- a/helm/configuration/configure.in +++ b/helm/configuration/configure.in @@ -18,10 +18,27 @@ 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 + +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 -- 2.39.2