diff options
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -20541,7 +20541,7 @@ LIBS="$glademm_LIBS $GTKGLEXT_LIBS $libxml_LIBS $LIBS" # Checks for library functions. -ac_config_files="$ac_config_files Makefile src/Makefile src/Data/Makefile src/Gui/Makefile src/Util/Makefile src/View/Makefile" +ac_config_files="$ac_config_files Makefile src/Makefile src/Data/Makefile src/Gui/Makefile src/Math/Makefile src/Util/Makefile src/View/Makefile" cat >confcache <<\_ACEOF # This file is a shell script that caches the results of configure @@ -21140,6 +21140,7 @@ do "src/Makefile") CONFIG_FILES="$CONFIG_FILES src/Makefile" ;; "src/Data/Makefile") CONFIG_FILES="$CONFIG_FILES src/Data/Makefile" ;; "src/Gui/Makefile") CONFIG_FILES="$CONFIG_FILES src/Gui/Makefile" ;; + "src/Math/Makefile") CONFIG_FILES="$CONFIG_FILES src/Math/Makefile" ;; "src/Util/Makefile") CONFIG_FILES="$CONFIG_FILES src/Util/Makefile" ;; "src/View/Makefile") CONFIG_FILES="$CONFIG_FILES src/View/Makefile" ;; |