]> matita.cs.unibo.it Git - helm.git/blob - helm/helm_data/configure.in
improved autoconfiguration
[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=1
7 VERSION=$MAJOR_VERSION.MINOR_VERSION.$MICRO_VERSION
8
9 AC_CHECK_PROG(HAVE_HELM_CONFIG, helm-config, yes, no)
10 if test $HAVE_HELM_CONFIG = no; then
11   AC_MSG_ERROR(Could not find helm-config)
12 fi
13
14 HELM_DTD_DIR=`helm-config --dtd-dir`
15 HELM_STYLE_DIR=`helm-config --style-dir`
16
17 AC_SUBST(PACKAGE)
18 AC_SUBST(VERSION)
19 AC_SUBST(HELM_DTD_DIR)
20 AC_SUBST(HELM_STYLE_DIR)
21
22 AC_OUTPUT([
23   Makefile
24   helm_data.spec
25 ])
26