From 9c7e0fbfb9a8269c427a68615ab82138422dde52 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Mon, 11 May 2020 15:17:35 +0200
Subject: [PATCH] [get-frama-c] macOS installation
---
assets/css/get-framac.css | 38 +++++++++++++++++++-------------------
assets/css/main.css | 2 +-
html/get-frama-c.html | 12 +++++++-----
3 files changed, 27 insertions(+), 25 deletions(-)
diff --git a/assets/css/get-framac.css b/assets/css/get-framac.css
index bc191c13..2af58a20 100644
--- a/assets/css/get-framac.css
+++ b/assets/css/get-framac.css
@@ -212,36 +212,36 @@
}
.shell-linux {
- background:black;
- color:#d1d1d1;
+ background:black;
+ color:#d1d1d1;
}
.shell-linux-comment {
- background:black;
- color:#9999a9;
+ background:black;
+ color:#9999a9;
}
.shell-mac {
- color:#000020;
- background:#f6f8ff;
+ color:#000020;
+ background:#f6f8ff;
}
.shell-mac-comment {
- color:#595979;
+ color:#71a27f;
}
.shell-win {
- color:#ffffff;
- background:#000080;
+ color:#ffffff;
+ background:#000080;
}
.shell-win-comment {
- color:#c0c0c0;
+ color:#c0c0c0;
}
@media (min-width: 1024px) {
- .shell-linux {
- font-size: large;
- }
- .shell-mac {
- font-size: large;
- }
- .shell-win {
- font-size: large;
- }
+ .shell-linux {
+ font-size: large;
+ }
+ .shell-mac {
+ font-size: large;
+ }
+ .shell-win {
+ font-size: large;
+ }
}
diff --git a/assets/css/main.css b/assets/css/main.css
index 2a3b0bc1..16fed256 100644
--- a/assets/css/main.css
+++ b/assets/css/main.css
@@ -6,7 +6,7 @@
pre {
background-color: floralwhite;
- white-space: pre-wrap;
+ white-space: pre;
border: 1px cornsilk inset;
border-radius: 5px;
box-shadow: inset 0 0 .2em darkgray;
diff --git a/html/get-frama-c.html b/html/get-frama-c.html
index bc3cbc62..77357225 100644
--- a/html/get-frama-c.html
+++ b/html/get-frama-c.html
@@ -30,7 +30,8 @@ title: Get Frama-C
<pre class="shell-linux">
<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>
-<br>
+
+
<span class="shell-linux-comment"># 2. Install Frama-C's dependencies</span>
opam install depext
opam depext frama-c
@@ -42,16 +43,17 @@ opam install frama-c</pre>
<div class="codeTab tab-mac hide">
<pre class="shell-mac">
<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>
-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
<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>
</div>
--
GitLab