Dependency of why3-ide on libgtksourceview2.0-dev (linux mint 20.04)
[On Linux Mint 20.04]
opam install why3-ide
did not alert me that package libgtksourceview2.0-dev
was missing in my installation and failed to complete:
ddeharbe@dde-TP14s:~/dev/atelierb/src$ opam install why3-ide
The following actions will be performed:
∗ install conf-gtk2 1 [required by lablgtk]
∗ install conf-gtksourceview 2 [required by why3-ide]
∗ install lablgtk 2.18.11 [required by why3-ide]
∗ install why3-ide 1.4.0
===== ∗ 4 =====
Do you want to continue? [Y/n] y
<><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
[lablgtk.2.18.11] found in cache
[why3-ide.1.4.0] found in cache
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
[ERROR] The compilation of conf-gtksourceview failed at
"/home/ddeharbe/.opam/opam-init/hooks/sandbox.sh build pkg-config
--short-errors --print-errors gtksourceview-2.0".
∗ installed conf-gtk2.1
#=== ERROR while compiling conf-gtksourceview.2 ===============================#
# context 2.0.5 | linux/x86_64 | ocaml-system.4.08.1 | https://opam.ocaml.org#a949b496
# path ~/.opam/default/.opam-switch/build/conf-gtksourceview.2
# command ~/.opam/opam-init/hooks/sandbox.sh build pkg-config --short-errors --print-errors gtksourceview-2.0
# exit-code 1
# env-file ~/.opam/log/conf-gtksourceview-138206-d2d111.env
# output-file ~/.opam/log/conf-gtksourceview-138206-d2d111.out
### output ###
# No package 'gtksourceview-2.0' found
<><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
┌─ The following actions failed
│ λ build conf-gtksourceview 2
└─
┌─ The following changes have been performed (the rest was aborted)
│ ∗ install conf-gtk2 1
└─
# Run eval $(opam env) to update the current shell environment
The former state can be restored with:
opam switch import
"/home/ddeharbe/.opam/default/.opam-switch/backup/state-20210325145034.export"
After installation of the package libgtksourceview2.0-dev
, installation completed.
ddeharbe@dde-TP14s:~/dev/atelierb/src$ opam install why3-ide
The following actions will be performed:
∗ install conf-gtksourceview 2 [required by why3-ide]
∗ install lablgtk 2.18.11 [required by why3-ide]
∗ install why3-ide 1.4.0
===== ∗ 3 =====
Do you want to continue? [Y/n] y
<><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
[lablgtk.2.18.11] found in cache
[why3-ide.1.4.0] found in cache
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
∗ installed conf-gtksourceview.2
∗ installed lablgtk.2.18.11
∗ installed why3-ide.1.4.0
Done.
# Run eval $(opam env) to update the current shell environment