mirror of https://github.com/CGAL/cgal
REMOVE_ITEM does not work with an empty list
This commit is contained in:
parent
d1d70fdce7
commit
2edb2bdfe7
|
|
@ -524,7 +524,10 @@ set_special_prefix(Coin3D COIN3D)
|
|||
|
||||
# some libraries are essential (stl and Boost.Thread are treated in another way)
|
||||
if("$ENV{CGAL_DISABLE_GMP}" OR CGAL_DISABLE_GMP)
|
||||
list(REMOVE_ITEM CGAL_ESSENTIAL_3RD_PARTY_LIBRARIES GMP MPFR)
|
||||
list(LENGTH CGAL_ESSENTIAL_3RD_PARTY_LIBRARIES CGAL_ESSENTIAL_LENGTH)
|
||||
if(NOT CGAL_ESSENTIAL_LENGTH EQUAL 0)
|
||||
list(REMOVE_ITEM CGAL_ESSENTIAL_3RD_PARTY_LIBRARIES GMP MPFR)
|
||||
endif()
|
||||
unset(CGAL_CONFIGURED_LIBRARIES)
|
||||
unset(CGAL_CONFIGURED_LIBRARIES CACHE)
|
||||
unset(GMP_FOUND)
|
||||
|
|
|
|||
Loading…
Reference in New Issue