target_sources(
  pyqbdi_module
  INTERFACE "${CMAKE_CURRENT_LIST_DIR}/Options_ARM.cpp"
  INTERFACE "${CMAKE_CURRENT_LIST_DIR}/State_ARM.cpp")
