dnl Process this file with autoconf to produce a configure script.

AC_INIT([LEMON], [0.4], [etik-ol@cs.elte.hu], [lemon])

AC_CONFIG_AUX_DIR([config])

AM_INIT_AUTOMAKE

AC_CONFIG_SRCDIR([src/lemon/invalid.h])

AM_CONFIG_HEADER([config.h])

AC_PREREQ([2.53])

dnl Save user defined CXXFLAGS

dnl lx_user_cxxflags="$CXXFLAGS"

dnl Checks for programs.

AC_PROG_CXX

AC_PROG_CXXCPP

AC_PROG_INSTALL

AC_DISABLE_SHARED

AC_PROG_LIBTOOL

if test $CXX != icc -a $CXX != icpc; then

  CXXFLAGS="$CXXFLAGS -Wall -W"

fi

AC_CHECK_PROG([doxygen_found],[doxygen],[yes],[no])

dnl This is tested only with gcc-3.4 and icc-8.0

dnl LX_SET_CXXFLAGS

dnl Checks for libraries.

LX_CHECK_GLPK

LX_CHECK_CPLEX

LX_ENABLE_DOCS

LX_ENABLE_GUI

dnl Checks for header files.

AC_CHECK_HEADERS(limits.h sys/time.h sys/times.h unistd.h)

dnl Checks for typedefs, structures, and compiler characteristics.

AC_C_CONST

AC_C_INLINE

AC_TYPE_SIZE_T

AC_HEADER_TIME

AC_STRUCT_TM

dnl Checks for library functions.

AC_HEADER_STDC

AC_CHECK_FUNCS(gettimeofday times ctime_r)

AC_CONFIG_FILES([

Makefile

autopackage/default.apspec

doc/Makefile

doc/Doxyfile

src/Makefile

src/lemon/Makefile

src/lemon/lemon.pc

src/benchmark/Makefile

src/demo/Makefile

src/test/Makefile

src/gui/Makefile

])

AC_OUTPUT

echo

echo '****************************** SUMMARY ******************************'

echo

echo Package version............... : $PACKAGE-$VERSION

echo

echo C++ compiler.................. : $CXX

echo C++ compiles flags............ : $CXXFLAGS

echo

echo GLPK support.................. : $lx_glpk_found

echo CPLEX support................. : $lx_cplex_found

echo

echo build GUI..................... : $enable_gui

echo

echo The packace will be installed in

echo -n '  '

echo $prefix.

echo

echo The documentation will be installed in

echo -n '  '

eval eval eval echo ${datadir}/doc/$PACKAGE-$VERSION/html/index.html.

echo

echo '*********************************************************************'

echo

echo configure complete, now type \'make\'

echo