]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/helmpot/configure.in
This commit was manufactured by cvs2svn to create branch 'uwobo'.
[helm.git] / helm / helmpot / configure.in
diff --git a/helm/helmpot/configure.in b/helm/helmpot/configure.in
deleted file mode 100644 (file)
index 58025f8..0000000
+++ /dev/null
@@ -1,86 +0,0 @@
-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=3
-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
-])