diff options
Diffstat (limited to 'config/symfpu.m4')
-rw-r--r-- | config/symfpu.m4 | 40 |
1 files changed, 40 insertions, 0 deletions
diff --git a/config/symfpu.m4 b/config/symfpu.m4 new file mode 100644 index 000000000..4e757685b --- /dev/null +++ b/config/symfpu.m4 @@ -0,0 +1,40 @@ +# CVC4_CHECK_FOR_SYMFPU +# ------------------ +# Look for symfpu and link it in, but only if user requested. +AC_DEFUN([CVC4_CHECK_FOR_SYMFPU], [ +AC_MSG_CHECKING([whether user requested symfpu support]) + +have_symfpu_headers=0 +if test "$with_symfpu" = no; then + AC_MSG_RESULT([no, symfpu disabled by user]) +elif test -n "$with_symfpu"; then + AC_MSG_RESULT([yes, symfpu requested by user]) + AC_ARG_VAR(SYMFPU_HOME, [path to top level of symfpu source tree]) + AC_ARG_WITH( + [symfpu-dir], + AS_HELP_STRING( + [--with-symfpu-dir=PATH], + [path to top level of symfpu source tree] + ), + SYMFPU_HOME="$withval", + [ if test -z "$SYMFPU_HOME" && ! test -e "$ac_abs_confdir/symfpu-CVC4/symfpu/core"; then + AC_MSG_FAILURE([must give --with-symfpu-dir=PATH, define environment variable SYMFPU_HOME, or use contrib/get-symfpu to setup symfpu for CVC4!]) + fi + ] + ) + + # Check if symfpu was installed via contrib/get-symfpu or SYMFPU_HOME or --with-symfpu-dir was set + AC_MSG_CHECKING([whether symfpu was installed via contrib/get-symfpu]) + if test -z "$SYMFPU_HOME" && test -e "$ac_abs_confdir/symfpu-CVC4/symfpu/core"; then + SYMFPU_HOME="$ac_abs_confdir/symfpu-CVC4" + AC_MSG_RESULT([yes, $SYMFPU_HOME]) + have_symfpu_headers=1 + else + AC_MSG_RESULT([no]) + fi +else + AC_MSG_RESULT([no, user didn't request symfpu]) + with_symfpu=no +fi + +])# CVC4_CHECK_FOR_SYMFPU |