(library
  (name libzipperposition_calculi)
  (public_name libzipperposition.calculi)
  (synopsis "calculi for the Zipperposition theorem prover")
  (libraries libzipperposition libzipperposition.avatar)
  (flags :standard -w -32)
)
