You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
13 lines
437 B
13 lines
437 B
|
|
# If the environment variable 'replay' is defined, we are building with replay
|
|
# support. In this case, we enable the orb publisher rules.
|
|
set(REPLAY_FILE "$ENV{replay}")
|
|
if(REPLAY_FILE)
|
|
message(STATUS "Building with uorb publisher rules support")
|
|
add_definitions(-DORB_USE_PUBLISHER_RULES)
|
|
|
|
message(STATUS "Building without lockstep for replay")
|
|
set(ENABLE_LOCKSTEP_SCHEDULER no)
|
|
else()
|
|
set(ENABLE_LOCKSTEP_SCHEDULER yes)
|
|
endif()
|
|
|