${CMAKE_HOME_DIRECTORY}/src/simix/simcalls_generated_string.c
${CMAKE_HOME_DIRECTORY}/src/simix/simcalls_generated_res_getter_setter.h
${CMAKE_HOME_DIRECTORY}/src/simix/simcalls_generated_args_getter_setter.h
- ${CMAKE_HOME_DIRECTORY}/src/simix/simcalls_generated_case.c
+ ${CMAKE_HOME_DIRECTORY}/src/simix/smx_simcall_enter.c
${CMAKE_HOME_DIRECTORY}/src/simix/simcalls_generated_body.c
DEPENDS
${CMAKE_HOME_DIRECTORY}/src/simix/simcalls_generated_string.c
${CMAKE_HOME_DIRECTORY}/src/simix/simcalls_generated_res_getter_setter.h
${CMAKE_HOME_DIRECTORY}/src/simix/simcalls_generated_args_getter_setter.h
- ${CMAKE_HOME_DIRECTORY}/src/simix/simcalls_generated_case.c
+ ${CMAKE_HOME_DIRECTORY}/src/simix/smx_simcall_enter.c
${CMAKE_HOME_DIRECTORY}/src/simix/simcalls_generated_body.c
)
SET_DIRECTORY_PROPERTIES(PROPERTIES ADDITIONAL_MAKE_CLEAN_FILES
- "${CMAKE_HOME_DIRECTORY}/src/simix/simcalls_generated_enum.h;${CMAKE_HOME_DIRECTORY}/src/simix/simcalls_generated_string.c;${CMAKE_HOME_DIRECTORY}/src/simix/simcalls_generated_res_getter_setter.h;${CMAKE_HOME_DIRECTORY}/src/simix/simcalls_generated_args_getter_setter.h;${CMAKE_HOME_DIRECTORY}/src/simix/simcalls_generated_case.c;${CMAKE_HOME_DIRECTORY}/src/simix/simcalls_generated_body.c"
+ "${CMAKE_HOME_DIRECTORY}/src/simix/simcalls_generated_enum.h;${CMAKE_HOME_DIRECTORY}/src/simix/simcalls_generated_string.c;${CMAKE_HOME_DIRECTORY}/src/simix/simcalls_generated_res_getter_setter.h;${CMAKE_HOME_DIRECTORY}/src/simix/simcalls_generated_args_getter_setter.h;${CMAKE_HOME_DIRECTORY}/src/simix/smx_simcall_enter.c;${CMAKE_HOME_DIRECTORY}/src/simix/simcalls_generated_body.c"
)
endif()
endif()