if(NOT WIN32)
target_link_libraries(gras_stub_generator simgrid pthread m)
target_link_libraries(struct_diff simgrid pthread m)
if(NOT WIN32)
target_link_libraries(gras_stub_generator simgrid pthread m)
target_link_libraries(struct_diff simgrid pthread m)