diff options
| author | Damien Zammit <damien@zamaudio.com> | 2020-03-29 22:37:23 +1100 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2020-04-11 18:34:32 +0200 |
| commit | 78f3d3ee0b18456f28a4605e62a3057a6b0b64c5 (patch) | |
| tree | be9bd942940df08eb426799168f23054c9a06220 /configure.ac | |
| parent | b4ca6cb2acdfd30e6ef14e314ed1cb6f487c9fa2 (diff) | |
rumpdisk: Add userspace disk support via librump
Diffstat (limited to 'configure.ac')
| -rw-r--r-- | configure.ac | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/configure.ac b/configure.ac index 897a9146..2d7ff5ca 100644 --- a/configure.ac +++ b/configure.ac @@ -243,6 +243,10 @@ 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_SUBST([HAVE_LIBRUMP]) + AC_ARG_ENABLE(boot-store-types, [ --enable-boot-store-types=TYPES... list of store types included in statically |