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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id BBEDC7FEFE for ; Sat, 25 Jun 2016 18:27:52 +0200 (CEST) IronPort-PHdr: 9a23:evBdoBwo1aOX8U7XCy+O+j09IxM/srCxBDY+r6Qd0eMXIJqq85mqBkHD//Il1AaPBtSDraoVwLuL+4nbGkU4qa6bt34DdJEeHzQksu4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2WVTerzWI4CIIHV2nbEwud7yzQt+Z3pn//tvx0qWbWx9Piju5bOE6BzSNhiKViPMrh5B/IL060BrDrygAUe1XwWR1OQDbxE6ktY+YtaRu+CVIuv8n69UIEeCjJ/x5HvRkC2FsCGc469HxsgGHBS6O7XsVX2Fc2k5NAgPF5Rz+GIz2vyTmrO1l8CicIcDyC7szXGLxwb1sTUrHgS0dNjM9uFrcisFqgbgT9B2orQZ+zoqSe4qVOeBzZIvSeNobQSxKWcMHBH8JOZ+1c4ZaV7lJBu1ftYSo4gJW9RY= Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=gabriel.scherer@gmail.com; spf=Pass smtp.mailfrom=gabriel.scherer@gmail.com; spf=None smtp.helo=postmaster@mail-it0-f46.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of gabriel.scherer@gmail.com) identity=pra; client-ip=209.85.214.46; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of gabriel.scherer@gmail.com designates 209.85.214.46 as permitted sender) identity=mailfrom; client-ip=209.85.214.46; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-it0-f46.google.com) identity=helo; client-ip=209.85.214.46; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="postmaster@mail-it0-f46.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DFAQBlsG5Xfy7WVdFcgnCBJH0GtSKFAYF7IoV2AoEbBzkTAQEBAQEBAQERAQEJCwsJHzGCMoIaAQEBAwESER0BCBMdAQMBCwYFCwYEAQEBJwMCAiEBAREBBQELCQgGEwgah3MBAw8IDqk7gTE+MYs7gWqCWgWGcQoZJw1SgzcBAQEBAQEBAQEBAQEBAQEBAQEBAQEUAgYQhhiETYJDgVlRCYJLgloBBIgHbYY5iSA0gViEMIYrggSPJIgQhjASHoEPIAKCLQ0cgWggMogEgUQBAQE X-IPAS-Result: A0DFAQBlsG5Xfy7WVdFcgnCBJH0GtSKFAYF7IoV2AoEbBzkTAQEBAQEBAQERAQEJCwsJHzGCMoIaAQEBAwESER0BCBMdAQMBCwYFCwYEAQEBJwMCAiEBAREBBQELCQgGEwgah3MBAw8IDqk7gTE+MYs7gWqCWgWGcQoZJw1SgzcBAQEBAQEBAQEBAQEBAQEBAQEBAQEUAgYQhhiETYJDgVlRCYJLgloBBIgHbYY5iSA0gViEMIYrggSPJIgQhjASHoEPIAKCLQ0cgWggMogEgUQBAQE X-IronPort-AV: E=Sophos;i="5.26,527,1459807200"; d="scan'208,217";a="182687088" Received: from mail-it0-f46.google.com ([209.85.214.46]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 25 Jun 2016 18:27:51 +0200 Received: by mail-it0-f46.google.com with SMTP id g127so36799943ith.0 for ; Sat, 25 Jun 2016 09:27:51 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc; bh=/ASci02QChnUh68+1BL+zp7PCrpHerAGSAupfRd6LCQ=; b=NjBd2mdvFkuLc0P9vKMNuDW32Jb4MGK5EPbIwQ3e33Dc8nf8PU0hFZQPhtXxx1A5d5 jw6Oh9cLgzLIIH0HAXOP3ODwUoTkK6DfIQBPUSXr0T9jHDt41C0utY9ksPPe14zUWCZ2 snobBfvg9lJ3NsLU/s5oabimB9OuMxw44iDVwoGATRTuwEbl42eW/b7d9PJyWd/PlZdO K2etuyBlZPqapi70zto2QWxWvSJqbizeiyb9i5DKU+n5GdfiZaprzWhn4ya7trEqMBhH xVMxam7rffLctlO6mOTXwuOjaXD40ZY8vMIRXHgErym9+us5HlQHC2ZK4TVbY3XAp+pJ PmiA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc; bh=/ASci02QChnUh68+1BL+zp7PCrpHerAGSAupfRd6LCQ=; b=RiDNgZREB6EZlgN4AD8OUgfP2Z8bUwL+UCW0aKLvdDnInQMnS6YTwXJDnVvH5sQbkD 9gRCoZmN+PzVQm2VXNE7CeCwVt45YsHRasha/BAHzXe+JSPy7BaHbnDjJBboHV/iEiRf Tryvb69CtQt728t+tqoqSQinhtLkGgqpf8tOiW+JRb/89n6j+Bq8hDfPjffeQtXFQs3d d75RLI4WzwaY+cKVPgXug/PKfU3NJanTc5CaSkq38IJ7z+iSlx5tcu3biG9JLdMi9Agu MxGFD2OgIf5F0C9hp5Df3Wlj1sCT2vppLLr2wbfOztIx6XJuiUug0JUOra0ZwZSgelSU RRAw== X-Gm-Message-State: ALyK8tJV3fxfet3X2xgm+xIjaPJneS6EnKGr/UmKlHPSTsXalvH5sk6djc5GsZLPzHCLnv3Bp5pwASMDKppaXQ== X-Received: by 10.36.31.131 with SMTP id d125mr2725621itd.87.1466872070094; Sat, 25 Jun 2016 09:27:50 -0700 (PDT) MIME-Version: 1.0 Received: by 10.79.136.70 with HTTP; Sat, 25 Jun 2016 09:27:10 -0700 (PDT) In-Reply-To: <0F7D3B1B3C4B894D824F5B822E3E5A172CF1B3EA@IRSMSX102.ger.corp.intel.com> References: <0F7D3B1B3C4B894D824F5B822E3E5A172CF1B393@IRSMSX102.ger.corp.intel.com> <0F7D3B1B3C4B894D824F5B822E3E5A172CF1B3EA@IRSMSX102.ger.corp.intel.com> From: Gabriel Scherer Date: Sat, 25 Jun 2016 12:27:10 -0400 Message-ID: To: "Soegtrop, Michael" Cc: "caml-list@inria.fr" Content-Type: multipart/alternative; boundary=001a11448c04ab453f05361cc40d Subject: Re: [Caml-list] Building ocamlbuild with opam fails after opam switch --001a11448c04ab453f05361cc40d Content-Type: text/plain; charset=UTF-8 Feel free to open an issue on https://github.com/ocaml/ocamlbuild/issues so that we can track the problem down. On Sat, Jun 25, 2016 at 11:57 AM, Soegtrop, Michael < michael.soegtrop@intel.com> wrote: > Dear Gabriel, > > > > >Did you correctly run > > > > > eval $(opam config en) > > I tried both (in a fresh shell). The effect is the same. > > > > A question for my understanding: I assumed that for building something > inside of opam this is not required. I thought I need to do this only when > I use ocaml to build something outside of opam. This also matches my (very > limited) experience with opam. > > > > I try to find out what is going wrong here. > > > > Best regards, > > > > Michael > > > > *From:* Gabriel Scherer [mailto:gabriel.scherer@gmail.com] > *Sent:* Saturday, June 25, 2016 5:37 PM > *To:* Soegtrop, Michael > *Cc:* caml-list@inria.fr > *Subject:* Re: [Caml-list] Building ocamlbuild with opam fails after opam > switch > > > > This is a bug, but I think it is likely to be coming from a > misconfiguration on your end: the preinstalled test checks > $(ocamlc -where)/ocamlbuild > and if you are in a non-system switch this should not be > /usr/local/lib/ocaml. > > Did you correctly run > > > eval $(opam config en) > > after switching? > > > > On Sat, Jun 25, 2016 at 9:57 AM, Soegtrop, Michael < > michael.soegtrop@intel.com> wrote: > > Dear OCaml Users, > > > > Opam works fine for me with the system installed OCaml, but after an opam > switch I cannot build ocamlbuild or any package depending on it any more. > > > > Building ocamlbuild fails because it explicitly checks if there is already > a system installed ocamlbuild: > > > > # ERROR: Preinstalled ocamlbuild detected at > /usr/local/lib/ocaml/ocamlbuild > > # Installation aborted; if you want to bypass this safety check, pass > CHECK_IF_PREINSTALLED=false to make > > # make: *** [Makefile:333: check-if-preinstalled] Error 2 > > > > Of cause I can just follow this advice and remove this check, but I wonder > how others handle this. > > > > Best regards, > > > > Michael > > > > Intel Deutschland GmbH > Registered Address: Am Campeon 10-12, 85579 Neubiberg, Germany > Tel: +49 89 99 8853-0, www.intel.de > Managing Directors: Christin Eisenschmid, Christian Lamprechter > Chairperson of the Supervisory Board: Nicole Lau > Registered Office: Munich > Commercial Register: Amtsgericht Muenchen HRB 186928 > > > > Intel Deutschland GmbH > Registered Address: Am Campeon 10-12, 85579 Neubiberg, Germany > Tel: +49 89 99 8853-0, www.intel.de > Managing Directors: Christin Eisenschmid, Christian Lamprechter > Chairperson of the Supervisory Board: Nicole Lau > Registered Office: Munich > Commercial Register: Amtsgericht Muenchen HRB 186928 > --001a11448c04ab453f05361cc40d Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Feel free to open an issue on
=C2=A0 https://github.com/ocaml/ocamlbui= ld/issues
so that we can track the problem down.

