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 412107FEFE for ; Sat, 25 Jun 2016 17:37:57 +0200 (CEST) IronPort-PHdr: 9a23:dKjr/xQSlgWaSXLhoPCRwC5qEdpsv+yvbD5Q0YIujvd0So/mwa64bRWN2/xhgRfzUJnB7Loc0qyN4vimAT1LscnJmUtBWaQEbwUCh8QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYsExnyfTB4Ov7yUtaLyZ/mj6bqqtaDPE1hv3mUWftKNhK4rAHc5IE9oLBJDeIP8CbPuWZCYO9MxGlldhq5lhf44dqsrtY4q3wD89pozcNLUL37cqIkVvQYSW1+ayFmrPHs4FP4SgaA+mEbSiFetxtDAwHI6FuyCpLwuSvzu+47wy6XMtHsSqgcWDK+4qMtQxjt3nQpLTk8pU7egNZxgaYTmxmhqgZy2caAb4ifLvtzeuXGdtMXX2dbdslUXi1FRIi7at1cXKI6Ie9Eotyl9BM1phykCFzpXbu3xw== Authentication-Results: mail2-smtp-roc.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-io0-f178.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of gabriel.scherer@gmail.com) identity=pra; client-ip=209.85.223.178; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of gabriel.scherer@gmail.com designates 209.85.223.178 as permitted sender) identity=mailfrom; client-ip=209.85.223.178; receiver=mail2-smtp-roc.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 (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-io0-f178.google.com) identity=helo; client-ip=209.85.223.178; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="postmaster@mail-io0-f178.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DYAQC3pG5XgLLfVdFcgnBsOH0GrnaNKBqFfgKBGwc7EQEBAQEBAQEBEQEBCQ0JCR8xgjKCGwEBAwESER0BCBMdAQMBCwYFBAc3AgIiAREBBQEcBhMih3MBAw8IqT+BMT4xizuBaoJaBYZyChknDVKDNwEBAQEBAQQBAQEBAQEBAQEWAgYQhhiETYdBgloFiAeHJolUgViMX48kjkASHoEPNIIbDRyBaCAyiUgBAQE X-IPAS-Result: A0DYAQC3pG5XgLLfVdFcgnBsOH0GrnaNKBqFfgKBGwc7EQEBAQEBAQEBEQEBCQ0JCR8xgjKCGwEBAwESER0BCBMdAQMBCwYFBAc3AgIiAREBBQEcBhMih3MBAw8IqT+BMT4xizuBaoJaBYZyChknDVKDNwEBAQEBAQQBAQEBAQEBAQEWAgYQhhiETYdBgloFiAeHJolUgViMX48kjkASHoEPNIIbDRyBaCAyiUgBAQE X-IronPort-AV: E=Sophos;i="5.26,527,1459807200"; d="scan'208,217";a="224071060" Received: from mail-io0-f178.google.com ([209.85.223.178]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 25 Jun 2016 17:37:56 +0200 Received: by mail-io0-f178.google.com with SMTP id f30so121755083ioj.2 for ; Sat, 25 Jun 2016 08:37:56 -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=7y2xcE/fBHSosyi0BuguZs3IH3zEKlh5mFFJwI+jiY0=; b=fhZbXsWLjbXbACltmDpM7i6duAw5X6yipOOQbNLBy/Wlpt1Rvj96p6aPuNVVxDC0h7 Ui2toxkZ/iLCMdLxbWpQ0WnzG+oVXv9HwCjh1JUZ1bTa5kt9zKNX65zbuJJc9lYXBqVw 7PtMG2WhOKKfrcYf4AwzdrvpWiuEzMUiHPuOvpjyNNJ3VA2GlibsuY8gzrtmqzd96LLU MTTVCnLuYiYmTWluSV06kpSI2+b4em7euGOobORICaBXZJdcrP+Sa11J6U+JrzvBC29V xNjs8gZHeMpxmKPQd3+Wd2/PkO7M2Z9SWKDz9PeqddVFLlxj0VRMdyfvl3H/SHG48QIQ R1hg== 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=7y2xcE/fBHSosyi0BuguZs3IH3zEKlh5mFFJwI+jiY0=; b=SaaHs6LxI8ht5LdwASfwQe1Pb5SLDGpXIMnZx2Fz7RzR7Wy9dg8Fgbvvzej2c8h4B8 XAdQ7ftq4fDw1wYEjy3AqywjsvX5y8GFix+9Hy5lIwYcMTvmDRZECV4UsMa6emwEblwt S+cpG5ObuTcLsTVQF+3WSG2T6br8zEHS3QXepHYbJzL1pFVCHl6e0Y8y+Rl00445wQpU L8jeo28B4/GXDmxxqPBd6/g1UkwSY/ASaVKM+R5xZOt10Mn6pkWWjqZbwwSOajhrDR73 chisXSTfd7pjgrJiKcEtQxokzgB73gkaq71m0yjVG29a1Bkmm0MC+6G1yT8pbGGV3LXh PD5w== X-Gm-Message-State: ALyK8tK/IRy1d65dpdE5r7VXrJsPB6ISN7lipMbkJNMJZ2zLy8JfZg9Q1wlCl935W0lgufVPhv5cXzahNGWMwg== X-Received: by 10.107.169.104 with SMTP id s101mr9513616ioe.19.1466869075045; Sat, 25 Jun 2016 08:37:55 -0700 (PDT) MIME-Version: 1.0 Received: by 10.79.136.70 with HTTP; Sat, 25 Jun 2016 08:37:15 -0700 (PDT) In-Reply-To: <0F7D3B1B3C4B894D824F5B822E3E5A172CF1B393@IRSMSX102.ger.corp.intel.com> References: <0F7D3B1B3C4B894D824F5B822E3E5A172CF1B393@IRSMSX102.ger.corp.intel.com> From: Gabriel Scherer Date: Sat, 25 Jun 2016 11:37:15 -0400 Message-ID: To: "Soegtrop, Michael" Cc: "caml-list@inria.fr" Content-Type: multipart/alternative; boundary=001a1142162826745705361c1254 Subject: Re: [Caml-list] Building ocamlbuild with opam fails after opam switch --001a1142162826745705361c1254 Content-Type: text/plain; charset=UTF-8 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 > --001a1142162826745705361c1254 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
This is a bug, but I think it is likely to be co= ming 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/ocaml.

Did you correctly run
<= /div>
=C2=A0 eval $(opam config en)

after switching?

On Sat, Jun 25= , 2016 at 9:57 AM, Soegtrop, Michael <michael.soegtrop@intel.com<= /a>> 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


--001a1142162826745705361c1254--