Move mpz, mpq and mpbq to numerics directory

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
2013-07-17 14:33:00 -07:00 · 2013-07-17 14:33:00 -07:00 · 4ccf770b64
commit 4ccf770b64
parent d028041135
10 changed files with 4 additions and 2 deletions
--- a/src/CMakeLists.txt
+++ b/src/CMakeLists.txt
@ -41,5 +41,6 @@ mark_as_advanced(GMP_INCLUDE_DIR GMP_LIBRARIES)
 set (CMAKE_CXX_COMPILER clang++)

 add_subdirectory(util)
+add_subdirectory(numerics)
 add_subdirectory(shell)

--- a/src/numerics/gmp_init.cpp
+++ b/src/numerics/gmp_init.cpp
--- a/src/numerics/mpbq.cpp
+++ b/src/numerics/mpbq.cpp
--- a/src/numerics/mpbq.h
+++ b/src/numerics/mpbq.h
--- a/src/numerics/mpq.cpp
+++ b/src/numerics/mpq.cpp
--- a/src/numerics/mpq.h
+++ b/src/numerics/mpq.h
--- a/src/numerics/mpz.cpp
+++ b/src/numerics/mpz.cpp
--- a/src/numerics/mpz.h
+++ b/src/numerics/mpz.h
--- a/src/shell/CMakeLists.txt
+++ b/src/shell/CMakeLists.txt
@ -6,7 +6,8 @@ configure_file (
 include_directories("${LEAN_BINARY_DIR}")

 include_directories (${LEAN_SOURCE_DIR}/util) 
-set (EXTRA_LIBS ${EXTRA_LIBS} util ${GMP_LIBRARIES})
+include_directories (${LEAN_SOURCE_DIR}/numerics) 
+set (EXTRA_LIBS ${EXTRA_LIBS} util numerics ${GMP_LIBRARIES})

 set (CMAKE_EXE_LINKER_FLAGS "${CMAKE_EXE_LINKER_FLAGS} -pthread")

--- a/src/util/CMakeLists.txt
+++ b/src/util/CMakeLists.txt
@ -1 +1 @@
-add_library(util trace.cpp debug.cpp name.cpp exception.cpp gmp_init.cpp mpz.cpp mpq.cpp mpbq.cpp)
+add_library(util trace.cpp debug.cpp name.cpp exception.cpp)