(library
 (name crowbar_utils)
 (public_name crowbar_utils)
 (flags -open Frama_c_kernel :standard -w -9)
 (libraries frama-c.kernel))
