diff --git a/CMakeLists.txt b/CMakeLists.txt
index 4125fbb7100df5b6a571e95c1f776a8ccb3053aa..19c95c975fd957145c143ea6ed09b2cfd29f29e0 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -537,6 +537,10 @@ if(ENABLE_KBIPACK)
     add_subdirectory(contrib/kbipack)
     include_directories(contrib/kbipack)
     set_config_option(HAVE_KBIPACK "Kbipack")
+  else(GMP_LIB AND GMP_INC)
+    add_subdirectory(contrib/kbipack)
+    include_directories(contrib/kbipack)
+    set_config_option(HAVE_KBIPACK "Kbipack")
   endif(GMP_LIB AND GMP_INC)
 endif(ENABLE_KBIPACK)