From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id A28E47EE34 for ; Mon, 28 Mar 2016 07:48:54 +0200 (CEST) IronPort-PHdr: 9a23:NDzJyxCMHl53R6WQFgcLUyQJP3N1i/DPJgcQr6AfoPdwSP/7ocbcNUDSrc9gkEXOFd2CrakU26yM6Ou6BDxIyK3CmU5BWaQEbwUCh8QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYsExnyfTB4Ov7yUtaLyZ/nh6booNaJPlUArQH+SI0xBS3+lR/WuMgSjNkqAYcK4TyNnEF1ff9Lz3hjP1OZkkW0zM6x+Jl+73YY4Kp5pIZoGJ/3dKUgTLFeEC9ucyVsvJWq5lH/Sl6v638ZT3leuABBBQTBpEX6U5P0rze8vPB03iWeFcLzXfYyVCj0q+9gQRrszSMGLCIR8WfNi8U2grgIjgimoklaxI7dZYyZfNtxY67He9cTQWMJCsdeSiFbRIqhc4wnAO8IPOIepI748Qhd5SCiDBWhUbu8ggRDgWX7iOhji7ws Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=iguer.auto@gmail.com; spf=Pass smtp.mailfrom=iguer.auto@gmail.com; spf=None smtp.helo=postmaster@mail-wm0-f45.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of iguer.auto@gmail.com) identity=pra; client-ip=74.125.82.45; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="iguer.auto@gmail.com"; x-sender="iguer.auto@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of iguer.auto@gmail.com designates 74.125.82.45 as permitted sender) identity=mailfrom; client-ip=74.125.82.45; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="iguer.auto@gmail.com"; x-sender="iguer.auto@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wm0-f45.google.com) identity=helo; client-ip=74.125.82.45; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="iguer.auto@gmail.com"; x-sender="postmaster@mail-wm0-f45.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CHAACXxPhWki1SfUpbgwOBe6ZqAQaBXocphgaEbgENgXCGDQKBHjgUAQEBAQEBAQEQAQEBAQcLCwkhL4ItghUBAQQSER0BGxwCAwwGAwILFhYLAgIJAwIBAgEREQEFARwGAQwIAQEeh28BAxIBkmKPQYExPjGLNoFqgleGEQoZJw1RhB0BAQEBBgEBAQEBAQETAQUKBYVHhQyHPIJWBYdehxCIc44GZIhFhWKNTS+BDx4BAYI4HoFTaohWAQEB X-IPAS-Result: A0CHAACXxPhWki1SfUpbgwOBe6ZqAQaBXocphgaEbgENgXCGDQKBHjgUAQEBAQEBAQEQAQEBAQcLCwkhL4ItghUBAQQSER0BGxwCAwwGAwILFhYLAgIJAwIBAgEREQEFARwGAQwIAQEeh28BAxIBkmKPQYExPjGLNoFqgleGEQoZJw1RhB0BAQEBBgEBAQEBAQETAQUKBYVHhQyHPIJWBYdehxCIc44GZIhFhWKNTS+BDx4BAYI4HoFTaohWAQEB X-IronPort-AV: E=Sophos;i="5.24,404,1454972400"; d="scan'208,217";a="210614725" Received: from mail-wm0-f45.google.com ([74.125.82.45]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 28 Mar 2016 07:48:53 +0200 Received: by mail-wm0-f45.google.com with SMTP id 191so5180354wmq.0 for ; Sun, 27 Mar 2016 22:48:53 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=subject:to:references:from:message-id:date:user-agent:mime-version :in-reply-to; bh=uL+KW8TffE5DAiqdgIzsnqn4Wm4uUnQ6BhKToyfd4Yg=; b=a0Nk3cFlVs45uVqBBn8udKp+oIRayDj5u4tZk+Y4NS7qMe3vb6LSSyGB/GCQs+Q1aG qgwe+DZnWCDOqBATd6gUJWjb2SMrbqF+zPKCautH61cp62jfchWvgt+2ZxKWjqKneWzL 9kKz1bZiikL85taH8D8TMFB+UKSMZsVl54VZ2ob6nBr+Sb4k/GvSsopHYB/3yXbqOdkG HrjO71iR7aY4/zsedtkrbntCLSkJTzuaZfNfDrpC7YudgHdQdNLt42EHtMPfZ4hCaQTg jibg/BBrhquPQaXKF45cXqkZ2pVDX09o8jFaQV6Jr5sZj3dNLFx1ROkc97BrOAS7RrFh rSrQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:subject:to:references:from:message-id:date :user-agent:mime-version:in-reply-to; bh=uL+KW8TffE5DAiqdgIzsnqn4Wm4uUnQ6BhKToyfd4Yg=; b=A8A3k+qCNHbMHk+sS/17fM435ZRQ+qUFdou8PIg3BzNw1Adut9AwqVekE6isT7cyGG h0qcdPNiUkNuDwbfFmu6TlIDlNyvU71gU/xcqfsrZefAPVlTtffB3a8GsySePOwZX248 M0947878vrmHJCrT6rJXVIuoxx8VvP5ofZM/RfGvdYI26AQEy8Yz1oHzyhTsrAtPiCzj hv2lwAvQgx5ICT66GQn71FLQtciOkMCKEtgSpu9I+U5XeyodmPp3TqwoxsHXm4hZXvMN oRciIGzXvR1BpMMaU/Io9y+Pj43z78ymXXI2jKuvuMMcIsXBapCV1ZUF8lPJbxli+TNj rwZA== X-Gm-Message-State: AD7BkJJ8lAZUU1pbM5pfLGdvirIBnHD3L7XnPCZzrJxg9+abnJghjlFu18i1TzbsGv1dHw== X-Received: by 10.28.34.69 with SMTP id i66mr9042178wmi.91.1459144133440; Sun, 27 Mar 2016 22:48:53 -0700 (PDT) Received: from ?IPv6:2a01:cb04:c3:1c00:35a5:1d06:7b75:19d6? (2a01cb0400c31c0035a51d067b7519d6.ipv6.abo.wanadoo.fr. [2a01:cb04:c3:1c00:35a5:1d06:7b75:19d6]) by smtp.gmail.com with ESMTPSA id w184sm8615525wmb.1.2016.03.27.22.48.52 (version=TLSv1/SSLv3 cipher=OTHER); Sun, 27 Mar 2016 22:48:52 -0700 (PDT) To: Helmut Brandl , caml-list@inria.fr References: <56F8A01E.6010803@gmx.net> From: Mohamed Iguernlala Message-ID: <56F8C5C4.3010004@gmail.com> Date: Mon, 28 Mar 2016 07:48:52 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.6.0 MIME-Version: 1.0 In-Reply-To: <56F8A01E.6010803@gmx.net> Content-Type: multipart/alternative; boundary="------------090908010806030700050205" Subject: Re: [Caml-list] Problems installing with opam This is a multi-part message in MIME format. --------------090908010806030700050205 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Hi, I guess "pkg-config" is not installed on your system. Can you confirm that by just trying "pkg-config --help" in a terminal ? Regards, Mohamed. Le 28/03/2016 05:08, Helmut Brandl a écrit : > I have severe problems installing some packages with opam. I want to > install 'js_of_ocaml' with opam, but it cannot install the package > 'conf-pkg-config'. In trying to do this I get the error: > > opam install conf-pkg-config > The following actions will be performed: > ∗ install conf-pkg-config 1.0 > > =-=- Gathering sources > =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= > > =-=- Processing actions > -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= > [ERROR] The compilation of conf-pkg-config failed at "pkg-config > --help". > > #=== ERROR while installing conf-pkg-config.1.0 > ===============================# > # opam-version 1.2.2 > # os linux > # command pkg-config --help > # path /home/helmut/.opam/4.02.3/build/conf-pkg-config.1.0 > # compiler 4.02.3 > # exit-code 127 > # env-file > /home/helmut/.opam/4.02.3/build/conf-pkg-config.1.0/conf-pkg-config-11348-42bb52.env > # stdout-file > /home/helmut/.opam/4.02.3/build/conf-pkg-config.1.0/conf-pkg-config-11348-42bb52.out > # stderr-file > /home/helmut/.opam/4.02.3/build/conf-pkg-config.1.0/conf-pkg-config-11348-42bb52.err > > > > =-=- Error report > -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= > The following actions failed > ∗ install conf-pkg-config 1.0 > No changes have been performed > > =-=- conf-pkg-config.1.0 troobleshooting > =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= > => This package relies on external (system) dependencies that may > be missing. `opam depext conf-pkg-config.1.0' may help you find the > correct installation for your system. > > > The recommended check does not give any information. > > I have installed the version 4.02.3 successfully via opam and switched > to that version. > > Any ideas on how to analyze the problem? > > Regards > Helmut > --------------090908010806030700050205 Content-Type: text/html; charset=utf-8 Content-Transfer-Encoding: 8bit Hi,

