Merge branch 'fix/mac-instructions' into 'master'

remove lablgtk references to macOS install instructions

See merge request !188

html/get-frama-c.html

@@ -48,14 +48,15 @@ opam install frama-c <span class="shell-linux-comment"># opam will install syste
 <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 opam gmp gtk+ gtksourceview libgnomecanvas
+brew install opam gmp
 
-<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>
+<span class="shell-mac-comment"># 3. Install recommended dependencies for Frama-C</span>
 brew install graphviz zmq
 
+<span class="shell-mac-comment"># 4. Initialize opam (install an OCaml compiler)</span>
+opam init --compiler 4.14.1 <span class="shell-mac-comment"># may take a while</span>
+eval $(opam env)
+
 <span class="shell-mac-comment"># 5. Finally install Frama-C</span>
 opam install frama-c