target_sources(
  pyqbdi_module INTERFACE "${CMAKE_CURRENT_LIST_DIR}/State_X86_64.cpp"
                          "${CMAKE_CURRENT_LIST_DIR}/Options_X86_64.cpp")
