From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 21 Dec 2000 18:38:13 +0000 (+0000)
Subject: gtkmathview-config used
X-Git-Tag: nogzip~67
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=7c14cb6badb5c7f4e602f528754b6efdd01d087b;p=helm.git

gtkmathview-config used
---

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