From ce711726506c7691feeabb96e9b307468c507925 Mon Sep 17 00:00:00 2001 From: Darek Stojaczyk Date: Tue, 7 May 2019 15:40:08 +0200 Subject: [PATCH] configure: fail --with-pmdk if libpmemblk is not available Change-Id: Ibbd84374dac6c2ac2eba30dd2664b8a4b56277a6 Signed-off-by: Darek Stojaczyk Reviewed-on: https://review.gerrithub.io/c/spdk/spdk/+/453707 Reviewed-by: Ben Walker Reviewed-by: Jim Harris Reviewed-by: Shuhei Matsumoto Tested-by: SPDK CI Jenkins --- configure | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/configure b/configure index 0380e3a25..f81a5ff5f 100755 --- a/configure +++ b/configure @@ -477,6 +477,15 @@ if [[ "${CONFIG[ISAL]}" = "y" ]]; then fi fi +if [[ "${CONFIG[PMDK]}" = "y" ]]; then + if ! echo -e '#include \nint main(void) { return 0; }\n' \ + | $BUILD_CMD -lpmemblk - 2>/dev/null; then + echo --with-pmdk requires libpmemblk. + echo Please install then re-run this script. + exit 1 + fi +fi + if [[ "${CONFIG[REDUCE]}" = "y" ]]; then if ! echo -e '#include \nint main(void) { return 0; }\n' \ | $BUILD_CMD -lpmem - 2>/dev/null; then