]> matita.cs.unibo.it Git - helm.git/blob - helm/xsltd/configure.in
added Peano module and functions to create natural/real terms
[helm.git] / helm / xsltd / configure.in
1 AC_INIT(xaland.class)
2
3 PACKAGE=helm_xsltd
4 MAJOR_VERSION=0
5 MINOR_VERSION=0
6 MICRO_VERSION=2
7 VERSION=$MAJOR_VERSION.$MINOR_VERSION.$MICRO_VERSION
8
9 DEFAULT_HELM_LIB_DIR=/usr/local/lib/helm
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 "x$prefix" != xNONE; then
20   RESOLVED_PREFIX=$prefix
21 else
22   RESOLVED_PREFIX=$ac_default_prefix
23 fi
24
25 if test "x$exec_prefix" != xNONE; then
26   RESOLVED_EXEC_PREFIX=$exec_prefix
27 else
28   RESOLVED_EXEC_PREFIX=$RESOLVED_PREFIX
29 fi
30
31 BIN_DIR=$RESOLVED_EXEC_PREFIX/bin
32
33 if test $USE_DEFAULTS = auto; then
34         AC_CHECK_PROG(HAVE_HELM_CONFIG, helm-config, yes, no)   
35         if test $HAVE_HELM_CONFIG = yes; then
36                 HELM_LIB_DIR=`helm-config --lib-dir`
37                 HELM_STYLE_DIR=`helm-config --style-dir`
38         else
39                 USE_DEFAULTS=no
40         fi
41 fi
42
43 if test $USE_DEFAULTS = no; then
44         echo
45         echo "\`helm-config' is not installed (or I can't find it in your path)."
46         echo "Please, insert the lib directory for HELM..."
47         echo
48         echo -n "[[$DEFAULT_HELM_LIB_DIR]] ? "
49         read HELM_LIB_DIR
50         if test "x$HELM_LIB_DIR" = "x"; then
51                 HELM_LIB_DIR=$DEFAULT_HELM_LIB_DIR
52         fi
53         echo
54         echo "Please, insert the directory where I can find the stylesheets for HELM..."
55         echo
56         echo -n "[[$DEFAULT_HELM_STYLE_DIR]] ? "
57         read HELM_STYLE_DIR
58         if test "x$HELM_STYLE_DIR" = "x"; then
59                 HELM_STYLE_DIR=$DEFAULT_HELM_STYLE_DIR
60         fi
61 elif test $USE_DEFAULTS = yes; then
62         HELM_LIB_DIR=$DEFAULT_HELM_LIB_DIR
63         HELM_STYLE_DIR=$DEFAULT_HELM_STYLE_DIR
64 fi
65
66 AC_MSG_CHECKING(for the $HELM_LIB_DIR)
67 if test -d $HELM_LIB_DIR; then
68         AC_MSG_RESULT(ok)
69 else
70         AC_MSG_RESULT(no)
71         AC_MSG_ERROR(please check your installation)
72 fi
73
74 AC_MSG_CHECKING(for $HELM_STYLE_DIR)
75 if test -d $HELM_STYLE_DIR; then
76         AC_MSG_RESULT(ok)
77 else
78         AC_MSG_RESULT(no)
79         AC_MSG_ERROR(please check your installation)
80 fi
81
82 AC_SUBST(PACKAGE)
83 AC_SUBST(VERSION)
84 AC_SUBST(BIN_DIR)
85 AC_SUBST(HELM_LIB_DIR)
86 AC_SUBST(HELM_STYLE_DIR)
87
88 AC_OUTPUT([
89   Makefile
90   start-xaland
91   helm_xsltd.spec
92 ], chmod +x start-xaland)