(cram
  (enabled_if (<> %{env:CRAM=false} "false"))
  (deps (package frama-c))
)
