allow local installation with post-dune Frama-C
Testing if there is a way to use a local installation despite having another Frama-C installed in the path with dune.
Testing if there is a way to use a local installation despite having another Frama-C installed in the path with dune.