On Sat, Jun 25, 2016 = at 11:57 AM, Soegtrop, Michael <michael.soegtrop@intel.com>= ; wrote:

<= span style=3D"font-size:11.0pt;font-family:"Calibri",sans-serif;c= olor:#1f497d">Dear Gabriel,

=C2=A0

>Did you correctly run

>
>=C2=A0 eval $(opam config en)

I tried both (in a fresh shell= ). The effect is the same.

=C2=A0

A question for my understanding: I as= sumed that for building something inside of opam this is not required. I th= ought I need to do this only when I use ocaml to build something outside of opam. This also matches my (very limited) ex= perience with opam.

=C2=A0

I try to find out what is going wrong= here.

=C2=A0

Best regards,

=C2=A0

Michael

=C2=A0

From: Gabriel Scherer [mailto:gabriel.scherer@gm= ail.com]
Sent: Saturday, June 25, 2016 5:37 PM
To: Soegtrop, Michael <michael.soegtrop@intel.com>
Cc: caml-lis= t@inria.fr
Subject: Re: [Caml-list] Building ocamlbuild with opam fails after o= pam switch <version>

=C2=A0

This is a bug, but I think it is likely to be coming= from a misconfiguration on your end: the preinstalled test checks
=C2=A0 $(ocamlc -where)/ocamlbuild
and if you are in a non-system switch this should not be /usr/local/lib/oca= ml.

