diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
index 79ed3faa46..e6b74a5e13 100644
--- a/src/CMakeLists.txt
+++ b/src/CMakeLists.txt
@@ -42,7 +42,7 @@ include_directories(${LEAN_SOURCE_DIR}/interval)
 add_subdirectory(util)
 add_subdirectory(numerics)
 add_subdirectory(interval)
-set(EXTRA_LIBS ${EXTRA_LIBS} util numerics ${GMP_LIBRARIES})
+set(EXTRA_LIBS ${EXTRA_LIBS} util numerics interval ${GMP_LIBRARIES})
 set(CMAKE_EXE_LINKER_FLAGS "${CMAKE_EXE_LINKER_FLAGS} -pthread")
 add_subdirectory(shell)
 add_subdirectory(tests/numerics)