I guess "pkg-config" is not installed on your system. Can you confirm
that by just trying "pkg-config --help" in a terminal ?

Regards,
Mohamed.

Le 28/03/2016 05:08, Helmut Brandl a écrit :
I have severe problems installing some packages with opam. I want to install 'js_of_ocaml' with opam, but it cannot install the package 'conf-pkg-config'. In trying to do this I get the error:
opam install conf-pkg-config
The following actions will be performed:
  ∗  install conf-pkg-config 1.0

=-=- Gathering sources =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=

=-=- Processing actions -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
[ERROR] The compilation of conf-pkg-config failed at "pkg-config --help".

#=== ERROR while installing conf-pkg-config.1.0 ===============================#
# opam-version 1.2.2
# os           linux
# command      pkg-config --help
# path         /home/helmut/.opam/4.02.3/build/conf-pkg-config.1.0
# compiler     4.02.3
# exit-code    127
# env-file     /home/helmut/.opam/4.02.3/build/conf-pkg-config.1.0/conf-pkg-config-11348-42bb52.env
# stdout-file  /home/helmut/.opam/4.02.3/build/conf-pkg-config.1.0/conf-pkg-config-11348-42bb52.out
# stderr-file  /home/helmut/.opam/4.02.3/build/conf-pkg-config.1.0/conf-pkg-config-11348-42bb52.err



=-=- Error report -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
The following actions failed
  ∗  install conf-pkg-config 1.0
No changes have been performed

=-=- conf-pkg-config.1.0 troobleshooting =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
=> This package relies on external (system) dependencies that may be missing. `opam depext conf-pkg-config.1.0' may help you find the
   correct installation for your system.

The recommended check does not give any information.

I have installed the version 4.02.3 successfully via opam and switched to that version.

Any ideas on how to analyze the problem?

Regards
Helmut


--------------090908010806030700050205--