version 1.68, 2019/03/23 12:17:15 |
version 1.70, 2019/11/12 10:52:04 |
|
|
fi |
fi |
|
|
|
|
GMPLIB="-L${libdir} -lmpc -lmpfr -lgmp" |
GMPLIB="-L${libdir} -lmpfi -lmpc -lmpfr -lgmp" |
# Check whether --enable-static_gmp was given. |
# Check whether --enable-static_gmp was given. |
if test "${enable_static_gmp+set}" = set; then : |
if test "${enable_static_gmp+set}" = set; then : |
enableval=$enable_static_gmp; enable_static_gmp=yes |
enableval=$enable_static_gmp; enable_static_gmp=yes |
|
|
fi |
fi |
|
|
|
|
ac_config_files="$ac_config_files Makefile engine/Makefile asm/Makefile builtin/Makefile fft/Makefile include/Makefile io/Makefile lib/Makefile parse/Makefile plot/Makefile" |
ac_config_files="$ac_config_files Makefile engine/Makefile asm/Makefile builtin/Makefile fft/Makefile include/Makefile io/Makefile lib/Makefile parse/Makefile plot/Makefile asir2000" |
|
|
cat >confcache <<\_ACEOF |
cat >confcache <<\_ACEOF |
# This file is a shell script that caches the results of configure |
# This file is a shell script that caches the results of configure |
|
|
"lib/Makefile") CONFIG_FILES="$CONFIG_FILES lib/Makefile" ;; |
"lib/Makefile") CONFIG_FILES="$CONFIG_FILES lib/Makefile" ;; |
"parse/Makefile") CONFIG_FILES="$CONFIG_FILES parse/Makefile" ;; |
"parse/Makefile") CONFIG_FILES="$CONFIG_FILES parse/Makefile" ;; |
"plot/Makefile") CONFIG_FILES="$CONFIG_FILES plot/Makefile" ;; |
"plot/Makefile") CONFIG_FILES="$CONFIG_FILES plot/Makefile" ;; |
|
"asir2000") CONFIG_FILES="$CONFIG_FILES asir2000" ;; |
|
|
*) as_fn_error $? "invalid argument: \`$ac_config_target'" "$LINENO" 5;; |
*) as_fn_error $? "invalid argument: \`$ac_config_target'" "$LINENO" 5;; |
esac |
esac |