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

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