allow local installation with post-dune Frama-C

Andre Maronezerequested to merge
fix/dune-local-install into master

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

Edited by Andre Maroneze

Merge request reports