diff options
author | Ankit Meel <ankitjmeel@gmail.com> | 2020-09-26 10:48:02 +0300 |
---|---|---|
committer | Ankit Meel <ankitjmeel@gmail.com> | 2020-09-26 20:43:07 +0300 |
commit | fdf77341cdcb823656cba4885aa9136568d0a610 (patch) | |
tree | df058da6d60a627eae8460a6e9efbc9404fe826f /CMakeLists.txt | |
parent | 74bcb32c9f02a99ffa4b441aa5caa3e96f5be91f (diff) |
CMake: Remove duplicate WITH_GMP options.
I didn't realize there were more duplicates while committing
{rBf1fee433be92}.
Original was added in {rB83f8223543f58c3b0881a03b6e9ddffff91}.
Duplicate was added in the merge {rB9e09b5c418c0a436e3c84ccf}.
Ref D8822
Diffstat (limited to 'CMakeLists.txt')
-rw-r--r-- | CMakeLists.txt | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/CMakeLists.txt b/CMakeLists.txt index c858862df94..a7353d0b914 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -223,8 +223,6 @@ if(WITH_GHOST_X11) option(WITH_GHOST_XDND "Enable drag'n'drop support on X11 using XDND protocol" ON) endif() -option(WITH_GMP "Use the gmp library for more accurate booleans" OFF) - # Misc... option(WITH_HEADLESS "Build without graphical support (renderfarm, server mode only)" OFF) mark_as_advanced(WITH_HEADLESS) |