From e2e623c8a72e81d33626cfa6ed42ac83d2028a26 Mon Sep 17 00:00:00 2001 From: Laurent Rineau Date: Tue, 21 Jul 2020 17:24:47 +0200 Subject: [PATCH] Without find_package(GMP), GMP_FOUND does not exist in this scope ... and then some programs are not tested. --- Number_types/test/Number_types/CMakeLists.txt | 1 + 1 file changed, 1 insertion(+) diff --git a/Number_types/test/Number_types/CMakeLists.txt b/Number_types/test/Number_types/CMakeLists.txt index 4f4cd1ab3b6..68ff96cb432 100644 --- a/Number_types/test/Number_types/CMakeLists.txt +++ b/Number_types/test/Number_types/CMakeLists.txt @@ -68,6 +68,7 @@ if ( CGAL_FOUND ) create_single_source_cgal_program( "to_interval_test.cpp" ) create_single_source_cgal_program( "unsigned.cpp" ) create_single_source_cgal_program( "utilities.cpp" ) + find_package( GMP ) if( GMP_FOUND ) create_single_source_cgal_program( "CORE_Expr_ticket_4296.cpp" ) find_package( MPFI )