Merge remote-tracking branch 'origin/v10-minor'

scip-ci · scip-ci · commit 1c350478d9de · 2025-11-10T19:35:57.000+01:00
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -103,10 +103,9 @@ option(LTO "Enable Link Time Optimization, aka Interprocedural Optimization" OFF
 
 if(LTO)
     include(CheckIPOSupported)
-    check_ipo_supported(RESULT result LANGUAGES C OUTPUT output)
-    if(result)
-        set(CMAKE_INTERPROCEDURAL_OPTIMIZATION TRUE)
-        message(STATUS "LTO enabled")
+    check_ipo_supported(RESULT LTO_AVAILABLE LANGUAGES C OUTPUT output)
+    if(LTO_AVAILABLE)
+        message(STATUS "LTO available")
 
         # with link-time optimization enabled, we get additional warnings at link time on
         # - reader_nl and presol_milp violating the C++ One Definition Rule (-Wodr) due to
@@ -117,10 +116,12 @@ if(LTO)
         if((CMAKE_CXX_COMPILER_ID MATCHES "GNU") OR (CMAKE_CXX_COMPILER_ID MATCHES "CLANG"))
            add_link_options(-Wno-odr -Wno-alloc-size-larger-than -Wno-stringop-overflow)
         endif()
-    else()
-        set(CMAKE_INTERPROCEDURAL_OPTIMIZATION FALSE)
-        message(STATUS "${output}")
-    endif()
+    else(LTO_AVAILABLE)
+        message(STATUS "LTO not available: ${output}")
+    endif(LTO_AVAILABLE)
+else()
+    message(STATUS "LTO not enabled")
+    set(LTO_AVAILABLE FALSE)
 endif()
 
 set(MPFR AUTO CACHE STRING "should MPFR be linked")
diff --git a/applications/Coloring/CMakeLists.txt b/applications/Coloring/CMakeLists.txt
@@ -28,6 +28,7 @@ add_executable(coloring
     src/reader_col.c
     src/reader_csol.c
 )
+set_property(TARGET coloring PROPERTY INTERPROCEDURAL_OPTIMIZATION ${LTO_AVAILABLE})
 
 # link to math library if it is available
 find_library(LIBM m)
diff --git a/applications/CycleClustering/CMakeLists.txt b/applications/CycleClustering/CMakeLists.txt
@@ -31,6 +31,7 @@ add_executable(cycleclustering
     src/reader_cyc.c
     src/probdata_cyc.c
 )
+set_property(TARGET cycleclustering PROPERTY INTERPROCEDURAL_OPTIMIZATION ${LTO_AVAILABLE})
 
 # link to math library if it is available
 find_library(LIBM m)
diff --git a/applications/MinIISC/CMakeLists.txt b/applications/MinIISC/CMakeLists.txt
@@ -21,6 +21,7 @@ add_executable(miniisc
     src/miniisc.c
     src/readargs.c
 )
+set_property(TARGET miniisc PROPERTY INTERPROCEDURAL_OPTIMIZATION ${LTO_AVAILABLE})
 
 # link to math library if it is available
 find_library(LIBM m)
diff --git a/applications/PBSolver/CMakeLists.txt b/applications/PBSolver/CMakeLists.txt
@@ -21,6 +21,7 @@ add_executable(pbsolver
     src/message_pb.c
     src/event_bestsol.c
 )
+set_property(TARGET pbsolver PROPERTY INTERPROCEDURAL_OPTIMIZATION ${LTO_AVAILABLE})
 
 # link to math library if it is available
 find_library(LIBM m)
diff --git a/applications/Ringpacking/CMakeLists.txt b/applications/Ringpacking/CMakeLists.txt
@@ -23,6 +23,7 @@ add_executable(ringpacking
    src/pricer_rpa.c
    src/cons_rpa.c
    src/pattern.c)
+set_property(TARGET ringpacking PROPERTY INTERPROCEDURAL_OPTIMIZATION ${LTO_AVAILABLE})
 
 # link to math library if it is available
 find_library(LIBM m)
diff --git a/applications/Scheduler/CMakeLists.txt b/applications/Scheduler/CMakeLists.txt
@@ -26,6 +26,7 @@ add_executable(scheduler
     src/reader_sch.c
     src/reader_sm.c
 )
+set_property(TARGET scheduler PROPERTY INTERPROCEDURAL_OPTIMIZATION ${LTO_AVAILABLE})
 
 target_link_libraries(scheduler ${SCIP_LIBRARIES})
 target_compile_options(scheduler PRIVATE ${SCIP_COMPILE_FLAGS})
diff --git a/examples/Binpacking/CMakeLists.txt b/examples/Binpacking/CMakeLists.txt
@@ -24,6 +24,7 @@ add_executable(binpacking
    src/probdata_binpacking.c
    src/reader_bpa.c
    src/vardata_binpacking.c)
+set_property(TARGET binpacking PROPERTY INTERPROCEDURAL_OPTIMIZATION ${LTO_AVAILABLE})
 
 # link to math library if it is available
 find_library(LIBM m)
diff --git a/examples/CallableLibrary/CMakeLists.txt b/examples/CallableLibrary/CMakeLists.txt
@@ -37,12 +37,16 @@ endif()
 
 target_link_libraries(gastrans ${SCIP_LIBRARIES} ${LIBM})
 target_compile_options(gastrans PRIVATE ${SCIP_COMPILE_FLAGS})
+set_property(TARGET gastrans PROPERTY INTERPROCEDURAL_OPTIMIZATION ${LTO_AVAILABLE})
 target_link_libraries(spring ${SCIP_LIBRARIES})
 target_compile_options(spring PRIVATE ${SCIP_COMPILE_FLAGS})
+set_property(TARGET spring PROPERTY INTERPROCEDURAL_OPTIMIZATION ${LTO_AVAILABLE})
 target_link_libraries(brachistochrone ${SCIP_LIBRARIES} ${LIBM})
 target_compile_options(brachistochrone PRIVATE ${SCIP_COMPILE_FLAGS})
+set_property(TARGET brachistochrone PROPERTY INTERPROCEDURAL_OPTIMIZATION ${LTO_AVAILABLE})
 target_link_libraries(circlepacking ${SCIP_LIBRARIES} ${LIBM})
 target_compile_options(circlepacking PRIVATE ${SCIP_COMPILE_FLAGS})
+set_property(TARGET circlepacking PROPERTY INTERPROCEDURAL_OPTIMIZATION ${LTO_AVAILABLE})
 
 if( TARGET examples )
     add_dependencies( examples gastrans spring brachistochrone circlepacking )
diff --git a/examples/Eventhdlr/CMakeLists.txt b/examples/Eventhdlr/CMakeLists.txt
@@ -23,6 +23,7 @@ add_executable(eventhdlr
 
 target_link_libraries(eventhdlr ${SCIP_LIBRARIES})
 target_compile_options(eventhdlr PRIVATE ${SCIP_COMPILE_FLAGS})
+set_property(TARGET eventhdlr PROPERTY INTERPROCEDURAL_OPTIMIZATION ${LTO_AVAILABLE})
 
 if( TARGET examples )
     add_dependencies( examples eventhdlr )
diff --git a/examples/GMI/CMakeLists.txt b/examples/GMI/CMakeLists.txt
@@ -19,6 +19,7 @@ include_directories(BEFORE PUBLIC ${SCIP_INCLUDE_DIRS})
 add_executable(gmi
    src/cmain.c
    src/sepa_gmi.c)
+set_property(TARGET gmi PROPERTY INTERPROCEDURAL_OPTIMIZATION ${LTO_AVAILABLE})
 
 # link to math library if it is available
 find_library(LIBM m)
diff --git a/examples/LOP/CMakeLists.txt b/examples/LOP/CMakeLists.txt
@@ -21,6 +21,7 @@ add_executable(lop
    src/cmain.c
    src/cons_lop.c
    src/reader_lop.c)
+set_property(TARGET lop PROPERTY INTERPROCEDURAL_OPTIMIZATION ${LTO_AVAILABLE})
 
 target_link_libraries(lop ${SCIP_LIBRARIES})
 target_compile_options(lop PRIVATE ${SCIP_COMPILE_FLAGS})
diff --git a/examples/MIPSolver/CMakeLists.txt b/examples/MIPSolver/CMakeLists.txt
@@ -18,6 +18,7 @@ include_directories(BEFORE PUBLIC ${SCIP_INCLUDE_DIRS})
 
 add_executable(scipmip
    src/cppmain.cpp)
+set_property(TARGET scipmip PROPERTY INTERPROCEDURAL_OPTIMIZATION ${LTO_AVAILABLE})
 
 target_link_libraries(scipmip ${SCIP_LIBRARIES})
 target_compile_options(scipmip PRIVATE ${SCIP_COMPILE_FLAGS})
diff --git a/examples/Queens/CMakeLists.txt b/examples/Queens/CMakeLists.txt
@@ -19,6 +19,7 @@ include_directories(BEFORE PUBLIC ${SCIP_INCLUDE_DIRS})
 add_executable(queens
    src/queens.cpp
    src/queens_main.cpp)
+set_property(TARGET queens PROPERTY INTERPROCEDURAL_OPTIMIZATION ${LTO_AVAILABLE})
 
 target_link_libraries(queens ${SCIP_LIBRARIES})
 target_compile_options(queens PRIVATE ${SCIP_COMPILE_FLAGS})
diff --git a/examples/Relaxator/CMakeLists.txt b/examples/Relaxator/CMakeLists.txt
@@ -20,6 +20,7 @@ add_executable(relaxator
    src/cmain.c
    src/relax_lp.c
    src/relax_nlp.c)
+set_property(TARGET relaxator PROPERTY INTERPROCEDURAL_OPTIMIZATION ${LTO_AVAILABLE})
 
 target_link_libraries(relaxator ${SCIP_LIBRARIES})
 target_compile_options(relaxator PRIVATE ${SCIP_COMPILE_FLAGS})
diff --git a/examples/SCFLP/CMakeLists.txt b/examples/SCFLP/CMakeLists.txt
@@ -20,6 +20,7 @@ add_executable(scflp
    src/cmain.c
    src/probdata_scflp.c
    src/reader_scflp.c )
+set_property(TARGET scflp PROPERTY INTERPROCEDURAL_OPTIMIZATION ${LTO_AVAILABLE})
 
 # link to math library if it is available
 find_library(LIBM m)
diff --git a/examples/Sudoku/CMakeLists.txt b/examples/Sudoku/CMakeLists.txt
@@ -19,6 +19,7 @@ include_directories(BEFORE PUBLIC ${SCIP_INCLUDE_DIRS})
 add_executable(sudoku
    src/sudoku_main.cpp
    src/sudoku_utils.h)
+set_property(TARGET sudoku PROPERTY INTERPROCEDURAL_OPTIMIZATION ${LTO_AVAILABLE})
 
 target_link_libraries(sudoku ${SCIP_LIBRARIES})
 target_compile_options(sudoku PRIVATE ${SCIP_COMPILE_FLAGS})
diff --git a/examples/TSP/CMakeLists.txt b/examples/TSP/CMakeLists.txt
@@ -26,6 +26,7 @@ add_executable(sciptsp
    src/HeurFrats.cpp
    src/ProbDataTSP.cpp
    src/ReaderTSP.cpp)
+set_property(TARGET sciptsp PROPERTY INTERPROCEDURAL_OPTIMIZATION ${LTO_AVAILABLE})
 
 target_link_libraries(sciptsp ${SCIP_LIBRARIES})
 target_compile_options(sciptsp PRIVATE ${SCIP_COMPILE_FLAGS})
diff --git a/examples/VRP/CMakeLists.txt b/examples/VRP/CMakeLists.txt
@@ -19,6 +19,7 @@ include_directories(BEFORE PUBLIC ${SCIP_INCLUDE_DIRS})
 add_executable(vrp
    src/main_vrp.cpp
    src/pricer_vrp.cpp)
+set_property(TARGET vrp PROPERTY INTERPROCEDURAL_OPTIMIZATION ${LTO_AVAILABLE})
 
 target_link_libraries(vrp ${SCIP_LIBRARIES})
 target_compile_options(vrp PRIVATE ${SCIP_COMPILE_FLAGS})
diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
@@ -1137,6 +1137,7 @@ if(MSVC)
 else()
    setLibProperties(libscip "scip")
 endif()
+set_property(TARGET libscip PROPERTY INTERPROCEDURAL_OPTIMIZATION ${LTO_AVAILABLE})
 
 target_include_directories(libscip BEFORE PUBLIC
     $<BUILD_INTERFACE:${PROJECT_BINARY_DIR}>
@@ -1175,6 +1176,7 @@ else()
     add_executable(scip main.c)
     target_link_libraries(scip PUBLIC libscip)
 endif()
+set_property(TARGET scip PROPERTY INTERPROCEDURAL_OPTIMIZATION ${LTO_AVAILABLE})
 
 add_executable(SCIP::SCIP ALIAS scip)
 add_library(SCIP::libscip ALIAS libscip)

Original file line number	Diff line number	Diff line change
`@@ -28,6 +28,7 @@ add_executable(coloring`
`28`	`28`	`src/reader_col.c`
`29`	`29`	`src/reader_csol.c`
`30`	`30`	`)`
	`31`	`+set_property(TARGET coloring PROPERTY INTERPROCEDURAL_OPTIMIZATION ${LTO_AVAILABLE})`
`31`	`32`
`32`	`33`	`# link to math library if it is available`
`33`	`34`	`find_library(LIBM m)`
Original file line number	Diff line number	Diff line change
`@@ -31,6 +31,7 @@ add_executable(cycleclustering`
`31`	`31`	`src/reader_cyc.c`
`32`	`32`	`src/probdata_cyc.c`
`33`	`33`	`)`
	`34`	`+set_property(TARGET cycleclustering PROPERTY INTERPROCEDURAL_OPTIMIZATION ${LTO_AVAILABLE})`
`34`	`35`
`35`	`36`	`# link to math library if it is available`
`36`	`37`	`find_library(LIBM m)`
Original file line number	Diff line number	Diff line change
`@@ -21,6 +21,7 @@ add_executable(miniisc`
`21`	`21`	`src/miniisc.c`
`22`	`22`	`src/readargs.c`
`23`	`23`	`)`
	`24`	`+set_property(TARGET miniisc PROPERTY INTERPROCEDURAL_OPTIMIZATION ${LTO_AVAILABLE})`
`24`	`25`
`25`	`26`	`# link to math library if it is available`
`26`	`27`	`find_library(LIBM m)`
Original file line number	Diff line number	Diff line change
`@@ -21,6 +21,7 @@ add_executable(pbsolver`
`21`	`21`	`src/message_pb.c`
`22`	`22`	`src/event_bestsol.c`
`23`	`23`	`)`
	`24`	`+set_property(TARGET pbsolver PROPERTY INTERPROCEDURAL_OPTIMIZATION ${LTO_AVAILABLE})`
`24`	`25`
`25`	`26`	`# link to math library if it is available`
`26`	`27`	`find_library(LIBM m)`
Original file line number	Diff line number	Diff line change
`@@ -26,6 +26,7 @@ add_executable(scheduler`
`26`	`26`	`src/reader_sch.c`
`27`	`27`	`src/reader_sm.c`
`28`	`28`	`)`
	`29`	`+set_property(TARGET scheduler PROPERTY INTERPROCEDURAL_OPTIMIZATION ${LTO_AVAILABLE})`
`29`	`30`
`30`	`31`	`target_link_libraries(scheduler ${SCIP_LIBRARIES})`
`31`	`32`	`target_compile_options(scheduler PRIVATE ${SCIP_COMPILE_FLAGS})`