diff options
Diffstat (limited to 'lib/gmp')
| -rw-r--r-- | lib/gmp/CMakeLists.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/gmp/CMakeLists.txt b/lib/gmp/CMakeLists.txt index 884c4d389..f0604a43d 100644 --- a/lib/gmp/CMakeLists.txt +++ b/lib/gmp/CMakeLists.txt @@ -1,3 +1,3 @@ -add_library(gmp mini-gmp.c) +add_library(gmp STATIC mini-gmp.c) target_link_libraries(gmp) |