X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2Fhelmpot%2Fconfigure.in;fp=helm%2Fhelmpot%2Fconfigure.in;h=0000000000000000000000000000000000000000;hp=640472467942c1877b5447eb781cdb360e2107c0;hb=869549224eef6278a48c16ae27dd786376082b38;hpb=89262281b6e83bd2321150f81f1a0583645eb0c8

diff --git a/helm/helmpot/configure.in b/helm/helmpot/configure.in
deleted file mode 100644
index 640472467..000000000
--- a/helm/helmpot/configure.in
+++ /dev/null
@@ -1,82 +0,0 @@
-dnl Process this file with autoconf to produce a configure script.
-AC_INIT(main.c)
-
-HELMPOT_MAJOR_VERSION=0
-HELMPOT_MINOR_VERSION=1
-HELMPOT_MICRO_VERSION=0
-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
-AM_PATH_GTK(1.2.0, gtklib="yes", gtklib="no")
-
-if test $gtklib = "no"; then
-	AC_MSG_ERROR(GTK is needed in order to use helmpot)
-fi
-
-AC_CHECK_PROG(HAVE_GTKMATHVIEW_CONFIG, gtkmathview-config, yes, no)
-if test $HAVE_GTKMATHVIEW_CONFIG = "no"; then
-	AC_MSG_ERROR(gtkmathview is required)
-fi
-
-GTKMATHVIEW_MIN_VERSION=0.3.0
-AC_MSG_CHECKING(for gtkmathview >= $GTKMATHVIEW_MIN_VERSION)
-vers=`gtkmathview-config --version | awk -F. '{ printf "%d", ($1 * 1000 + $2) * 1000 + $3;}'`
-minvers=`echo $GTKMATHVIEW_MIN_VERSION | awk -F. '{ printf "%d", ($1 * 1000 + $2) * 1000 + $3;}'`
-if test "$vers" -lt "$minvers"; then
-	AC_MSG_RESULT(not found)
-	AC_MSG_ERROR(gtkmathview >= $GTKMATHVIEW_MIN_VERSION is required)
-else
-	AC_MSG_RESULT(found)
-fi
-
-CFLAGS="$CFLAGS `gtkmathview-config --cflags`"
-CXXFLAGS="$CXXFLAGS `gtkmathview-config --cflags`"
-LIBS="$LIBS `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
-])