]> matita.cs.unibo.it Git - helm.git/blob - helm/helm_data/configure.in
- passes subst to FreshNameGenerator
[helm.git] / helm / helm_data / configure.in
1 AC_INIT(dtd/cic.dtd)
2
3 PACKAGE=helm_data
4 MAJOR_VERSION=0
5 MINOR_VERSION=0
6 MICRO_VERSION=2
7 VERSION=$MAJOR_VERSION.$MINOR_VERSION.$MICRO_VERSION
8
9 DEFAULT_HELM_DTD_DIR=/usr/local/share/helm/dtd
10 DEFAULT_HELM_STYLE_DIR=/usr/local/share/helm/style
11
12 AC_ARG_ENABLE(
13         defaults,
14         [  --enable-defaults[=ARG] if yes then use defaults (don't ask user) [default=auto]],
15         USE_DEFAULTS=$enableval,
16         USE_DEFAULTS=auto
17 )
18
19 if test $USE_DEFAULTS = auto; then
20         AC_CHECK_PROG(HAVE_HELM_CONFIG, helm-config, yes, no)
21         if test $HAVE_HELM_CONFIG = yes; then
22                 HELM_DTD_DIR=`helm-config --dtd-dir`
23                 HELM_STYLE_DIR=`helm-config --style-dir`
24         else
25                 USE_DEFAULTS=no
26         fi
27 fi
28
29 if test $USE_DEFAULTS = no; then
30         echo
31         echo "\`helm-config' is not installed (or I can't find it in your path)."
32         echo "Please, insert the directory where I can find the DTDs for HELM..."
33         echo
34         echo -n "[[$DEFAULT_HELM_DTD_DIR]] ? "
35         read HELM_DTD_DIR
36         if test "x$HELM_DTD_DIR" = "x"; then
37                 HELM_DTD_DIR=$DEFAULT_HELM_DTD_DIR
38         fi
39         echo
40         echo "Please, insert the directory where I can find the stylesheets for HELM..."
41         echo
42         echo -n "[[$DEFAULT_HELM_STYLE_DIR]] ? "
43         read HELM_STYLE_DIR
44         if test "x$HELM_STYLE_DIR" = "x"; then
45                 HELM_STYLE_DIR=$DEFAULT_HELM_STYLE_DIR
46         fi
47 elif test $USE_DEFAULTS = yes; then
48         HELM_DTD_DIR=$DEFAULT_HELM_DTD_DIR
49         HELM_STYLE_DIR=$DEFAULT_HELM_STYLE_DIR
50 fi
51
52 AC_SUBST(PACKAGE)
53 AC_SUBST(VERSION)
54 AC_SUBST(HELM_DTD_DIR)
55 AC_SUBST(HELM_STYLE_DIR)
56
57 AC_OUTPUT([
58   Makefile
59   helm_data.spec
60 ])
61