]> matita.cs.unibo.it Git - helm.git/blob - helm/configuration/configure.in
Using autoconf
[helm.git] / helm / configuration / configure.in
1 AC_INIT(etc/configuration.xml)
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 HELM_LIB_DIR=$RESOLVED_EXEC_PREFIX/lib/helm
16 HELM_ETC_DIR=$RESOLVED_PREFIX/etc/helm
17
18 AC_SUBST(HELM_LIB_DIR)
19 AC_SUBST(HELM_ETC_DIR)
20
21 AC_OUTPUT([Makefile])