/usr/share/dune/cmake/modules/AddGMPFlags.cmake is in libdune-common-dev 2.3.1-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 | # add_dune_gmp_flags(target1 target2 ...)
# Function that adds GMP flags to the specified targets
#
function(add_dune_gmp_flags _targets)
if(GMP_FOUND)
foreach(_target ${_targets})
target_link_libraries(${_target} ${GMP_LIBRARIES})
set_property(TARGET ${_target}
APPEND_STRING
PROPERTY COMPILE_FLAGS "-DENABLE_GMP=1 ")
foreach(_path ${GMP_INCLUDE_DIRS})
set_property(TARGET ${_target}
APPEND_STRING
PROPERTY COMPILE_FLAGS "-I${_path}")
endforeach(_path ${GMP_INCLUDE_DIRS})
endforeach(_target ${_targets})
endif(GMP_FOUND)
endfunction(add_dune_gmp_flags)
|