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

Update util/numerics/CMakeLists.txt to add mpfp, double, float

Browse source
This commit is contained in:
Soonho Kong 2013-08-06 01:07:55 -07:00
parent 975730a3fb
commit 5efd2fdd6f
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/util/numerics/CMakeLists.txt
View file

@ -1 +1 @@
add_library(numerics gmp_init.cpp mpz.cpp mpq.cpp mpbq.cpp numeric_traits.cpp) add_library(numerics gmp_init.cpp mpz.cpp mpq.cpp mpbq.cpp mpfp.cpp float.cpp double.cpp numeric_traits.cpp)