]> matita.cs.unibo.it Git - helm.git/commitdiff
gtkmathview-config used
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 21 Dec 2000 18:38:13 +0000 (18:38 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 21 Dec 2000 18:38:13 +0000 (18:38 +0000)
helm/configuration/configure.in

index 060d422c4f93839efe38b551ff8e5acf00f7ae77..9609651aee212db23b4ab0abc0138720981bff1a 100644 (file)
@@ -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