]> matita.cs.unibo.it Git - helm.git/blob - helm/helm_data/configure.in
First files added
[helm.git] / helm / helm_data / configure.in
1 AC_INIT(dtd/cic.dtd)
2
3 if test "x$prefix" != xNONE; then
4   RESOLVED_PREFIX=$prefix
5 else
6   RESOLVED_PREFIX=$ac_default_prefix
7 fi
8
9 dnl General
10 AC_MSG_CHECKING("for the share/helm/dtd dir")
11 RES=""
12 AC_CACHE_VAL(helm_cv_HELM_DTDS_DIR,
13   echo "Where should I put the DTDs? Note: your answer must be the entry of value dtd_dir in the configuration.xml file of the helm_configuration package that you should have already installed."
14   read helm_cv_HELM_DTDS_DIR
15   RES="Asked"
16 )
17 HELM_DTDS_DIR=$helm_cv_HELM_DTDS_DIR
18 if test "$RES" != "Asked" ; then
19    HELM_DTDS_DIR=`eval "echo $HELM_DTDS_DIR"`
20    AC_MSG_RESULT($HELM_DTDS_DIR)
21 fi
22 AC_CACHE_SAVE
23
24 AC_MSG_CHECKING("for the share/helm/style dir")
25 HELM_STYLES_DIR=$RESOLVED_PREFIX/share/helm/style
26 AC_MSG_RESULT($HELM_STYLES_DIR)
27
28 AC_SUBST(HELM_DTDS_DIR)
29 AC_SUBST(HELM_STYLES_DIR)
30
31 AC_OUTPUT([Makefile])