(library
 (name Hello)
 (public_name frama-c-hello.core)
 (flags -open Frama_c_kernel :standard)
 (libraries frama-c.kernel)
)

(plugin
 (optional)
 (name hello)
 (libraries frama-c-hello.core)
 (site (frama-c plugins)))
