WIP: playground for config.h replacement
3 unresolved threads
3 unresolved threads
Compare changes
Files
6
Conflict: This file was modified in both the source and target branches.
Ask someone with write access to resolve it.
+ 40
− 19
@@ -681,11 +681,8 @@ macro(dune_project)
@@ -809,9 +806,12 @@ macro(finalize_dune_project)
@@ -843,10 +843,8 @@ if(${ProjectName}_LIBRARIES)
@@ -868,9 +866,10 @@ endif()")
@@ -917,9 +916,12 @@ endif()
@@ -929,7 +931,7 @@ endif()
@@ -937,12 +939,15 @@ endif()
@@ -1193,3 +1198,19 @@ macro(add_dune_all_flags targets)