skip if neither core nor leda are present

This commit is contained in:
Sébastien Loriot 2024-01-03 18:18:42 +01:00
parent 82fbb89509
commit 3a8ced2ec9
1 changed files with 8 additions and 1 deletions

View File

@ -14,7 +14,9 @@
#include <CGAL/Simple_cartesian.h> #include <CGAL/Simple_cartesian.h>
#include <CGAL/Simple_homogeneous.h> #include <CGAL/Simple_homogeneous.h>
#if defined(CGAL_USE_CORE) || defined(CGAL_USE_LEDA)
#include <CGAL/Exact_predicates_exact_constructions_kernel_with_kth_root.h> #include <CGAL/Exact_predicates_exact_constructions_kernel_with_kth_root.h>
#endif
#include <CGAL/Filtered_kernel.h> #include <CGAL/Filtered_kernel.h>
#include <CGAL/Has_conversion.h> #include <CGAL/Has_conversion.h>
@ -36,13 +38,16 @@ int main()
typedef CGAL::Simple_homogeneous<NT_exact> SH; typedef CGAL::Simple_homogeneous<NT_exact> SH;
typedef CGAL::Filtered_kernel<SH> FSH; typedef CGAL::Filtered_kernel<SH> FSH;
#if defined(CGAL_USE_CORE) || defined(CGAL_USE_LEDA)
typedef CGAL::Exact_predicates_exact_constructions_kernel_with_kth_root EPECK; typedef CGAL::Exact_predicates_exact_constructions_kernel_with_kth_root EPECK;
CGAL_USE_TYPE(EPECK);
#endif
CGAL_USE_TYPE(ASC); CGAL_USE_TYPE(ASC);
CGAL_USE_TYPE(FSC); CGAL_USE_TYPE(FSC);
CGAL_USE_TYPE(SH); CGAL_USE_TYPE(SH);
CGAL_USE_TYPE(FSH); CGAL_USE_TYPE(FSH);
CGAL_USE_TYPE(EPECK);
assert((CGAL::Has_conversion<SC, SC, SC::Point_2, SC::Point_2>::value)); assert((CGAL::Has_conversion<SC, SC, SC::Point_2, SC::Point_2>::value));
assert((CGAL::Has_conversion<SC, SC, SC::Object_2, SC::Object_2>::value)); assert((CGAL::Has_conversion<SC, SC, SC::Object_2, SC::Object_2>::value));
@ -55,10 +60,12 @@ int main()
assert((CGAL::Has_conversion<SH, FSH, SH::Vector_3, FSH::Vector_3>::value)); assert((CGAL::Has_conversion<SH, FSH, SH::Vector_3, FSH::Vector_3>::value));
assert((CGAL::Has_conversion<SC, ASC, SC::Sphere_3, ASC::Sphere_3>::value)); assert((CGAL::Has_conversion<SC, ASC, SC::Sphere_3, ASC::Sphere_3>::value));
#if defined(CGAL_USE_CORE) || defined(CGAL_USE_LEDA)
assert((CGAL::Has_conversion<SC, EPECK, SC::Triangle_2, EPECK::Triangle_2>::value)); assert((CGAL::Has_conversion<SC, EPECK, SC::Triangle_2, EPECK::Triangle_2>::value));
assert((CGAL::Has_conversion<EPECK, SC, EPECK::Circle_3, SC::Circle_3>::value)); assert((CGAL::Has_conversion<EPECK, SC, EPECK::Circle_3, SC::Circle_3>::value));
assert(!(CGAL::Has_conversion<SC, EPECK, SC::Weighted_point_2, EPECK::Weighted_point_3>::value)); assert(!(CGAL::Has_conversion<SC, EPECK, SC::Weighted_point_2, EPECK::Weighted_point_3>::value));
#endif
assert(!(CGAL::Has_conversion<SC, ASC, SC::Point_2, ASC::Weighted_point_2>::value)); assert(!(CGAL::Has_conversion<SC, ASC, SC::Point_2, ASC::Weighted_point_2>::value));
// below will produce static assert failures // below will produce static assert failures