diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2018-05-14 15:36:52 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-05-14 15:36:52 -0700 |
commit | 0c6681152ca422f7ace1bd1d3c3dac7823de2c14 (patch) | |
tree | 84b7ab5df824cb26df70b437b6bb7ad41c30aadb /config | |
parent | b5264346e85bc7ca0235048f686cc252c60b0014 (diff) |
Add contrib/get-symfpu for downloading symfpu. (#1905)
Diffstat (limited to 'config')
-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 |