(include_subdirs no)

(library
 (name goblint_backtrace)
 (public_name goblint.backtrace))
