diff --git a/CMakeLists.txt b/CMakeLists.txt
index 2a1d562ae..abac7db36 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -207,7 +207,7 @@ endif(CUSTOM_BOOST_ROOT)
 find_package(Boost 1.56.0 REQUIRED)
 
 if ((NOT Boost_LIBRARY_DIRS) OR ("${Boost_LIBRARY_DIRS}" STREQUAL ""))
-	set(Boost_LIBRARY_DIRS "${Boost_INCLUDE_DIRS}/stage/lib")
+    set(Boost_LIBRARY_DIRS "${Boost_INCLUDE_DIRS}/stage/lib")
 endif ()
 link_directories(${Boost_LIBRARY_DIRS})
 
@@ -427,14 +427,6 @@ if(ENABLE_CUDA)
 endif()
 
 
-if(GMP_FOUND)
-	link_directories(${GMP_LIBRARY_DIR})
-elseif(MPIR_FOUND)
-	link_directories(${GMP_MPIR_LIBRARY_DIR} ${GMP_MPIRXX_LIBRARY_DIR})
-endif(GMP_FOUND)
-
-
-
 #############################################################
 ##
 ##	CUDD