(include_subdirs qualified)

(library
 (package soteria-rust)
 (name soteria_rust_lib)
 (libraries
  soteria.std
  soteria.symex
  soteria.logs
  cmdliner
  fmt
  fmt.tty
  iter
  zarith
  hashcons
  simple_smt
  printbox-text
  charon
  dune-site)
 (flags :standard -open Soteria_std)
 (preprocess
  (pps ppx_deriving.std soteria.ppx))
 (instrumentation
  (backend landmarks --auto)))

(generate_sites_module
 (module runtime_sites)
 (sites soteria-rust))
