Enable KBIPACK, i.e. homology and cohomology computation, even when the GMP...

Enable KBIPACK, i.e. homology and cohomology computation, even when the GMP library is not available.

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)