[Why3-club] why3-ide Install Issues

[Deepayan Patra]

Hello!

I'm part of a class that uses why3 regularly in instruction but haven't
been able to get why3-ide to successfully install since updating to Big Sur
(it had successfully worked on Catalina on my end, which was the last time
I had used it).
I'm coming across the following issue at the moment with a dependency of
why3-ide, lablgtk:
```
❯ opam install why3-ide
The following actions will be performed:
  ∗ install lablgtk  2.18.11 [required by why3-ide]
  ∗ install why3-ide 1.3.3
===== ∗ 2 =====
Do you want to continue? [Y/n] Y

<><> Gathering sources
><><><><><><><><><><><><><><><><><><><><><><><><><><>  🐫
[lablgtk.2.18.11] found in cache
Processing  1/2:
[why3-ide.1.3.3] found in cache

<><> Processing actions
<><><><><><><><><><><><><><><><><><><><><><><><><><>  🐫
[ERROR] The compilation of lablgtk failed at
"/Users/dpatra/.opam/opam-init/hooks/sandbox.sh build make world".

#=== ERROR while compiling lablgtk.2.18.11
====================================#
# context     2.0.7 | macos/x86_64 | ocaml-base-compiler.4.10.0 |
https://opam.ocaml.org#ec3d487f
# path        ~/.opam/4.10.0/.opam-switch/build/lablgtk.2.18.11
# command     ~/.opam/opam-init/hooks/sandbox.sh build make world
# exit-code   2
# env-file    ~/.opam/log/lablgtk-42412-c743ac.env
# output-file ~/.opam/log/lablgtk-42412-c743ac.out
### output ###
# [...]
# + ocamlc.opt -a    -o lablgtksourceview2.cma  sourceView2Enums.cmo
gtkSourceView2Props.cmo ogtkSourceView2Props.cmo gtkSourceView2.cmo
gSourceView2.cmo -dllib -llablgtksourceview2 -cclib -llablgtksourceview2
-ccopt -framework -ccopt Cocoa  -cclib -L/usr/local/opt/gettext/lib -cclib
-L/usr/local/Cellar/glib/2.66.4_1/lib -cclib
-L/usr/local/Cellar/gdk-pixbuf/2.42.2/lib -cclib -L/usr/local/Cella[...]
# ocamlc.opt   -w s-3+52 -c -thread gtkThread.mli
# ocamlc.opt   -w s-3+52 -c -thread gtkThread.ml
# ocamlmktop  -thread  -o lablgtktop unix.cma threads.cma  \
#   -I . lablgtk.cma lablglade.cma lablgnomecanvas.cma lablrsvg.cma
lablgtksourceview2.cma gtkThread.cmo
# File "_none_", line 1:
# Error: Error on dynamically loaded library: ./dlllablgtksourceview2.so:
dlopen(./dlllablgtksourceview2.so, 10): Symbol not found:
_gtkosx_create_cgimage_from_pixbuf
#   Referenced from:
/usr/local/opt/gtk-mac-integration/lib/libgtkmacintegration-gtk2.2.dylib
#   Expected in: flat namespace
#  in
/usr/local/opt/gtk-mac-integration/lib/libgtkmacintegration-gtk2.2.dylib
# make[1]: *** [lablgtktop] Error 2
# make: *** [world] Error 2



<><> Error report
<><><><><><><><><><><><><><><><><><><><><><><><><><><><><>  🐫
┌─ The following actions failed
│ λ build lablgtk 2.18.11
└─
╶─ No changes have been performed

<><> lablgtk.2.18.11 troubleshooting
><><><><><><><><><><><><><><><><><><><>  🐫
=> This package requires gtk+ 2.0 development packages installed on your
system
=> To solve pkg-config issues, you may need to do
   'export PKG_CONFIG_PATH=/opt/X11/lib/pkgconfig' and retry

The packages you requested declare the following system dependencies.
Please make sure they are installed before retrying:
    expat gtk
```

I've ensured that I have both `expat` and `gtk` installed on my machine:
```
❯ brew list --formula | grep gtk
gtk+
gtk+3
gtk-mac-integration
gtksourceview
gtksourceview4
gtksourceview@4
lablgtk
pygtk
```
and
```
❯ brew list --formula | grep expat
expat
```
and have set the environment variable, as well:
```
❯ printenv PKG_CONFIG_PATH
/opt/X11/lib/pkgconfig
```

OS versioning information is as follows:
```
❯ sw_vers
ProductName: macOS
ProductVersion: 11.1
BuildVersion: 20C69
```
and my opam config report is as follows:
```
❯ opam config report
# opam config report
# opam-version      2.0.7
# self-upgrade      no
# system            arch=x86_64 os=macos os-distribution=homebrew
os-version=11.1
# solver            builtin-mccs+glpk
# install-criteria
 -removed,-count[version-lag,request],-count[version-lag,changed],-changed
# upgrade-criteria  -removed,-count[version-lag,solution],-new
# jobs              11
# repositories      1 (http) (default repo at ec3d487f)
# pinned            0
# current-switch    4.10.0
```

I've made sure homebrew is up-to-date:
```
❯ brew --version
Homebrew 2.7.3-27-g99a7e21
Homebrew/homebrew-core (git revision f2db09; last commit 2021-01-13)
Homebrew/homebrew-cask (git revision 57035; last commit 2021-01-13)
```

Has anyone come across these issues and successfully been able to resolve
them when installing the ide via opam?

_______________________________________________
Why3-club mailing list
Why3-club@lists.gforge.inria.fr
https://lists.gforge.inria.fr/mailman/listinfo/why3-club