diff options
Diffstat (limited to 'config/symfpu.m4')
-rw-r--r-- | config/symfpu.m4 | 40 |
1 files changed, 0 insertions, 40 deletions
diff --git a/config/symfpu.m4 b/config/symfpu.m4 deleted file mode 100644 index 4e757685b..000000000 --- a/config/symfpu.m4 +++ /dev/null @@ -1,40 +0,0 @@ -# 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 |