set(TRACING_SRC
src/instr/instr_config.cpp
src/instr/instr_interface.cpp
+ src/instr/instr_paje_containers.hpp
src/instr/instr_paje_containers.cpp
src/instr/instr_paje_header.cpp
src/instr/instr_paje_trace.cpp
+ src/instr/instr_paje_types.hpp
src/instr/instr_paje_types.cpp
src/instr/instr_paje_values.cpp
src/instr/instr_private.hpp
include/xbt/ex.hpp
include/xbt/exception.hpp
include/xbt/Extendable.hpp
- include/xbt/file.h
include/xbt/file.hpp
include/xbt/functional.hpp
include/xbt/function_types.h