(rule
 (targets gmp.mlh)
 (deps (:gmp ../config/gmp.mlh))
 (mode (promote (until-clean)))
 (action (copy %{gmp} %{targets})))

(library
 (name yices2)
 (public_name yices2_bindings)
 (libraries ctypes ctypes.foreign sexplib containers config)
 (flags (:standard -cclib -lyices -ccopt "$LDFLAGS"))
 (preprocess (pps ppx_deriving.std ppx_optcomp))
 (synopsis "Yices2 bindings")
)

(env (dev
        (flags (:standard -warn-error -A))))
