diff options
| author | Lei Zhang <antiagainst@gmail.com> | 2013-09-15 14:11:20 -0400 |
|---|---|---|
| committer | Lei Zhang <antiagainst@gmail.com> | 2013-12-08 09:21:26 -0500 |
| commit | 67bfeaa6f6cd9f46a1d5131ab0b831913922eb3d (patch) | |
| tree | c01c1b8d0b11a3f38c7a028abb7feb53fff2342d /autoconf/configure.ac | |
| parent | 0efeb6c1826238fd732be11a94cc3403d78be8cc (diff) | |
| download | klee-67bfeaa6f6cd9f46a1d5131ab0b831913922eb3d.tar.gz | |
Add chroot jail support in klee-replay.
Diffstat (limited to 'autoconf/configure.ac')
| -rw-r--r-- | autoconf/configure.ac | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/autoconf/configure.ac b/autoconf/configure.ac index 6d846d5d..82574314 100644 --- a/autoconf/configure.ac +++ b/autoconf/configure.ac @@ -306,6 +306,15 @@ AC_LANG_PUSH([C]) AC_CHECK_HEADERS([sys/acl.h]) +AC_CHECK_LIB([cap], [cap_get_proc], [have_cap=yes], [have_cap=no]) +if test "x${have_cap}" = xyes; then + AC_CHECK_HEADERS([sys/capability.h], [], [have_cap=no]) +fi +if test "x${have_cap}" = xno; then + AC_MSG_ERROR([Library cap and its header file sys/capability.h required for \ +klee-replay. Please install package libcap-dev/libcap-devel.]) +fi + AC_LANG_POP([C]) AC_CHECK_HEADERS([selinux/selinux.h], |