我正在尝試安裝
lablgtk
通過以下方式:
opam install lablgtk
它给我以下錯誤:
┌─ 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
The packages you requested declare the following system dependencies. Please
make sure they are installed before retrying:
libexpat1-dev libgtk2.0-dev
我尝試了這个:
sudo apt-get install -y libgtk2.0-dev
但它說
libgtk2.0-dev is already the newest version (2.24.32-1ubuntu1).
類似的情况也發生在:
sudo apt-get install -y libexpat1-dev
我在哪裏
我在Ubuntu 18.04LTS和20.04LTS上都尝試過.有什麼建議可以解決吗?
完整的輸出:
libexpat1-dev is already the newest version (2.2.5-3ubuntu0.2).
∗ install lablgtk 2.18.11
<><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
[lablgtk.2.18.11] found in cache
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
[ERROR] The compilation of lablgtk failed at
"/home/user/.opam/opam-init/hooks/sandbox.sh build ./configure
--prefix /home/user/.opam/default
LABLGLDIR=/home/user/.opam/default/lib/lablgl".
#=== ERROR while compiling lablgtk.2.18.11 ====================================#
# context 2.0.7 | linux/x86_64 | | https://opam.ocaml.org#87778c51
# path ~/.opam/default/.opam-switch/build/lablgtk.2.18.11
# command ~/.opam/opam-init/hooks/sandbox.sh build ./configure --prefix /home/user/.opam/default LABLGLDIR=/home/user/.opam/default/lib/lablgl
# exit-code 1
# env-file ~/.opam/log/lablgtk-32104-d0f245.env
# output-file ~/.opam/log/lablgtk-32104-d0f245.out
### output ###
# [...]
# checking whether C compiler accepts -fno-unwind-tables... yes
# checking platform... Unix
# checking native dynlink... checking for pkg-config... /home/linuxbrew/.linuxbrew/bin/pkg-config
# checking for GTK+ - version >= 2.0.0... Package gtk+-2.0 was not found in the pkg-config search path.
# Perhaps you should add the directory containing `gtk+-2.0.pc'
# to the PKG_CONFIG_PATH environment variable
# No package 'gtk+-2.0' found
# no
# *** Could not run GTK+ test program, checking why...
# *** The test program failed to compile or link. See the file config.log for the
# *** exact error that occured. This usually means GTK+ is incorrectly installed.
# configure: error: GTK+ is required
<><> 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
The packages you requested declare the following system dependencies. Please
make sure they are installed before retrying:
libexpat1-dev libgtk2.0-dev
给
which opam
和
/usr/local/bin/opam
给
which ocaml
/home/linuxbrew/.linuxbrew/bin/ocaml
- 5月前1 #
相似問題
- apt:通過命令列在ubuntu 1804 LTS虛擬機器上安裝最新的texliveubuntu18.04aptpackagemanagementlatextexlive2021-01-03 11:55
- ubuntu18.04:Python38,pip和distutils的安裝問题ubuntu18.04aptpackagemanagementpythonpip2020-12-10 10:52
- apt:安裝軟體包python3-venv後2004,pyvenv無法執行(指向錯誤的鏈接)aptpackagemanagementubuntu20.042021-01-04 06:26
- apt:包管理器损壞aptpackagemanagement2020-12-17 23:57
- package management:倾向於不从所需来源更新aptpackagemanagementubuntu20.04ppa2020-12-07 23:53
我看到您正在使用LinuxBrew在Ubuntu上安裝东西。 它可能對其他东西有好處,但是在当前情况下,它会匯致無法預測和不可再現的結果。
因此,我建議删除使用LinuxBrew安裝的OPAM和OCaML,然後使用官方儲存庫中的deb-packages安裝所有內容。
然後安裝ProVerif,我们可以遵循ArchLinux的PKGBUILD。
然後从任何地方以
proverif
方式呼叫可執行檔案 或proveriftotex