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=3d31a0d548439b13170ae4c321406bde60ddbb44;hb=3ef089a4c58fbe429dd539af6215991ecbe11ee2;hpb=1c7fb836e2af4f2f3d18afd0396701f2094265ff

diff --git a/helm/helmpot/configure.in b/helm/helmpot/configure.in
deleted file mode 100644
index 3d31a0d54..000000000
--- a/helm/helmpot/configure.in
+++ /dev/null
@@ -1,70 +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
-
-CFLAGS="$CFLAGS @GTKMATHVIEW_CFLAGS@"
-CXXFLAGS="$CXXFLAGS @GTKMATHVIEW_CFLAGS@"
-LIBS="$LIBS @GTKMATHVIEW_LIBS@"
-
-PKG_CHECK_MODULES(GTKMATHVIEW, gtkmathview >= 0.3.0,, AC_MSG_ERROR(could not find gtkmathview))
-AC_SUBST(GTKMATHVIEW_CFLAGS)
-AC_SUBST(GTKMATHVIEW_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
-])