[Makefile] Retrieve dirname of the frama-c-gui script, so to run it from a...
[Makefile] Retrieve dirname of the frama-c-gui script, so to run it from a different path other than frama-c/ivette.
Loading
Please register or sign in to comment
[Makefile] Retrieve dirname of the frama-c-gui script, so to run it from a different path other than frama-c/ivette.