From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id 06D3A5D6 for ; Fri, 2 Aug 2019 11:56:08 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.64,338,1559512800"; d="scan'208,217";a="394244789" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 02 Aug 2019 13:56:07 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id A5EAE82717; Fri, 2 Aug 2019 13:56:07 +0200 (CEST) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id D2AF7826BB for ; Fri, 2 Aug 2019 13:54:29 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=robert.muller2@gmail.com; spf=Pass smtp.mailfrom=robert.muller2@gmail.com; spf=None smtp.helo=postmaster@mail-lf1-f46.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AsJ3WcRAQsbTvfTF3iKs4UyQJP3N1i/DPJgcQr6Af?= =?us-ascii?q?oPdwSPT/o8bcNUDSrc9gkEXOFd2Cra4d0ayH4uu5ByQp2tWoiDg6aptCVhsI24?= =?us-ascii?q?09vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7?= =?us-ascii?q?Ovr6GpLIj8Swyuu+54Dfbx9HiTagf79+NhG7oAHeusULgIZpN7o8xAbOrnZUYe?= =?us-ascii?q?pd2HlmJUiUnxby58ew+IBs/iFNsP8/9MBOTLv3cb0gQbNXEDopPWY15Nb2tRbY?= =?us-ascii?q?VguA+mEcUmQNnRVWBQXO8Qz3UY3wsiv+sep9xTWaMMjrRr06RTiu86FmQwLzhS?= =?us-ascii?q?wZKzA27n3Yis1ojKJavh2hoQB/w5XJa42RLfZyY7/Rcc8fSWdHQ81fVTFOApmk?= =?us-ascii?q?YoQAD+QPM+VWoZTjqVQSthaxHxWgCfn1xzNUmnP736s32PkhHwHc2wwgGsoDvm?= =?us-ascii?q?jTrNruKqgSS/y1x7TPwzXea/NW3Sny6JLVeR0mu/GMWql/ftTLyUkzDQ/Fi0iQ?= =?us-ascii?q?qYjhPzyLzOQBrXOW7+VlVe21im4nrxt9rSSoxscpk4TEgJ8exF7D9SV82ok1JN?= =?us-ascii?q?u4RVZ8YdG4CpRQsiWaO5FxQsM4TGFkoCE6xaEctp6+eCgG0o4rxxnFa/yIdYWD?= =?us-ascii?q?/xHtVP6JLDtmmH5ofKizihWy/ES61+HxV8u53ExFoydElNTHq2oD2AbJ6sedT/?= =?us-ascii?q?tw5keh1iiL1wDU8uxEJFo7lavfK5I4xr4wmIcfvV3NHiL5mUj6lqCWdkIj+uin?= =?us-ascii?q?7+TofK/qqYObN49xkg3+M6IuldKjAekgLAQCQ2yW9f6/2bDj50H1XbRHg/8snq?= =?us-ascii?q?TWsZ3WPcEbqbS4Aw9R3IYj8RG/DzK+3dQCmnkIN0xKeAibj4TzPlHOPfT4DfOh?= =?us-ascii?q?jFS2jjtm3P/GPrj7DZXMKnjPiqvufbF460JE0go80chf545ICrEGOP/8RlX+tN?= =?us-ascii?q?ncDhMgNwy0wv3nCMlm24MFWWOPB7eZP7nIvV+J4OIvOeiMa5UPtDbzMfh2r8Lp?= =?us-ascii?q?2FgykFoZNYyg3J8Wbn/wOvV9Pw3NanPphpIFEHwWlgs4Vu3jzlOYB219fXG3Cp?= =?us-ascii?q?g77DwhFMqDEIPHS5rl1KaG1iqhAttTe2RCB0rWOXjtfoSAHfwLbXTBcYdajjUY?= =?us-ascii?q?WO35GMca3ha0uVq/kuI/d7uGymgjrZvmkeNNyajWnBA2+yZzCp3EgW6IRmBw2G?= =?us-ascii?q?gPQm1vhfwtkQlG0l6GlJNArblAD9UKvqFGVw47MdjXyOkoU4mvCDKERc+ATROd?= =?us-ascii?q?evvjATw1SYhskdoHYkI4H9v7yx6fgWylBLgak7HND5sxoPrR?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BdEAAII0Rdhi6nVdFmHQEBHwUBBgGBT?= =?us-ascii?q?gKCPgFEUTMqhB6BHUKCHItEjGmIJogACQEDAQwFGhABAYMJgTaCYRsHAQQzBg4?= =?us-ascii?q?BAwEBBAEBAgEDAwETAQEBCAsLCCmFJQyCOikBgxAdARseAxIDDTcCJAERAQUBF?= =?us-ascii?q?gyDNQGBaQEDHZIHjHCDHzyLIYEVBQEXgnsFhDwKGScNXwOBPAIHEoEiAYRxhnG?= =?us-ascii?q?CFodCBIIMgl6CWASBLgGKdYgGgguUZwYBAoF/HWGFe41BG4IvbYY9ikKEC5Ubh?= =?us-ascii?q?g6GOINqDyGBRYF6MxojUDFtgU4JghU+g1eFFIE9hB4mMI5aAQE?= X-IPAS-Result: =?us-ascii?q?A0BdEAAII0Rdhi6nVdFmHQEBHwUBBgGBTgKCPgFEUTMqhB6?= =?us-ascii?q?BHUKCHItEjGmIJogACQEDAQwFGhABAYMJgTaCYRsHAQQzBg4BAwEBBAEBAgEDA?= =?us-ascii?q?wETAQEBCAsLCCmFJQyCOikBgxAdARseAxIDDTcCJAERAQUBFgyDNQGBaQEDHZI?= =?us-ascii?q?HjHCDHzyLIYEVBQEXgnsFhDwKGScNXwOBPAIHEoEiAYRxhnGCFodCBIIMgl6CW?= =?us-ascii?q?ASBLgGKdYgGgguUZwYBAoF/HWGFe41BG4IvbYY9ikKEC5Ubhg6GOINqDyGBRYF?= =?us-ascii?q?6MxojUDFtgU4JghU+g1eFFIE9hB4mMI5aAQE?= X-IronPort-AV: E=Sophos;i="5.64,338,1559512800"; d="scan'208,217";a="315440852" X-MGA-submission: =?us-ascii?q?MDHQXZ0SwwWQjhpteJvV4RBx5lE4l44HMEh/VR?= =?us-ascii?q?L8Zj5usy+t02t4+r5meEQn8U9a82GkGDlKV+wNeqdD/ZtCgcluPC7cRw?= =?us-ascii?q?GsI6KLlWK9OKNYyjxInlSWu58ZCN7kXH+4XFHocG0Y2Bdt7eK+WiJiJ/?= =?us-ascii?q?d3IBZribxuq1OmzPzIje+9Dw=3D=3D?= Received: from mail-lf1-f46.google.com ([209.85.167.46]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 02 Aug 2019 13:54:28 +0200 Received: by mail-lf1-f46.google.com with SMTP id u10so13990592lfm.12 for ; Fri, 02 Aug 2019 04:54:28 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to; bh=06Qf1uOTbMakA4f/f9UiBaWOK+XM4zuC3yQVdXH+PLY=; b=cDt/+ouR6NBTa2zN2ZMPZn/g6o/x4ciEdJVDVQLgV6tzMcO2PDbEmaqHOvRtQwbWLC ULyCjAbhZST5XOH+sMPRl7O7yxI6DgMzmp6d0I6AHgzTklN+kInDpXNp4LcT9kvqSRjy w0PC98hb9TG22eSu2Czi3QKW83m8ymmt5GxaQUoTVSdBOHA527N3qnQ6p8hMDDjhX9Ha xqOTzwUAeEgHlVKubVRvvpZUxPUBwAVhtB1UDg8BiDdS15AcDGxICNy/pWFC5Y1vEg4k 0g3mXvEQtf0e6zkcQF+ke6hTpVhSd3ljtKb60EGF/YS+TpKmVR4bG+zYfVlA5tu/jTl8 2jpQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=06Qf1uOTbMakA4f/f9UiBaWOK+XM4zuC3yQVdXH+PLY=; b=LSbCFDfXZF1l0eU2WXGxEChdIKhaZpvTw3t/FA0ZY+CQUIPXgUtYgg+h8fW8c1LkA2 rFw5bkGgbuD/fJ0mrN3yiqf3640cF+UdbJi4x+/0kBegC6zVhj7w8PRaTrfZqC7w/jqK I7MajukzreAgtAR347KHWHQcUqSBnHM4TTlnbMBVyfqi77CmJnD4S3yW7IxDl/JmeerY SRFMoSK0zjd7Ju8y0yx05MqGrET5A+FwjR+xNFh4P0hzya2FT2fFBd9kyXZOpE7ocSB0 CZ38C9JhPeNvuyXLHkxsqLZsW43oJ6CgExvTB7TtwfuX00W+kXHPwZuMJK7r+cOX6oWr mKTw== X-Gm-Message-State: APjAAAU73q5NL6La3AWbxykhfb9WocIuzoDr+5p82HqhctEmoEGA6v6f I6ZVPmFNOfVs5/qQldhStb8zkacaqLEvY04eeP559N68 X-Google-Smtp-Source: APXvYqw0TQwY1VkVgPZ0AOLsJgr5RR2VSju3TsDrTCSbtSfNHgojqZwpsrF0JTXU9rVv84hQzDoVic/oVALCeY4TleY= X-Received: by 2002:a05:6512:70:: with SMTP id i16mr62924161lfo.26.1564746867217; Fri, 02 Aug 2019 04:54:27 -0700 (PDT) MIME-Version: 1.0 From: Robert Muller Date: Fri, 2 Aug 2019 07:53:05 -0400 Message-ID: To: Ocaml Mailing List Content-Type: multipart/alternative; boundary="0000000000002f1807058f210564" X-Validation-by: robert.muller2@gmail.com Subject: [Caml-list] problems with opam install lablgtk Reply-To: Robert Muller X-Loop: caml-list@inria.fr X-Sequence: 17733 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: --0000000000002f1807058f210564 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Hello. I don't know the etiquette/MO for reporting an apparent problem with opam and system packages (in particular, gtk). I added a comment to issue #4282. But that issue had been closed and I'm not sure what happens with comments on closed issues. It might be that I should've opened a new issue but I wasn't sure about that. I'm copying my comment herewith even though I'm pretty sure this is the wrong forum. Apologies all around. But an assist would be greatly appreciated in any case. Bob Muller --------- I am unable to opam install lablgtk on MacOS 10.14.5 with homebrew. I believe the problem might be due to some confusion/mismatch for the name of the gtk package. I see it variously given as gtk, gtk+ and gtk+-2.0. rm:~\> # MacOS Mojave 10.14.5 rm:~\> brew --version Homebrew 2.1.9 Homebrew/homebrew-core (git revision c9f34; last commit 2019-08-02) Homebrew/homebrew-cask (git revision 2e02d; last commit 2019-08-02) rm:~\> brew list | grep gtk gtk+ rm:~\> brew list | grep expat expat rm:~\> ls /usr/local/Cellar/expat/2.2.7/lib/pkgconfig/ expat.pc rm:~\> echo $PKG_CONFIG_PATH /opt/X11/lib/pkgconfig/ rm:~\> export PKG_CONFIG_PATH=3D$PKG_CONFIG_PATH:/usr/local/Cellar/expat/2.2.7/lib/pkgcon= fig/ rm:~\> pkg-config --modversion expat 2.2.7 rm:~\> ls /usr/local/Cellar/gtk+/2.24.32_3/lib/pkgconfig/ gail.pc gdk-quartz-2.0.pc gtk+-quartz-2.0.pc gdk-2.0.pc gtk+-2.0.pc gtk+-unix-print-2.0.pc rm:~\> export PKG_CONFIG_PATH=3D$PKG_CONFIG_PATH:/usr/local/Cellar/gtk+/2.24.32_3/lib/pkg= config/ rm:~\> pkg-config --modversion gtk+-2.0 2.24.32 rm:~\> opam depext lablgtk # Detecting depexts using vars: arch=3Dx86_64, os=3Dmacos, os-distribution=3Dhomebrew, os-family=3Dhomebrew # The following system packages are needed: expat gtk # The following new OS packages need to be installed: gtk Updating Homebrew... Warning: gtk+ 2.24.32_3 is already installed and up-to-date To reinstall 2.24.32_3, run `brew reinstall gtk+` # OS packages installation successful rm:~\> opam install lablgtk The following actions will be performed: =E2=88=97 install lablgtk 2.18.8 <><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><> =F0=9F=90=AB [lablgtk.2.18.8] downloaded from cache at https://opam.ocaml.org/cache <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><> =F0=9F=90=AB [ERROR] The compilation of lablgtk failed at "/Users/muller/.opam/opam-init/hooks/sandbox.sh build ./configure --prefix /Users/muller/.opam/default LABLGLDIR=3D/Users/muller/.opam/default/lib/lablgl". #=3D=3D=3D ERROR while compiling lablgtk.2.18.8 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D# # context 2.0.5 | macos/x86_64 | ocaml-base-compiler.4.08.0 | https://opam.ocaml.org#8355f6b0 # path ~/.opam/default/.opam-switch/build/lablgtk.2.18.8 # command ~/.opam/opam-init/hooks/sandbox.sh build ./configure --prefix /Users/muller/.opam/default LABLGLDIR=3D/Users/muller/.opam/default/lib/lab= lgl # exit-code 1 # env-file ~/.opam/log/lablgtk-45226-c743ac.env # output-file ~/.opam/log/lablgtk-45226-c743ac.out ### output ### # [...] # checking for suffix of object files... o # checking whether we are using the GNU C compiler... yes # checking whether cc accepts -g... yes # checking for cc option to accept ISO C89... none needed # checking whether C compiler accepts -fno-unwind-tables... yes # checking platform... Unix # checking native dynlink... checking for pkg-config... /usr/local/bin/pkg-config # checking for GTK+ - version >=3D 2.0.0... 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 <><><><><><><><><><><><><><><><><><><><><><><><><><><><><> =F0=9F=90=AB =E2=94=8C=E2=94=80 The following actions failed =E2=94=82 =CE=BB build lablgtk 2.18.8 =E2=94=94=E2=94=80 =E2=95=B6=E2=94=80 No changes have been performed <><> lablgtk.2.18.8 troubleshooting <><><><><><><><><><><><><><><><><><><><> =F0=9F=90=AB =3D> This package requires gtk+ 2.0 development packages installed on your system =3D> To solve pkg-config issues, you may need to do 'export PKG_CONFIG_PATH=3D/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 rm:~\> --0000000000002f1807058f210564 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Hello. I don't know the etiquette/MO for reporting an = apparent problem with opam and system packages (in particular, gtk). I adde= d a comment to issue=C2=A0#4282. But that issue had been closed and I'm= not sure what happens with comments on closed issues. It might be that I s= hould've opened a new issue but I wasn't sure about that. I'm c= opying my comment herewith even though I'm pretty sure this is the wron= g forum. Apologies all around. But an assist would be greatly appreciated i= n any case.
Bob Muller
---------
I am unable to opa= m install lablgtk on MacOS 10.14.5 with homebrew. I believe the problem mig= ht be due to some confusion/mismatch for the name of the gtk package. I see= it variously given as gtk, gtk+ and gtk+-2.0.

