3
AC_CONFIG_FILES([engine/doxygen/docs.conf])
4
AC_CONFIG_FILES([engine/regina-engine-config], [chmod +x engine/regina-engine-config])
5
AC_CONFIG_FILES([python/regina-python], [chmod +x python/regina-python])
6
AC_CONFIG_FILES([python/testsuite/testall], [chmod +x python/testsuite/testall])
10
# From the KDE configure scripts:
11
if test "$all_tests" = "bad"; then
12
if test ! "$cache_file" = "/dev/null"; then
14
echo "Please remove the file $cache_file after changing your setup"
15
echo "so that configure will find the changes next time."
20
echo "Good - your configure finished. Start make now."