[CP-SAT] Exclude lrat_checker_main.cc from libortools

ozan-cb · Mizux · commit d41be910ced7 · 2026-03-07T13:14:52.000+01:00
diff --git a/ortools/sat/CMakeLists.txt b/ortools/sat/CMakeLists.txt
@@ -18,6 +18,7 @@ list(REMOVE_ITEM _SRCS
   ${CMAKE_CURRENT_SOURCE_DIR}/opb_reader.h
   ${CMAKE_CURRENT_SOURCE_DIR}/sat_cnf_reader.h
   ${CMAKE_CURRENT_SOURCE_DIR}/sat_runner.cc
+  ${CMAKE_CURRENT_SOURCE_DIR}/lrat_checker_main.cc
 )
 set(NAME ${PROJECT_NAME}_sat)
 

Original file line number	Diff line number	Diff line change
`@@ -18,6 +18,7 @@ list(REMOVE_ITEM _SRCS`
`18`	`18`	`${CMAKE_CURRENT_SOURCE_DIR}/opb_reader.h`
`19`	`19`	`${CMAKE_CURRENT_SOURCE_DIR}/sat_cnf_reader.h`
`20`	`20`	`${CMAKE_CURRENT_SOURCE_DIR}/sat_runner.cc`
	`21`	`+ ${CMAKE_CURRENT_SOURCE_DIR}/lrat_checker_main.cc`
`21`	`22`	`)`
`22`	`23`	`set(NAME ${PROJECT_NAME}_sat)`
`23`	`24`