(include_subdirs unqualified)

(library
 (public_name binsec.smtlib)
 (name binsec_smtlib)
 (flags :standard -open Binsec_base -open Binsec_unix)
 (libraries binsec.base binsec.unix binsec_smtlib_bindings))