Did you correctly run


=C2=A0 eval $(opam config en)

after switching?

=C2=A0

On Sat, Jun 25, 2016 at 9:57 AM, Soegtrop, Michael &= lt;michael.= soegtrop@intel.com> wrote:

Dear OCaml Users,

=C2=A0

Opam works fine for me with the system installed OCa= ml, but after an opam switch I cannot build ocamlbuild or any package depen= ding on it any more.

=C2=A0

Building ocamlbuild fails because it explicitly chec= ks if there is already a system installed ocamlbuild:

=C2=A0

# ERROR: Preinstalled ocamlbuild detected at /usr/lo= cal/lib/ocaml/ocamlbuild

# Installation aborted; if you want to bypass this s= afety check, pass CHECK_IF_PREINSTALLED=3Dfalse to make

# make: *** [Makefile:333: check-if-preinstalled] Er= ror 2

=C2=A0

Of cause I can just follow this advice and remove th= is check, but I wonder how others handle this.

=C2=A0

Best regards,

=C2=A0

Michael

=C2=A0

Intel Deutschland GmbH
Registered Address: Am Campeon 10-12, 85579 Neubiberg, Germany
Tel: +49 89 99 8853-0, ww= w.intel.de
Managing Directors: Christin Eisenschmid, Christian Lamprechter
Chairperson of the Supervisory Board: Nicole Lau
Registered Office: Munich
Commercial Register: Amtsgericht Muenchen HRB 186928

=C2=A0

Intel Deutschland GmbH
Registered Address: Am Campeon 10-12, 85579 Neubiberg, Germany
Tel: +49 89 99 8853-0, ww= w.intel.de
Managing Directors: Christin Eisenschmid, Christian Lamprechter
Chairperson of the Supervisory Board: Nicole Lau
Registered Office: Munich
Commercial Register: Amtsgericht Muenchen HRB 186928


--001a11448c04ab453f05361cc40d--