(include_subdirs no)

(library
 (name goblint_timing)
 (public_name goblint.timing)
 (libraries catapult catapult-file))
