1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
if(WIN32)
set(is_windows true)
else()
set(is_windows false)
endif()
add_test_pl_tests(
"../chain.sh \
$<TARGET_FILE:goto-cc> \
$<TARGET_FILE:goto-harness> \
$<TARGET_FILE:cbmc> \
${is_windows}")
if(CMAKE_SIZEOF_VOID_P EQUAL 8)
add_custom_command(OUTPUT "${CMAKE_CURRENT_SOURCE_DIR}/load-snapshot-static-global-pointer-01/snapshot.json"
COMMAND ${CMAKE_COMMAND} -E copy snapshot64.json snapshot.json
WORKING_DIRECTORY "${CMAKE_CURRENT_SOURCE_DIR}/load-snapshot-static-global-pointer-01"
)
else()
add_custom_command(OUTPUT "${CMAKE_CURRENT_SOURCE_DIR}/load-snapshot-static-global-pointer-01/snapshot.json"
COMMAND ${CMAKE_COMMAND} -E copy snapshot32.json snapshot.json
WORKING_DIRECTORY "${CMAKE_CURRENT_SOURCE_DIR}/load-snapshot-static-global-pointer-01"
)
endif()
add_custom_target(snapshot.json ALL
DEPENDS "${CMAKE_CURRENT_SOURCE_DIR}/load-snapshot-static-global-pointer-01/snapshot.json"
)
|
