2021-10-16 08:27:09 +02:00
|
|
|
macro(mapnik_option option_name option_description option_default_value)
|
|
|
|
|
option(${option_name} "${option_description}" ${option_default_value})
|
|
|
|
|
add_feature_info(${option_name} ${${option_name}} "${option_description}")
|
2021-10-10 21:34:15 +02:00
|
|
|
endmacro()
|
