2013-11-03 12:27:13 +02:00
|
|
|
# A dummy checker implementation that does not write the requested output file
|
|
|
|
|
# so it triggers an error for every checker.
|
|
|
|
|
|
2015-04-27 22:25:09 +02:00
|
|
|
file(WRITE "${CMAKE_CURRENT_BINARY_DIR}/ret0.c.in" "int main(){return 0;}\n")
|
|
|
|
|
|
|
|
|
|
configure_file(
|
|
|
|
|
"${CMAKE_CURRENT_BINARY_DIR}/ret0.c.in"
|
|
|
|
|
"${CMAKE_CURRENT_BINARY_DIR}/ret0.c"
|
|
|
|
|
)
|
2013-11-03 12:27:13 +02:00
|
|
|
|
|
|
|
|
foreach(_pseudo IN ITEMS valgrind purify BC)
|
|
|
|
|
add_executable(pseudonl_${_pseudo} "${CMAKE_CURRENT_BINARY_DIR}/ret0.c")
|
|
|
|
|
set_target_properties(pseudonl_${_pseudo} PROPERTIES OUTPUT_NAME ${_pseudo})
|
2015-04-27 22:25:09 +02:00
|
|
|
endforeach()
|
