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
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
|
# CVC4_CHECK_FOR_LFSC
# ------------------
# Look for LFSC and link it in, but only if user requested.
AC_DEFUN([CVC4_CHECK_FOR_LFSC], [
AC_MSG_CHECKING([whether user requested LFSC support])
have_liblfsc=0
LFSC_LIBS=
LFSC_LDFLAGS=
if test "$with_lfsc" = no; then
AC_MSG_RESULT([no, LFSC disabled by user])
elif test -n "$with_lfsc"; then
AC_MSG_RESULT([yes, LFSC requested by user])
AC_ARG_VAR(LFSC_HOME, [path to top level of LFSC source tree])
AC_ARG_WITH(
[lfsc-dir],
AS_HELP_STRING(
[--with-lfsc-dir=PATH],
[path to top level of lfsc source tree]
),
[LFSC_HOME="$withval"],
[]
)
if test -z "$LFSC_HOME" -a -e "$ac_abs_confdir/lfsc-checker"; then
AC_MSG_CHECKING([for LFSC checker library])
LFSC_HOME="$ac_abs_confdir/lfsc-checker/install"
AC_MSG_RESULT([found LFSC checker in $LFSC_HOME])
fi
if test -z "$LFSC_HOME"; then
AC_MSG_FAILURE([must give --with-lfsc-dir=PATH or define environment variable LFSC_HOME!])
fi
if ! test -d "$LFSC_HOME" || ! test -x "$LFSC_HOME/bin/lfscc" ; then
AC_MSG_FAILURE([either $LFSC_HOME is not a LFSC install tree or it's not yet built])
fi
CPPFLAGS="$CPPFLAGS -I$LFSC_HOME/include"
AC_MSG_CHECKING([how to link LFSC])
CVC4_TRY_LFSC_LIB
if test -z "$LFSC_LIBS"; then
AC_MSG_FAILURE([cannot link against liblfscc!])
else
AC_MSG_RESULT([$LFSC_LIBS])
have_liblfsc=1
fi
LFSC_LDFLAGS="-L$LFSC_HOME/lib"
else
AC_MSG_RESULT([no, user didn't request LFSC])
with_lfsc=no
fi
])# CVC4_CHECK_FOR_LFSC
# CVC4_TRY_LFSC_LIB
# ------------------------------
# Try AC_CHECK_LIB(lfsc) with the given linking libraries
AC_DEFUN([CVC4_TRY_LFSC_LIB], [
AC_LANG_PUSH([C++])
cvc4_save_LIBS="$LIBS"
cvc4_save_LDFLAGS="$LDFLAGS"
cvc4_save_CPPFLAGS="$CPPFLAGS"
LDFLAGS="-L$LFSC_HOME/lib"
LIBS="-llfscc -lgmp"
AC_LINK_IFELSE(
[AC_LANG_PROGRAM([[#include <lfscc.h>]], [[lfscc_init()]])],
[LFSC_LIBS="-llfscc -lgmp"],
[LFSC_LIBS=])
LDFLAGS="$cvc4_save_LDFLAGS"
CPPFLAGS="$cvc4_save_CPPFLAGS"
LIBS="$cvc4_save_LIBS"
AC_LANG_POP([C++])
])# CVC4_TRY_LFSC_LIB
|
