summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2020-04-11 18:35:30 +0200
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2020-04-11 18:35:56 +0200
commit61ea190ac347ab091882a827b3549a08bdd47f6c (patch)
tree853c81c5e58ab779171e2ccf0ce6bbc94489f22e
parent78f3d3ee0b18456f28a4605e62a3057a6b0b64c5 (diff)
rump: do not build if rump/rump.h can't be found
* configure.ac: Combine tests for rump/rump.h and librump.
-rw-r--r--configure.ac5
1 files changed, 3 insertions, 2 deletions
diff --git a/configure.ac b/configure.ac
index 2d7ff5ca..7d645d11 100644
--- a/configure.ac
+++ b/configure.ac
@@ -243,8 +243,9 @@ AS_IF([test "x$with_libz" != xno], [
])
AC_SUBST([HAVE_LIBZ])
-AC_CHECK_HEADER([rump/rump.h], [HAVE_LIBRUMP=yes], [HAVE_LIBRUMP=no])
-AC_CHECK_LIB(rump, rump_init, [HAVE_LIBRUMP=yes], [HAVE_LIBRUMP=no])
+AC_CHECK_HEADER([rump/rump.h], [
+ AC_CHECK_LIB(rump, rump_init, [HAVE_LIBRUMP=yes], [HAVE_LIBRUMP=no])
+ ], [HAVE_LIBRUMP=no])
AC_SUBST([HAVE_LIBRUMP])
AC_ARG_ENABLE(boot-store-types,