michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Require GMP version 5.0.5

Browse source
This commit is contained in:
Soonho Kong 2013-08-05 19:33:33 -07:00
parent d88ff6f8e1
commit 59ec8357f4
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/CMakeLists.txt
View file

@ -30,7 +30,7 @@ else ()
endif ()
# GMP
find_package(GMP)
find_package(GMP 5.0.5)
set(EXTRA_LIBS ${EXTRA_LIBS} ${GMP_LIBRARIES})
# MPFR