(library
  (name        opam_solver)
  (public_name opam-solver)
  (synopsis    "OCaml Package Manager solver interaction library")
  (libraries   opam-format cudf dose3.algo
               (select opamBuiltinMccs.ml from
                 (mccs -> opamBuiltinMccs.ml.real)
                 (     -> opamBuiltinMccs.ml.dummy))
               (select opamBuiltinZ3.ml from
                 (z3 -> opamBuiltinZ3.ml.real)
                 (   -> opamBuiltinZ3.ml.dummy))
               (select opamBuiltin0install.ml from
                 (opam-0install-cudf -> opamBuiltin0install.ml.real)
                 (                   -> opamBuiltin0install.ml.dummy)))
  (flags       (:standard
               (:include ../ocaml-flags-standard.sexp)
               (:include ../ocaml-flags-configure.sexp)
               (:include ../ocaml-context-flags.sexp)))
  (wrapped     false))