rm:~\> # MacOS Moj= ave 10.14.5
rm:~\> brew --version
Homebrew 2.1.9
Homebrew/homeb= rew-core (git revision c9f34; last commit 2019-08-02)
Homebrew/homebrew-= cask (git revision 2e02d; last commit 2019-08-02)

rm:~\> brew lis= t | grep gtk
gtk+
rm:~\> brew list | grep expat
expat
rm:~\&= gt; ls /usr/local/Cellar/expat/2.2.7/lib/pkgconfig/
expat.pc
rm:~\>= ; echo $PKG_CONFIG_PATH
/opt/X11/lib/pkgconfig/
rm:~\> export PKG_= CONFIG_PATH=3D$PKG_CONFIG_PATH:/usr/local/Cellar/expat/2.2.7/lib/pkgconfig/=
rm:~\> pkg-config --modversion expat
2.2.7
rm:~\> ls /usr/l= ocal/Cellar/gtk+/2.24.32_3/lib/pkgconfig/
gail.pc =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 gdk-quartz-2.0.pc =C2=A0 =C2=A0 =C2=A0 g= tk+-quartz-2.0.pc
gdk-2.0.pc =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0gtk+-2.0.pc =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 gtk+-unix-print= -2.0.pc
rm:~\> export PKG_CONFIG_PATH=3D$PKG_CONFIG_PATH:/usr/local/C= ellar/gtk+/2.24.32_3/lib/pkgconfig/
rm:~\> pkg-config --modversion gt= k+-2.0
2.24.32

