blob: 4e757685b00fae9c6636bc9b6b42d2fe3aa2b470 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
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
|