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

Fix CMakeLists.txt

Browse source
This commit is contained in:
Soonho Kong 2013-08-05 19:16:52 -07:00
parent 52232f37cb
commit 8dab224137
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
src/CMakeLists.txt
View file

@ -30,10 +30,11 @@ else ()
endif ()
# GMP
find_package(GMP)
set(EXTRA_LIBS ${EXTRA_LIBS} ${GMP_LIBRARIES})
# MPFR
find_package(MPFR 2.3.0)
find_package(MPFR 3.1.0)
set(EXTRA_LIBS ${EXTRA_LIBS} ${MPFR_LIBRARIES})
# Flex and Bison