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