Skip to content

GitLab

  • Menu
Projects Groups Snippets
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
  • F frama-c
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 201
    • Issues 201
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 0
    • Merge requests 0
  • Deployments
    • Deployments
    • Releases
  • Packages & Registries
    • Packages & Registries
    • Container Registry
  • Monitor
    • Monitor
    • Incidents
  • Analytics
    • Analytics
    • Value stream
    • Repository
  • Wiki
    • Wiki
  • Activity
  • Graph
  • Create a new issue
  • Commits
  • Issue Boards
Collapse sidebar
  • pub
  • frama-c
  • Issues
  • #2557
Closed
Open
Created May 24, 2021 by NightlyHerb@NightlyHerb

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
Assignee
Assign to
Time tracking