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
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.