AC_INIT(configure.in) AM_INIT_AUTOMAKE(paradiseo-mo, 0.1) AC_ISC_POSIX AC_PROG_CXX AM_PROG_CC_STDC AC_HEADER_STDC #AC_CXX_HAVE_SSTREAM AC_PROG_RANLIB AC_PROG_INSTALL AC_PROG_LN_S AC_PROG_MAKE_SET AC_C_CONST AC_C_INLINE AC_TYPE_SIZE_T AC_SUBST(EO_DIR) dnl EO AC_ARG_WITH(EOdir, --with-EOdir : Giving the path of the EO tree., dnl Well done :-) EO_DIR="$withval" if test ! -d $EO_DIR then echo "" echo "# --with-EOdir Invalid directory $withval" exit 1 fi, dnl Bouhhhh !!!! echo "" echo "# You forgot to give the path of the EO tree !" echo "# Please write something like ... './configure --with-EOdir=\$HOME/eo'" exit 1 ) AC_OUTPUT([ Makefile src/Makefile docs/Makefile tutorial/Makefile tutorial/examples/Makefile tutorial/examples/tsp/Makefile tutorial/examples/tsp/src/Makefile tutorial/Lesson1/Makefile tutorial/Lesson2/Makefile tutorial/Lesson3/Makefile ]) echo "Type 'make doc' for building documentation"