(rule
 (targets const.ml)
 (deps (glob_files ../../*.opam))
 (action
  (with-stdout-to
   %{targets}
   (progn
    (echo "let version = \"%{version:libzipperposition}\"\n")
    (echo "let section = Logtk.Util.Section.make \"zip\"\n")))))

(library
  (name libzipperposition)
  (public_name libzipperposition)
  (synopsis "library for the Zipperposition theorem prover")
  (libraries containers msat logtk logtk.arith logtk.proofs logtk.parsers str)
  (flags :standard -w -32-50 -open Logtk_arith))
