Installation on Windows 10 WSL2 Debian?
Thank you for your development on this project.
I managed to install frama-c-gui
on WSL2 Ubuntu 20.04 as per the documentation.
I did have to eval $(opam env)
after every opam
related installation process,
including the last frama-c
install which would help users if documented more clearly.
When I didn't do this Ubuntu couldn't find frama-c
from $PATH
.
I was wondering if the process can be modified to run on Debian? I couldn't install yaru gtk themes, and as a result could only run frama-c (not the GUI.) What kind of packages are needed to run the GUI? I may test it.