Skip to content
Snippets Groups Projects
Commit f389f5b9 authored by Augustin Lemesle's avatar Augustin Lemesle
Browse files

Merge branch 'feature/install/macos' into 'master' 

[get-frama-c] macOS installation

See merge request !35
parents 2ed2024b 9c7e0fbf
No related branches found
No related tags found
1 merge request!35[get-frama-c] macOS installation
Pipeline #26174 passed
Stage: deploy
    Hide whitespace changes
    Inline Side-by-side
    assets/css/get-framac.css
    + 19
    − 19
    View file @ f389f5b9
    ...@@ -212,36 +212,36 @@ ...@@ -212,36 +212,36 @@
    } }
    .shell-linux { .shell-linux {
    background:black; background:black;
    color:#d1d1d1; color:#d1d1d1;
    } }
    .shell-linux-comment { .shell-linux-comment {
    background:black; background:black;
    color:#9999a9; color:#9999a9;
    } }
    .shell-mac { .shell-mac {
    color:#000020; color:#000020;
    background:#f6f8ff; background:#f6f8ff;
    } }
    .shell-mac-comment { .shell-mac-comment {
    color:#595979; color:#71a27f;
    } }
    .shell-win { .shell-win {
    color:#ffffff; color:#ffffff;
    background:#000080; background:#000080;
    } }
    .shell-win-comment { .shell-win-comment {
    color:#c0c0c0; color:#c0c0c0;
    } }
    @media (min-width: 1024px) { @media (min-width: 1024px) {
    .shell-linux { .shell-linux {
    font-size: large; font-size: large;
    } }
    .shell-mac { .shell-mac {
    font-size: large; font-size: large;
    } }
    .shell-win { .shell-win {
    font-size: large; font-size: large;
    } }
    } }
    assets/css/main.css
    + 1
    − 1
    View file @ f389f5b9
    ...@@ -6,7 +6,7 @@ ...@@ -6,7 +6,7 @@
    pre { pre {
    background-color: floralwhite; background-color: floralwhite;
    white-space: pre-wrap; white-space: pre;
    border: 1px cornsilk inset; border: 1px cornsilk inset;
    border-radius: 5px; border-radius: 5px;
    box-shadow: inset 0 0 .2em darkgray; box-shadow: inset 0 0 .2em darkgray;
    ......
    html/get-frama-c.html
    + 7
    − 5
    View file @ f389f5b9
    ...@@ -30,7 +30,8 @@ title: Get Frama-C ...@@ -30,7 +30,8 @@ title: Get Frama-C
    <pre class="shell-linux"> <pre class="shell-linux">
    <span class="shell-linux-comment"># 1. Install <a href="https://opam.ocaml.org/">opam</a> (OCaml package manager)</span> <span class="shell-linux-comment"># 1. Install <a href="https://opam.ocaml.org/">opam</a> (OCaml package manager)</span>
    sudo apt install opam <span class="shell-linux-comment"># or dnf, pacman, etc.</span> sudo apt install opam <span class="shell-linux-comment"># or dnf, pacman, etc.</span>
    <br>
    <span class="shell-linux-comment"># 2. Install Frama-C's dependencies</span> <span class="shell-linux-comment"># 2. Install Frama-C's dependencies</span>
    opam install depext opam install depext
    opam depext frama-c opam depext frama-c
    ...@@ -42,16 +43,17 @@ opam install frama-c</pre> ...@@ -42,16 +43,17 @@ opam install frama-c</pre>
    <div class="codeTab tab-mac hide"> <div class="codeTab tab-mac hide">
    <pre class="shell-mac"> <pre class="shell-mac">
    <span class="shell-mac-comment"># 1. Install <a href="https://brew.sh/">Homebrew</a></span> <span class="shell-mac-comment"># 1. Install <a href="https://brew.sh/">Homebrew</a></span>
    <span class="shell-mac-comment"># 2. Install required dependencies for Frama-C</span> <span class="shell-mac-comment"># 2. Install required dependencies for Frama-C</span>
    brew install gmp gtk+ gtksourceview libgnomecanvas brew install opam gmp gtk+ gtksourceview libgnomecanvas
    <span class="shell-mac-comment"># 3. Configure the graphical library</span> <span class="shell-mac-comment"># 3. Configure GTK library</span>
    export PKG_CONFIG_PATH=/usr/local/opt/libffi/lib/pkgconfig:/usr/local/opt/libxml2/lib/pkgconfig:/usr/local/lib/pkgconfig export PKG_CONFIG_PATH=/usr/local/opt/libffi/lib/pkgconfig:/usr/local/opt/libxml2/lib/pkgconfig:/usr/local/lib/pkgconfig
    <span class="shell-mac-comment"># 4. Install recommended dependencies for Frama-C</span> <span class="shell-mac-comment"># 4. Install recommended dependencies for Frama-C</span>
    brew install graphviz brew install graphviz zmq
    <span class="shell-mac-comment"># 5. Install Frama-C</span> <span class="shell-mac-comment"># 5. Finally install Frama-C</span>
    opam install frama-c</pre> opam install frama-c</pre>
    </div> </div>
    ......
    0% or .
    You are about to add 0 people to the discussion. Proceed with caution.
    Finish editing this message first!
    Please register or to comment