1 AC_INIT([runfinite], [1.0], [shuber2@gmx.at])
2 AC_CONFIG_AUX_DIR([build-aux])
3 AM_INIT_AUTOMAKE([-Wall -Werror foreign])
10 #Options which will be given by user (taken from configure.in of VRONI)
12 [AC_ARG_ENABLE($1, AS_HELP_STRING([--enable-$1], [$2 (default is $4)]),
13 [$3="$enableval"],[$3="$4"])])
17 ADDOPT(debug, [enable code debugging], with_debug, no)
20 if test "$with_debug" == "yes";
24 CXXFLAGS="-O2 -DNDEBUG"
29 CXXFLAGS+=" -Wall -pthread"
36 AC_CONFIG_HEADERS([config.h])
37 AC_CONFIG_FILES([Makefile src/Makefile])