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.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information