(include_subdirs no)

(library
  (name goblint_sites)
  (public_name goblint.sites)
  (libraries dune-site fpath))

(generate_sites_module
  (module dunesite)
  (sites goblint))
