]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/helmpot/configure.in
This commit was manufactured by cvs2svn to create branch 'start'.
[helm.git] / helm / helmpot / configure.in
diff --git a/helm/helmpot/configure.in b/helm/helmpot/configure.in
new file mode 100644 (file)
index 0000000..a568285
--- /dev/null
@@ -0,0 +1,86 @@
+dnl Process this file with autoconf to produce a configure script.
+AC_INIT(main.c)
+
+HELMPOT_MAJOR_VERSION=0
+HELMPOT_MINOR_VERSION=0
+HELMPOT_MICRO_VERSION=1
+HELMPOT_VERSION=$HELMPOT_MAJOR_VERSION.$HELMPOT_MINOR_VERSION.$HELMPOT_MICRO_VERSION
+VERSION=$HELMPOT_VERSION
+
+AC_SUBST(HELMPOT_VERSION)
+
+AC_ARG_ENABLE(
+       checks,
+       [  --enable-checks[=ARG]   include debugging checks [default=yes]],
+       [
+               if test $enableval = yes; then
+                       AC_DEFINE(ENABLE_CHECKS)
+               fi
+       ],
+       AC_DEFINE(ENABLE_CHECKS)
+)
+
+dnl Automake configuration
+AM_CONFIG_HEADER(config.h)
+AM_INIT_AUTOMAKE(helmpot, $HELMPOT_VERSION)
+
+dnl Checks for programs.
+AC_LANG_C
+AC_PROG_CC
+AC_ISC_POSIX
+AC_CHECK_PROG(HAVE_COLORGCC, colorgcc, yes, no)
+
+dnl Checks for header files.
+AC_HEADER_STDC
+AC_CHECK_HEADERS(unistd.h)
+AC_FUNC_VFORK
+
+dnl Checks for typedefs, structures, and compiler characteristics.
+AC_C_CONST
+
+dnl Check for iconv with const pointer as second argument
+AC_LANG_C
+
+dnl Checks for libraries
+AC_CHECK_LIB(gtk, gtk_window_new,
+       [
+               CFLAGS="$CFLAGS `gtk-config --cflags`"
+               CXXFLAGS="$CXXFLAGS `gtk-config --cflags`"
+               LIBS="$LIBS `gtk-config --libs`"
+       ],
+       AC_MSG_ERROR(could not find GTK),
+       `gtk-config --libs`
+)
+
+AC_CHECK_LIB(minidom, mdom_node_get_type,
+       [
+               CFLAGS="$CFLAGS `minidom-config --cflags`"
+               CXXFLAGS="$CXXFLAGS `minidom-config --cflags`"
+               LIBS="$LIBS `minidom-config --libs`"
+       ],
+       AC_MSG_ERROR(could not find minidom),
+       `minidom-config --libs` `glib-config --libs`
+)
+
+AC_CHECK_LIB(gtkmathview, gtk_math_view_new,
+       [
+               CFLAGS="$CFLAGS `gtkmathview-config --cflags`"
+               CXXFLAGS="$CXXFLAGS `gtkmathview-config --cflags`"
+               LIBS="$LIBS `gtkmathview-config --libs`"
+       ],
+       AC_MSG_ERROR(cound not find gtkmathview),
+       `gtkmathview-config --libs`
+)
+
+if test $HAVE_COLORGCC = "yes"; then
+       CC=colorgcc
+       CXX=colorgcc
+fi
+
+CFLAGS="$CFLAGS -W -Wall"
+CXXFLAGS="$CXXFLAGS -W -Wall"
+
+AC_OUTPUT([
+Makefile
+helmpot.spec
+])