X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhelmpot%2Fconfigure.in;fp=helm%2Fhelmpot%2Fconfigure.in;h=a5682856bd2095c825dde0fbc658dab1531ca3b4;hb=d70d5de1ec9ccc86c9df45036245af34c37575ea;hp=0000000000000000000000000000000000000000;hpb=99d60351f793983bb7633334ea59e95feb36c72c;p=helm.git

diff --git a/helm/helmpot/configure.in b/helm/helmpot/configure.in
new file mode 100644
index 000000000..a5682856b
--- /dev/null
+++ b/helm/helmpot/configure.in
@@ -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
+])