rm:~\> opam depext lablgtk
# Detecting depex= ts using vars: arch=3Dx86_64, os=3Dmacos, os-distribution=3Dhomebrew, os-fa= mily=3Dhomebrew
# The following system packages are needed:
expat
= gtk
# The following new OS packages need to be installed: gtk
Updatin= g Homebrew...
Warning: gtk+ 2.24.32_3 is already installed and up-to-dat= e
To reinstall 2.24.32_3, run `brew reinstall gtk+`
# OS packages ins= tallation successful

rm:~\> opam install lablgtk
The following= actions will be performed:
=C2=A0 =E2=88=97 install lablgtk 2.18.8
<= br><><> Gathering sources ><><><><>&= lt;><><><><><><><><><= ><><><><><><><><><>= ;<><><> =C2=A0=F0=9F=90=AB
[lablgtk.2.18.8] downloade= d from cache at https://opam.ocaml= .org/cache

<><> Processing actions <><>&= lt;><><><><><><><><><= ><><><><><><><><><>= ;<><><><><> =C2=A0=F0=9F=90=AB
[ERROR] Th= e compilation of lablgtk failed at "/Users/muller/.opam/opam-init/hook= s/sandbox.sh build ./configure --prefix
=C2=A0 =C2=A0 =C2=A0 =C2=A0 /Use= rs/muller/.opam/default LABLGLDIR=3D/Users/muller/.opam/default/lib/lablgl&= quot;.

