]> matita.cs.unibo.it Git - helm.git/blob - helm/helmpot/configure.in
Initial revision
[helm.git] / helm / helmpot / configure.in
1 dnl Process this file with autoconf to produce a configure script.
2 AC_INIT(main.c)
3
4 HELMPOT_MAJOR_VERSION=0
5 HELMPOT_MINOR_VERSION=0
6 HELMPOT_MICRO_VERSION=1
7 HELMPOT_VERSION=$HELMPOT_MAJOR_VERSION.$HELMPOT_MINOR_VERSION.$HELMPOT_MICRO_VERSION
8 VERSION=$HELMPOT_VERSION
9
10 AC_SUBST(HELMPOT_VERSION)
11
12 AC_ARG_ENABLE(
13         checks,
14         [  --enable-checks[=ARG]   include debugging checks [default=yes]],
15         [
16                 if test $enableval = yes; then
17                         AC_DEFINE(ENABLE_CHECKS)
18                 fi
19         ],
20         AC_DEFINE(ENABLE_CHECKS)
21 )
22
23 dnl Automake configuration
24 AM_CONFIG_HEADER(config.h)
25 AM_INIT_AUTOMAKE(helmpot, $HELMPOT_VERSION)
26
27 dnl Checks for programs.
28 AC_LANG_C
29 AC_PROG_CC
30 AC_ISC_POSIX
31 AC_CHECK_PROG(HAVE_COLORGCC, colorgcc, yes, no)
32
33 dnl Checks for header files.
34 AC_HEADER_STDC
35 AC_CHECK_HEADERS(unistd.h)
36 AC_FUNC_VFORK
37
38 dnl Checks for typedefs, structures, and compiler characteristics.
39 AC_C_CONST
40
41 dnl Check for iconv with const pointer as second argument
42 AC_LANG_C
43
44 dnl Checks for libraries
45 AC_CHECK_LIB(gtk, gtk_window_new,
46         [
47                 CFLAGS="$CFLAGS `gtk-config --cflags`"
48                 CXXFLAGS="$CXXFLAGS `gtk-config --cflags`"
49                 LIBS="$LIBS `gtk-config --libs`"
50         ],
51         AC_MSG_ERROR(could not find GTK),
52         `gtk-config --libs`
53 )
54
55 AC_CHECK_LIB(minidom, mdom_node_get_type,
56         [
57                 CFLAGS="$CFLAGS `minidom-config --cflags`"
58                 CXXFLAGS="$CXXFLAGS `minidom-config --cflags`"
59                 LIBS="$LIBS `minidom-config --libs`"
60         ],
61         AC_MSG_ERROR(could not find minidom),
62         `minidom-config --libs` `glib-config --libs`
63 )
64
65 AC_CHECK_LIB(gtkmathview, gtk_math_view_new,
66         [
67                 CFLAGS="$CFLAGS `gtkmathview-config --cflags`"
68                 CXXFLAGS="$CXXFLAGS `gtkmathview-config --cflags`"
69                 LIBS="$LIBS `gtkmathview-config --libs`"
70         ],
71         AC_MSG_ERROR(cound not find gtkmathview),
72         `gtkmathview-config --libs`
73 )
74
75 if test $HAVE_COLORGCC = "yes"; then
76         CC=colorgcc
77         CXX=colorgcc
78 fi
79
80 CFLAGS="$CFLAGS -W -Wall"
81 CXXFLAGS="$CXXFLAGS -W -Wall"
82
83 AC_OUTPUT([
84 Makefile
85 helmpot.spec
86 ])