(library
 (name        butils_xen)
 (public_name encore.butils.xen)
 (optional)
 (libraries   bigarray-compat mirage-xen-posix)
 (c_names     butils)
 (c_flags     (:include cflags.sexp)))

(rule (copy# ../butils.c butils.c))

(rule (with-stdout-to cflags.sexp (run ./cflags.sh)))
