- ${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
+ ${CMAKE_HOME_DIRECTORY}/src/simix/popping_generated.c
+ ${CMAKE_HOME_DIRECTORY}/src/simix/popping_bodies.c
+ ${CMAKE_HOME_DIRECTORY}/src/simix/popping_enum.h
+ ${CMAKE_HOME_DIRECTORY}/src/simix/popping_accessors.h