你即將離開本站

並前往https://frama-c.com/html/get-frama-c.html

Get Frama-C

Install required dependencies for Frama-C brew install opam gmp gtk+ ... Install Frama-C opam depext --install -y frama-c # On WSL2, run the GUI as: ...

確定！ 回上一頁

查詢 「Wsl2 brew」的人也找了：

  1. Install Homebrew
    2.
  2. Homebrew Windows
    3.
  3. Xcode Homebrew
    4.
  4. Install brew wsl
    5.
  5. Linux brew
    6.
  6. Homebrew Apple Silicon
    7.
  7. Homebrew windows equivalent
    8.
  8. Homebrew sudo
    9.