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

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

(install
 (package frama-c-directories)
 (section (site (frama-c share)))
 (files (share/path/file.txt as dirs/path/file.txt))
)
