- AC_PATH_PROG(GINACLIB_CONFIG, ginac-config, no)
- min_ginac_version=ifelse([$1], ,0.4.0,$1)
- AC_MSG_CHECKING(for GiNaC - version >= $min_ginac_version)
- no_ginac=""
- if test "$GINACLIB_CONFIG" = "no" ; then
- no_ginac=yes
- else
- GINACLIB_CPPFLAGS=`$GINACLIB_CONFIG $ginacconf_args --cppflags`
- GINACLIB_LIBS=`$GINACLIB_CONFIG $ginacconf_args --libs`
-
- ginac_major_version=`$GINACLIB_CONFIG $ginac_args --version | \
- sed 's/\([[0-9]]*\).\([[0-9]]*\).\([[0-9]]*\)/\1/'`
- ginac_minor_version=`$GINACLIB_CONFIG $ginac_args --version | \
- sed 's/\([[0-9]]*\).\([[0-9]]*\).\([[0-9]]*\)/\2/'`
- ginac_micro_version=`$GINACLIB_CONFIG $ginac_config_args --version | \
- sed 's/\([[0-9]]*\).\([[0-9]]*\).\([[0-9]]*\)/\3/'`
- if test "x$enable_ginactest" = "xyes" ; then
- ac_save_CPPFLAGS="$CPPFLAGS"
- ac_save_LIBS="$LIBS"
- CPPFLAGS="$CPPFLAGS $GINACLIB_CPPFLAGS"
- LIBS="$LIBS $GINACLIB_LIBS"
-dnl
-dnl Now check if the installed GiNaC is sufficiently new. (Also sanity
-dnl checks the results of ginac-config to some extent
-dnl
- rm -f conf.ginactest
- AC_TRY_RUN([
+AC_PATH_PROG(GINACLIB_CONFIG, ginac-config, no)
+ginac_min_version=ifelse([$1], ,0.7.0,$1)
+AC_MSG_CHECKING(for GiNaC - version >= $ginac_min_version)
+if test "$GINACLIB_CONFIG" = "no" ; then
+ AC_MSG_RESULT(no)
+ echo "*** The ginac-config script installed by GiNaC could not be found"
+ echo "*** If GiNaC was installed in PREFIX, make sure PREFIX/bin is in"
+ echo "*** your path, or set the GINACLIB_CONFIG environment variable to the"
+ echo "*** full path to ginac-config."
+ ifelse([$3], , :, [$3])
+else
+dnl Parse required version and the result of ginac-config.
+ ginac_min_major_version=`echo $ginac_min_version | \
+ sed 's/\([[0-9]]*\).\([[0-9]]*\).\([[0-9]]*\)/\1/'`
+ ginac_min_minor_version=`echo $ginac_min_version | \
+ sed 's/\([[0-9]]*\).\([[0-9]]*\).\([[0-9]]*\)/\2/'`
+ ginac_min_micro_version=`echo $ginac_min_version | \
+ sed 's/\([[0-9]]*\).\([[0-9]]*\).\([[0-9]]*\)/\3/'`
+ GINACLIB_CPPFLAGS=`$GINACLIB_CONFIG $ginac_args --cppflags`
+ GINACLIB_LIBS=`$GINACLIB_CONFIG $ginac_args --libs`
+ ginac_config_major_version=`$GINACLIB_CONFIG $ginac_args --version | \
+ sed 's/\([[0-9]]*\).\([[0-9]]*\).\([[0-9]]*\)/\1/'`
+ ginac_config_minor_version=`$GINACLIB_CONFIG $ginac_args --version | \
+ sed 's/\([[0-9]]*\).\([[0-9]]*\).\([[0-9]]*\)/\2/'`
+ ginac_config_micro_version=`$GINACLIB_CONFIG $ginac_args --version | \
+ sed 's/\([[0-9]]*\).\([[0-9]]*\).\([[0-9]]*\)/\3/'`
+dnl Check if the installed GiNaC is sufficiently new according to ginac-config.
+ if test \( $ginac_config_major_version -lt $ginac_min_major_version \) -o \
+ \( $ginac_config_major_version -eq $ginac_min_major_version -a $ginac_config_minor_version -lt $ginac_min_minor_version \) -o \
+ \( $ginac_config_major_version -eq $ginac_min_major_version -a $ginac_config_minor_version -eq $ginac_min_minor_version -a $ginac_config_micro_version -lt $ginac_min_micro_version \); then
+ echo -e "\n*** 'ginac-config --version' returned $ginac_config_major_version.$ginac_config_minor_version.$ginac_config_micro_version, but the minimum version"
+ echo "*** of GiNaC required is $ginac_min_major_version.$ginac_min_minor_version.$ginac_min_micro_version. If ginac-config is correct, then it is"
+ echo "*** best to upgrade to the required version."
+ echo "*** If ginac-config was wrong, set the environment variable GINACLIB_CONFIG"
+ echo "*** to point to the correct copy of ginac-config, and remove the file"
+ echo "*** config.cache before re-running configure."
+ ifelse([$3], , :, [$3])
+ else
+dnl The versions match so far. Now do a sanity check: Does the result of ginac-config
+dnl match the version of the headers and the version built into the library, too?
+ no_ginac=""
+ if test "x$enable_ginactest" = "xyes" ; then
+ ac_save_CPPFLAGS="$CPPFLAGS"
+ ac_save_LIBS="$LIBS"
+ CPPFLAGS="$CPPFLAGS $GINACLIB_CPPFLAGS"
+ LIBS="$LIBS $GINACLIB_LIBS"
+ rm -f conf.ginactest
+ AC_TRY_RUN([