From a0908ba3c5373366adfbfb8c8d278d64bce45af1 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Fri, 19 Jul 2013 14:18:18 -0700 Subject: [PATCH] Add missing library, the interval library contains the explicit instantiation of interval and interval Signed-off-by: Leonardo de Moura --- src/CMakeLists.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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)