#=3D=3D=3D ERROR while compiling lablgtk.2.18.8 =3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D#
# context =C2=A0 =C2=A0 2.0.5 | macos/x86_64 |= ocaml-base-compiler.4.08.0 | h= ttps://opam.ocaml.org#8355f6b0
# path =C2=A0 =C2=A0 =C2=A0 =C2=A0~/.= opam/default/.opam-switch/build/lablgtk.2.18.8
# command =C2=A0 =C2=A0 ~= /.opam/opam-init/hooks/sandbox.sh build ./configure --prefix /Users/muller/= .opam/default LABLGLDIR=3D/Users/muller/.opam/default/lib/lablgl
# exit-= code =C2=A0 1
# env-file =C2=A0 =C2=A0~/.opam/log/lablgtk-45226-c743ac.e= nv
# output-file ~/.opam/log/lablgtk-45226-c743ac.out
### output ###<= br># [...]
# checking for suffix of object files... o
# checking whet= her we are using the GNU C compiler... yes
# checking whether cc accepts= -g... yes
# checking for cc option to accept ISO C89... none needed
= # checking whether C compiler accepts -fno-unwind-tables... yes
# checki= ng platform... Unix
# checking native dynlink... checking for pkg-config= ... /usr/local/bin/pkg-config
# checking for GTK+ - version >=3D 2.0.= 0... 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



<>&= lt;> Error report <><><><><><><&g= t;<><><><><><><><><>&= lt;><><><><><><><><><= ><><><> =C2=A0=F0=9F=90=AB
=E2=94=8C=E2=94=80 The = following actions failed
=E2=94=82 =CE=BB build lablgtk 2.18.8
=E2=94= =94=E2=94=80
=E2=95=B6=E2=94=80 No changes have been performed

&= lt;><> lablgtk.2.18.8 troubleshooting <><><><= ><><><><><><><><><>= ;<><><><><><><> =C2=A0=F0=9F=90= =AB
=3D> This package requires gtk+ 2.0 development packages install= ed on your system
=3D> To solve pkg-config issues, you may need to do=
=C2=A0 =C2=A0'export PKG_CONFIG_PATH=3D/opt/X11/lib/pkgconfig' = and retry

The packages you requested declare the following system de= pendencies. Please make sure they are installed before retrying:
=C2=A0 = =C2=A0 expat gtk

rm:~\>
--0000000000002f1807058f210564--