]> matita.cs.unibo.it Git - helm.git/blob - helm/configuration/configure.in
...
[helm.git] / helm / configuration / configure.in
1 AC_INIT(etc/configuration.xml.in)
2
3 if test "x$prefix" != xNONE; then
4   RESOLVED_PREFIX=$prefix
5 else
6   RESOLVED_PREFIX=$ac_default_prefix
7 fi
8
9 if test "x$exec_prefix" != xNONE; then
10   RESOLVED_EXEC_PREFIX=$exec_prefix
11 else
12   RESOLVED_EXEC_PREFIX=$RESOLVED_PREFIX
13 fi
14
15 dnl General
16 HELM_LIB_DIR=$RESOLVED_EXEC_PREFIX/lib/helm
17 HELM_ETC_DIR=$RESOLVED_PREFIX/etc/helm
18 HELM_SHARE_DIR=$RESOLVED_PREFIX/share/helm
19
20 dnl Only for GtkMathview XML configuration
21 HELM_DICTIONARY_PATH=$HELM_ETC_DIR/helm-dictionary.xml
22
23 AC_CHECK_PROG(HAVE_GTKMATHVIEW_CONFIG,gtkmathview-config,yes,no)
24 if test $HAVE_GTKMATHVIEW_CONFIG = yes ; then
25    GTKMATHVIEW_PREFIX=`gtkmathview-config --prefix 2> /dev/null`
26    GTKMATHVIEW_DICTIONARY_PATH=$GTKMATHVIEW_PREFIX/share/gtkmathview/dictionary.xml
27    if test ! -f $GTKMATHVIEW_DICTIONARY_PATH ; then
28       AC_MSG_WARN(Could not find dictionary.xml. Where is it?)
29       read GTKMATHVIEW_DICTIONARY_PATH
30    fi
31 else
32    AC_MSG_ERROR(Could not find gtkmathview-config)
33 fi
34
35 GTKMATHVIEW_FONT_CONFIGURATION_PATH=$GTKMATHVIEW_PREFIX/share/gtkmathview/font-configuration.xml
36 if test ! -f $GTKMATHVIEW_FONT_CONFIGURATION_PATH ; then
37    AC_MSG_WARN(Could not find font-configuration.xml. Where is it?)
38    read GTKMATHVIEW_FONT_CONFIGURATION_PATH
39 fi
40
41 GTKMATHVIEW_T1_CONFIG_FILE=$GTKMATHVIEW_PREFIX/share/gtkmathview/t1.config
42 if test ! -f $GTKMATHVIEW_T1_CONFIG_FILE ; then
43    AC_MSG_WARN(Could not find t1.config. Where is it?)
44    read GTKMATHVIEW_T1_CONFIG_FILE
45 fi
46
47 HELM_FONT_CONFIGURATION_PATH=$HELM_ETC_DIR/helm-font-configuration.xml
48
49 dnl Only for HELM XML configuration
50
51 AC_MSG_WARN(Where should I put the downloaded library? Note: the directory and all the files and subdirectories recursively in it should be world writeable)
52 read HELM_LIBRARY_PREFIX
53
54 CONFIGURATION_HELM_DIR=$HELM_LIBRARY_PREFIX/examples
55 dnl CSC: ERROR: getters should download the DTDs
56 CONFIGURATION_DTD_DIR=$HELM_SHARE_DIR/dtd
57 CONFIGURATION_SERVERS_FILE=$HELM_LIBRARY_PREFIX/servers.txt
58 CONFIGURATION_URIS_DBM=$HELM_LIBRARY_PREFIX/urls_of_uris
59
60 if test -d "/tmp" ; then
61    CONFIGURATION_TMPDIR=/tmp
62 else
63    AC_MSG_WARN(Could not find /tmp. What directory could I use instead?)
64    read $CONFIGURATION_TMPDIR
65 fi
66
67 AC_SUBST(HELM_LIB_DIR)
68 AC_SUBST(HELM_ETC_DIR)
69 AC_SUBST(HELM_DICTIONARY_PATH)
70 AC_SUBST(GTKMATHVIEW_DICTIONARY_PATH)
71 AC_SUBST(HELM_FONT_CONFIGURATION_PATH)
72 AC_SUBST(GTKMATHVIEW_FONT_CONFIGURATION_PATH)
73 AC_SUBST(GTKMATHVIEW_T1_CONFIG_FILE)
74 AC_SUBST(CONFIGURATION_HELM_DIR)
75 AC_SUBST(CONFIGURATION_DTD_DIR)
76 AC_SUBST(CONFIGURATION_SERVERS_FILE)
77 AC_SUBST(CONFIGURATION_URIS_DBM)
78 AC_SUBST(CONFIGURATION_TMPDIR)
79
80 AC_OUTPUT(
81 [Makefile
82  lib/configuration.pl
83  etc/helm-math-engine-configuration.xml
84  etc/configuration.xml
85 ])