From unknown Sat Sep 06 09:27:33 2025 X-Loop: help-debbugs@gnu.org Subject: bug#35549: dune failure Resent-From: Gabriel Hondet Original-Sender: "Debbugs-submit" Resent-CC: bug-guix@gnu.org Resent-Date: Fri, 03 May 2019 19:25:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 35549 X-GNU-PR-Package: guix X-GNU-PR-Keywords: To: 35549@debbugs.gnu.org X-Debbugs-Original-To: bug-guix@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.155691147810524 (code B ref -1); Fri, 03 May 2019 19:25:02 +0000 Received: (at submit) by debbugs.gnu.org; 3 May 2019 19:24:38 +0000 Received: from localhost ([127.0.0.1]:49695 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hMdnJ-0002jX-Io for submit@debbugs.gnu.org; Fri, 03 May 2019 15:24:37 -0400 Received: from eggs.gnu.org ([209.51.188.92]:45054) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hMdnG-0002jJ-M3 for submit@debbugs.gnu.org; Fri, 03 May 2019 15:24:28 -0400 Received: from lists.gnu.org ([209.51.188.17]:47078) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1hMdnB-0004yL-Ik for submit@debbugs.gnu.org; Fri, 03 May 2019 15:24:21 -0400 Received: from eggs.gnu.org ([209.51.188.92]:59435) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1hMdnA-0004Jl-Iq for bug-guix@gnu.org; Fri, 03 May 2019 15:24:21 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=0.8 required=5.0 tests=BAYES_50,FREEMAIL_FROM, URIBL_BLOCKED autolearn=disabled version=3.3.2 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1hMdn9-0004wq-LC for bug-guix@gnu.org; Fri, 03 May 2019 15:24:20 -0400 Received: from mail-wm1-x32e.google.com ([2a00:1450:4864:20::32e]:40641) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1hMdn9-0004ut-F3 for bug-guix@gnu.org; Fri, 03 May 2019 15:24:19 -0400 Received: by mail-wm1-x32e.google.com with SMTP id h11so7904138wmb.5 for ; Fri, 03 May 2019 12:24:18 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=user-agent:from:to:subject:date:message-id:mime-version; bh=f0xLItTM96WAP62ecuDyPZdkzlMs7lhMj98DphjpOjE=; b=YVDOcA/7SqUConFQXjoVpoSoD+JwOEGK2MPHYUGJjmIYIXJpqXH07kjwOq9jsEAIe+ 33ZRe9MPE4f9LW0q0OS+AMlvC1JKi2MrXz5KtJ3oguWFl2y/osrr6YecBLuR7x/L1tu3 RLMpD7mhkaOz7pb+sLEcshr3pozUWQxYqgnRfGZT135nypYsPfH0gdxyTajROGijXx0a f/7wBFEwsIs/rbSFOAFkoOxgiYw1N9iP7rIsIBg22iX5jo4Jl+R3+7FymZc4J5yrExIz afDviJ/YedG53tCzSH4R+UAT7SRDoLIqjvpSFx9iklzaiHrDmJX8c9dTQLVuVGwXwxBK lAlw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:user-agent:from:to:subject:date:message-id :mime-version; bh=f0xLItTM96WAP62ecuDyPZdkzlMs7lhMj98DphjpOjE=; b=RCVmxsiTHjVZaUpM5IyJhZ5ula7trxqr+3Zkj1WE8x+vXh/MhvJGU3Q/4hW7iG6BHy 1z9wudsQjhAW4ADO89wINjWdn02euzZCXiIRqj0824B94ae6F8IgydbSsVm+uoDXQD9e xmPnDelKse+XH4+dWzl5dWu8XWXMcMAZIyUhrWNPt1bDwFW9wTOYgEX0f+EDl4epuBWj PUEpvvjD5HF6kPJb1fBmYOv+8DQwZV8KHaOmf+lkEgRGYm+vl5+vBS/TIu82mpr1rkld 7ixq+JEa0/6bT5+6Ot+ABnTioJLvrok+3W8cGZs3XpsOAU/Fr16k58ENgHCBcITcpERJ lmKA== X-Gm-Message-State: APjAAAVxywI/ppMRDO16K9mIBwjWMXb1gozOUbfshUsBKt/V/L128XBm sNNlK3qrCzn4RfmlR9328gF0FzQl X-Google-Smtp-Source: APXvYqxxBCV9f6odQrn1+zdYpWOhkDFhdHUIaVI4D0FaPvhrbC7CAQX5cN2O57JX837X5goc9YTSsg== X-Received: by 2002:a1c:700f:: with SMTP id l15mr7613866wmc.150.1556911457916; Fri, 03 May 2019 12:24:17 -0700 (PDT) Received: from glht-aurore.gmail.com (2a01cb04062c860082fa5bfffe3823d7.ipv6.abo.wanadoo.fr. [2a01:cb04:62c:8600:82fa:5bff:fe38:23d7]) by smtp.gmail.com with ESMTPSA id u14sm1863714wrn.30.2019.05.03.12.24.16 for (version=TLS1_3 cipher=AEAD-AES256-GCM-SHA384 bits=256/256); Fri, 03 May 2019 12:24:16 -0700 (PDT) User-agent: mu4e 1.2.0; emacs 26.2 From: Gabriel Hondet Date: Fri, 03 May 2019 21:24:16 +0200 Message-ID: <87y33nxrxb.fsf@gmail.com> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha256; protocol="application/pgp-signature" X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-Received-From: 2a00:1450:4864:20::32e X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-Spam-Score: -1.3 (-) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.0 (/) --=-=-= Content-Type: text/plain Content-Transfer-Encoding: quoted-printable Good evening, I tried to build a project with dune, and it failed while trying to access '/usr/lib/ocaml/METAS': $ dune build lambdapi.exe Entering directory '/data0/gabriel/workspace/vcs/lambdapi' Error: exception Sys_error("/usr/lib/ocaml/METAS: No such file or directory= ") Backtrace: Raised by primitive operation at file "src/stdune/path.ml", line 878, chara= cters 25-50 Called from file "src/findlib.ml", line 441, characters 6-31 Called from file "list.ml", line 99, characters 22-25 Called from file "src/stdune/list.ml" (inlined), line 5, characters 19-33 Called from file "src/stdune/list.ml", line 39, characters 29-39 Called from file "src/findlib.ml", line 440, characters 4-265 Called from file "src/findlib.ml", line 453, characters 20-37 Called from file "src/findlib.ml", line 457, characters 2-21 Called from file "src/lib.ml", line 1334, characters 6-34 Called from file "src/super_context.ml", line 288, characters 4-70 Called from file "src/gen_rules.ml", line 327, characters 6-161 Called from file "src/fiber/fiber.ml", line 99, characters 6-13 =20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20 I must not segfault. Uncertainty is the mind-killer. Exceptions are the little-death that brings total obliteration. I will fully express my cases. Execution will pass over me and through me. And when it has gone past, I will unwind the stack along its path. Where the cases are handled there will be nothing. Only I will remain. =2D- I'll probably have a look at it tomorrow. If someone has an idea though, let me know. Cheers, Gabriel --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEE5ercJXBcjd3P1FcAMbyBBfZZ1CUFAlzMlWAACgkQMbyBBfZZ 1CWheg//Z+q4WexrNM7Me5QaAy0TH40yltVsl8UrCM0B9vxR+P4Xv27IIgNn2lac 6otiDfzTX9fIQWEiq1bN/IMQsoYBtGjzzl0s1sCoY2uLoIAJKQccWu2T5gsK7vo/ q1/eSNhLT05NgSJp8bxPsfebauX3O14m22TZ0qV1ErKXeJ3pIcfshq5RS1TFbWtk oH+kWAksTI06oh1ps3M3Ti7UcwkzrkD0gW+oBkxX+/jr+esiAy5oB+0flmDSZjvC TmXjTIW4joL3ZWYc85qVdU17mcS2YbUYl5GHwTKEY9wMxrxuEY1UZ6JgbDIhzJnK 25EqM9XoPrWyUwNOv7YKeKN/JrNVziqeyuZUixTqlPLTNLCPt4KlQgvbdGmBEFzJ jin//uaTo9E19AqwMnbgV/UI54xx20ucO1O1O2peLvI7MwPGo3C6i3TCcKZ5xwRu 8pCldmNEJgNXFY82DkFuNBXZh9wTNPtwqSVZemXzOC8AsTQzjspGjFyZ7WLZgJ64 moLxOmyS4WTBiOQF+RgENLca67/guq5Mqpk9tRfs+2bSjHeeF9Nmvo1i0azzaPPI 84LDZ05UgjatoYOw2Ol03azgrXvm4QKGrGt/96FF2mtdswIF4bIrF0iLMvAtdGiF XVJHlGgkiDCoGc5P0N7SR99ZBzwQWzdL49pyGwL0tbQkGahHPPU= =rNt4 -----END PGP SIGNATURE----- --=-=-=-- From unknown Sat Sep 06 09:27:33 2025 X-Loop: help-debbugs@gnu.org Subject: bug#35549: dune failure Resent-From: Julien Lepiller Original-Sender: "Debbugs-submit" Resent-CC: bug-guix@gnu.org Resent-Date: Fri, 03 May 2019 20:18:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 35549 X-GNU-PR-Package: guix X-GNU-PR-Keywords: To: Gabriel Hondet Cc: 35549@debbugs.gnu.org Received: via spool by 35549-submit@debbugs.gnu.org id=B35549.155691463215339 (code B ref 35549); Fri, 03 May 2019 20:18:02 +0000 Received: (at 35549) by debbugs.gnu.org; 3 May 2019 20:17:12 +0000 Received: from localhost ([127.0.0.1]:49730 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hMecK-0003zL-I8 for submit@debbugs.gnu.org; Fri, 03 May 2019 16:17:12 -0400 Received: from lepiller.eu ([89.234.186.109]:60766) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hMecI-0003zB-BV for 35549@debbugs.gnu.org; Fri, 03 May 2019 16:17:11 -0400 Received: from sybil.lepiller.eu (89-92-10-229.hfc.dyn.abo.bbox.fr [89.92.10.229]) by lepiller.eu (OpenSMTPD) with ESMTPSA id 55eb54a3 (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256:NO); Fri, 3 May 2019 20:17:07 +0000 (UTC) Date: Fri, 3 May 2019 22:17:03 +0200 From: Julien Lepiller Message-ID: <20190503221654.0cebd609@sybil.lepiller.eu> In-Reply-To: <87y33nxrxb.fsf@gmail.com> References: <87y33nxrxb.fsf@gmail.com> X-Mailer: Claws Mail 3.17.3 (GTK+ 2.24.32; x86_64-unknown-linux-gnu) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: 0.0 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) Le Fri, 03 May 2019 21:24:16 +0200, Gabriel Hondet a =C3=A9crit : > Good evening, >=20 > I tried to build a project with dune, and it failed while trying to > access '/usr/lib/ocaml/METAS': >=20 > [...] >=20 > I'll probably have a look at it tomorrow. If someone has an idea > though, let me know. >=20 > Cheers, > Gabriel Is /usr/lib/ocaml/METAS referenced somewhere in the sources you're trying to build? Maybe you could try setting these environment variables: OCAMLFIND_DESTDIR=3D and OCAMLFIND_LDCONF=3Dignore that's what we do in the dune-build-system. From unknown Sat Sep 06 09:27:33 2025 X-Loop: help-debbugs@gnu.org Subject: bug#35549: dune failure Resent-From: Gabriel Hondet Original-Sender: "Debbugs-submit" Resent-CC: bug-guix@gnu.org Resent-Date: Sat, 04 May 2019 06:49:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 35549 X-GNU-PR-Package: guix X-GNU-PR-Keywords: To: Julien Lepiller Cc: 35549@debbugs.gnu.org Received: via spool by 35549-submit@debbugs.gnu.org id=B35549.15569525117722 (code B ref 35549); Sat, 04 May 2019 06:49:01 +0000 Received: (at 35549) by debbugs.gnu.org; 4 May 2019 06:48:31 +0000 Received: from localhost ([127.0.0.1]:50240 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hMoTG-00020U-NX for submit@debbugs.gnu.org; Sat, 04 May 2019 02:48:30 -0400 Received: from mail-wm1-f50.google.com ([209.85.128.50]:36347) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hMoTE-00020F-Dw for 35549@debbugs.gnu.org; Sat, 04 May 2019 02:48:29 -0400 Received: by mail-wm1-f50.google.com with SMTP id a10so754570wme.1 for <35549@debbugs.gnu.org>; Fri, 03 May 2019 23:48:28 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=references:user-agent:from:to:cc:subject:in-reply-to:date :message-id:mime-version; bh=EUzrP2iudo3cZ7+YeOAcYURNvxnVyNYPWWiZilZbbSg=; b=CvOslB1Uxlx0XTWDoHWX3R0UO0NZHFtj2J+DmDg3U7hY+CUHsDVUJPljldU3OQGgoC UJ7Rs6U7SneTk7AZaO4Da4Dx72qtJzozlAUw63cIurOd90IyYJe3TCYi1/4L659eqL3A Jsuwftwu5JXWslJXZ61aUflzF65KhfjHiEd9D5HD8SzQpuY8JJhFjUsc6IB06jA8LvZk CHo+KCSa15hBKqzSh2OKTVFp3yhuvxDogfcZy0fWdL6nF+cyI7byUkAK67cqlSvm8f6z UT2TAY9KCeq2/Doj8e8FANwziGAi3IwtgbWVxelksUVSO21FiBQPlLBrHaZxPuVTANDu FFXw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:references:user-agent:from:to:cc:subject :in-reply-to:date:message-id:mime-version; bh=EUzrP2iudo3cZ7+YeOAcYURNvxnVyNYPWWiZilZbbSg=; b=QmZoau1TJg5Dz3UbTbaM2rio/B2kgMaxfCNCV8It7BcPu0tVKAv3MpMVHU12epoiQ1 /NZwE07WVgibsO845hbloqo06PegNXWZN/PSI/UtzOAjiJmcnCDcddhiBtJnSY0OlenM 8XCUunyA2FzOBpLKoSZsnli4yd6Q8oyjEF4uzyaB9tbiWUhCvwhwrrjYBtVVv0XZToHq nF24ySZ29/b6XJFnE12K6HLS/nswVp9VA1B9aAaPVLTWVsnnn8hhpqxA3RuCV5td+IsS lTqGGDl/HLswLD0VN8kcJirBN/BrWpkluAs+/JbfngucDz0sxeQ0MqUAWUH1mi+7Gyrz MAJQ== X-Gm-Message-State: APjAAAUMEhL5mxitdass2OoG8F6lQww9AsseaTa3ogXsrDj1DN7z9IFY CE3EECaxYstMlUps1PwZD7DHRwlp X-Google-Smtp-Source: APXvYqyjFSjnvFEF0FNfobBOytyoDBJkzaxFNZ3y2rlY+nwZiSPCspUN8zFcvzcsypdAuK7s+cMRzA== X-Received: by 2002:a1c:eb03:: with SMTP id j3mr9205921wmh.15.1556952502282; Fri, 03 May 2019 23:48:22 -0700 (PDT) Received: from glht-aurore.gmail.com (2a01cb04062c860082fa5bfffe3823d7.ipv6.abo.wanadoo.fr. [2a01:cb04:62c:8600:82fa:5bff:fe38:23d7]) by smtp.gmail.com with ESMTPSA id c10sm8966149wrd.69.2019.05.03.23.48.20 (version=TLS1_3 cipher=AEAD-AES256-GCM-SHA384 bits=256/256); Fri, 03 May 2019 23:48:21 -0700 (PDT) References: <87y33nxrxb.fsf@gmail.com> <20190503221654.0cebd609@sybil.lepiller.eu> User-agent: mu4e 1.2.0; emacs 26.2 From: Gabriel Hondet In-reply-to: <20190503221654.0cebd609@sybil.lepiller.eu> Date: Sat, 04 May 2019 08:48:20 +0200 Message-ID: <87woj6yatn.fsf@gmail.com> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha256; protocol="application/pgp-signature" X-Spam-Score: 0.0 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) --=-=-= Content-Type: text/plain Hi Julien, On Fri 03 May 2019 at 22:17 Julien Lepiller wrote: > Is /usr/lib/ocaml/METAS referenced somewhere in the sources you're > trying to build? Checking this is indeed a good idea, but no, the path isn't referenced in the sources. > Maybe you could try setting these environment variables: > OCAMLFIND_DESTDIR= > and > OCAMLFIND_LDCONF=ignore > > that's what we do in the dune-build-system. The DESTDIR is used when installing files, isn't it? Here it seems to be rather a problem of source directory though. Gabriel --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEE5ercJXBcjd3P1FcAMbyBBfZZ1CUFAlzNNbQACgkQMbyBBfZZ 1CXBkxAAghCZn5FC2X8RvQXxwVs1tFXU/UlkPnRfEWSq0BJFMEtvKt+25hXlgWnS LAKx4EZ7FOWRcB9VjKP5Z/7i4VZDYkf85g8S6NCV7xcUdmy9V2MMTqlIIebbEGkR 9mSJuoNfvtTNK/5V0p/jrj5Qv8N51bPuzut4B0G0otMfL3EujhNiR2h5QUz0EsgJ 6DhWOkiu49Afg6PsaFtK0HPPSQiKhQa35f7fxszgfjYyRwK+N1/moC3iT4Q+248v Hsa6qkx6qe3QqpcyBlyxDWk+OUanA27p7V9vx0fetk4ddYL3xj/98hdgNewwKvZB nz+9N2xhdtxEhKf38Qn+JEQItShI6AexYMNI0TI89HcbBJ9nxMYO5nf5VnIHKh7i xE89IRkpw+0DF7v/SMnPzouXIPHLxuasfxuJ/g/mbzX+sdzUrpVZtQiJlA9feJW6 WHLoO05Chjy8FyMqTMIXa4+Unz4lEtKLzlWVNkDwQsgfTD1bHypOCjxi2p+nukFQ JuyHrQJYAAjotmGSzuXJcTAa4W2r9O2RjrMyrq6hv7HjmRz5iuMvge9papx7kW5F 3s+1zl63F4KnMZSti2SBwIyiqXv0Bzm5yyiWJzt9xr44S160DJLYfHPbM3ukOfXb Z5Fwq7GCEgbBeKrG7tvL3nHwkpdBRhLOi6bhKxYAfy2+DZfwAO4= =2QZA -----END PGP SIGNATURE----- --=-=-=-- From unknown Sat Sep 06 09:27:33 2025 X-Loop: help-debbugs@gnu.org Subject: bug#35549: dune failure Resent-From: Gabriel Hondet Original-Sender: "Debbugs-submit" Resent-CC: bug-guix@gnu.org Resent-Date: Sat, 04 May 2019 07:37:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 35549 X-GNU-PR-Package: guix X-GNU-PR-Keywords: To: 35549@debbugs.gnu.org Received: via spool by 35549-submit@debbugs.gnu.org id=B35549.155695541312704 (code B ref 35549); Sat, 04 May 2019 07:37:02 +0000 Received: (at 35549) by debbugs.gnu.org; 4 May 2019 07:36:53 +0000 Received: from localhost ([127.0.0.1]:50293 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hMpE4-0003Iq-Nn for submit@debbugs.gnu.org; Sat, 04 May 2019 03:36:52 -0400 Received: from mail-wm1-f44.google.com ([209.85.128.44]:39689) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hMpE3-0003Ic-0S for 35549@debbugs.gnu.org; Sat, 04 May 2019 03:36:51 -0400 Received: by mail-wm1-f44.google.com with SMTP id n25so9094505wmk.4 for <35549@debbugs.gnu.org>; Sat, 04 May 2019 00:36:50 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=references:user-agent:from:to:subject:in-reply-to:date:message-id :mime-version; bh=RjOUTDCr92xuHUSezmNk4mWCuAcdukONviDp07tyC2E=; b=Ik0UdS8FOTAiLjhnue2aQ9YiUmus6Y8U3ikkwNUDC592YW0RGnp3PRSKGKVxk53fww UdEZjGIuw0K+DO7PeI3iT0KsYDxaEzkGAW7SGHgjKffgYtlaIGJsUfbl4Di88a7L+Qfn vxNwVwtSxm8EJIOeWFgM33noE7Lb9O4+1IsFZwRpqPrCheGyslDy2kA+/RO0elwD0Je/ FPdzmwEQNtu/Amoa3UhqUCpkVWAS+7YFPz2YUn94+s5XpWa8V5IcfwnGrkSGrOlSoveW qQ+CkXmr0/wYSLRv9Y/2VblifeSOPY80FRAm2XBFvxcCIELZ5G0TdxfBS67lns1gwMc1 hVpA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:references:user-agent:from:to:subject :in-reply-to:date:message-id:mime-version; bh=RjOUTDCr92xuHUSezmNk4mWCuAcdukONviDp07tyC2E=; b=Yr3oXcJi6d0UFq9/YnTA3lE+MqTbZppbiJXYO8yMfcRkrIZ7ywlMy80RHWwR7ZTtj4 e08sBga6upqqfQOGyHrYFwmegT/w1BCWQog2KbQbrmiByrjnF5DhSraa/WWjdXp9ipt1 XHLvmmeQBPYrz7L5YUPeIJIqNnN1zPE/753VStp4s4Opwuj9RacbtZBeLXlGO9ZEiosP O9pzLNBCBhHcjF0Pe5VuSkHq6qt6DPRiJMXHwqgFpqhrP6zZfQq8cCpkJPLkoKHW3Kij g17Jr6JjXgIs5A3NK8iBdafGVMa8HZ7vg/OpOZ49pLa2zWMDtZCKzCnQD8HWSQrmzy6O 8CQg== X-Gm-Message-State: APjAAAW4O/Nr8LshK12giP2CPkPl4VSwPKfz9Cxv/icjQKihL3nu2U2A BT0XkEuKhgbP0GnfViHwpqRx8eYH X-Google-Smtp-Source: APXvYqwGcTAWOpK/VyhAye19y7OQmtBczstlrX6ZiVa0FEiCLIhydHhTbnaAfcpMsMJe7FJAFwdvSQ== X-Received: by 2002:a7b:c5ce:: with SMTP id n14mr9781956wmk.18.1556955404919; Sat, 04 May 2019 00:36:44 -0700 (PDT) Received: from glht-aurore.gmail.com (2a01cb04062c860082fa5bfffe3823d7.ipv6.abo.wanadoo.fr. [2a01:cb04:62c:8600:82fa:5bff:fe38:23d7]) by smtp.gmail.com with ESMTPSA id j10sm12245042wrb.0.2019.05.04.00.36.43 for <35549@debbugs.gnu.org> (version=TLS1_3 cipher=AEAD-AES256-GCM-SHA384 bits=256/256); Sat, 04 May 2019 00:36:44 -0700 (PDT) References: <87y33nxrxb.fsf@gmail.com> <20190503221654.0cebd609@sybil.lepiller.eu> <87woj6yatn.fsf@gmail.com> User-agent: mu4e 1.2.0; emacs 26.2 From: Gabriel Hondet In-reply-to: <87woj6yatn.fsf@gmail.com> Date: Sat, 04 May 2019 09:36:42 +0200 Message-ID: <87v9yqy8l1.fsf@gmail.com> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha256; protocol="application/pgp-signature" X-Spam-Score: -0.0 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) --=-=-= Content-Type: text/plain The error was mine, sorry, ocamlfind was not installed through guix and thus the paths returned were wrong. I'm closing this. Gabriel --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEE5ercJXBcjd3P1FcAMbyBBfZZ1CUFAlzNQQoACgkQMbyBBfZZ 1CX2exAAmRja5o2SwLOUdaZDmMwFThvpW8P0y/ujp6ijmr1bdhlUfoi+Lesqpow8 IoAi5HaPI3sQgdJmIkic4i/FelW/YuW45kgEcIsz72nFFMhZJsPszD9urdXgrLSN r6Lr3cDwBmD9da/lmRPI4a4k5sJUeIEytx9P2Oa5NyuazTaC+xPYkwaAxUSjD/8T HyHM4LJx6DRW/1DEl6yCWlUxnzY4i/e86fGYv4xbGTfaRAk/8eAtFFIYkShspC9K VMAHlKokeGLXLRwb9cLOfYTuPr5OMmyjc/urFOfsi81CHRQA/F6fvGMxtMQv7c0n FW+sYNMUBi1R0JGXkim0VZlv54ya/xhVvAC+U/96ZOFJifcFui26Uval36yFaoyh +7gwdxq8jML8XeeJFFGBPgcKAOPUQQ5XunK5rjlTrQLuscBYE6PUR4gbN2DMVTWl uK4TjdfoOm1Lsso7EGBLY0Z1Ayhn/y+jrRMT+7fQO4pkNchX3pK0Kg/ploZiTog9 1nLIei9ZfFd5zHiZM4UL40xfCpaFRkgCrwyIxG03vQDoP7wjscfDEVSHMf3tsbgp GHQyp5d9EryvwL2vYhVUerN8iDktmHCF9OhPN7ekRxCF19W2qWC7flMydejM+hAK 2KUjT2KnWYjYD82FATVw2oi7gCk0ILMgg/2AkUJZ9fY5sE3+d9o= =SJEs -----END PGP SIGNATURE----- --=-=-=-- From debbugs-submit-bounces@debbugs.gnu.org Sat May 04 03:42:08 2019 Received: (at control) by debbugs.gnu.org; 4 May 2019 07:42:08 +0000 Received: from localhost ([127.0.0.1]:50297 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hMpJA-0003Ql-Di for submit@debbugs.gnu.org; Sat, 04 May 2019 03:42:08 -0400 Received: from mail-wm1-f52.google.com ([209.85.128.52]:33635) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hMpJ8-0003QG-VZ for control@debbugs.gnu.org; Sat, 04 May 2019 03:42:07 -0400 Received: by mail-wm1-f52.google.com with SMTP id s18so1146095wmh.0 for ; Sat, 04 May 2019 00:42:06 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=user-agent:from:to:subject:date:message-id:mime-version; bh=4svdQsG3s+Vj+zMPjnosE9Z70uHXOMwUyAhOlWrTHEs=; b=WI75Dzl3C19ET6QfHwcAdQGz0mD+V0QNyq+w9gezvfPlkaXeHdOCPRfehQjdLZDqj5 pVxC5JEI7+pZGMDVxcHp41qISynfkanvsWL3pmO/+HlbZg0Pmpz4oMcJ6IKssNu0JmpT VySaZruDZowj7ul0VAFLKerA3N73FUe9k5O9gZuS9a6anD7jPODiNSU08jSyN5g1rXR+ al7wxdzjoGBmPrNd4PJh1o5O4elBVm+sDk84BYqATrWFAwJrWUF0RPizIq+XvpDGAJ1W eIlQVhOUv3VGlgdOZ3I+xWobw3vJnTLwDf6F6UmGD5dba/3rRGggNuz0Cg+LPlAJMxL/ Wl1A== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:user-agent:from:to:subject:date:message-id :mime-version; bh=4svdQsG3s+Vj+zMPjnosE9Z70uHXOMwUyAhOlWrTHEs=; b=HOGLc3Lzb0PEUSL5F3hdwRGaJk2sOyySga+D6XH6m6Y/lu8AOZghqDELtlwtoWWSgb iql8wJuDZDmDRv/r22duH/sUVZlU2JBcN0JoiRdbZv/8URinbWXng1uHIKazp1r2TS+L q+oa380HrP7bU9YVjHzwG3NRzQ95XPrOu1I9FDuffoxb/c0W14HjyGwFIiks4umzzFza zkHQKikqYAtO4rb7midHmVw/KPwCFkozTaaIdFNx00YDJva8qjMiwIf09HH3IfVFdZ3c wjuKov/oa4hfCntZygLevLmrWmv9oj/B0gVTtKsySbfZp5Xe/2lnbyzv8NHxlHs5Lw/x gO7w== X-Gm-Message-State: APjAAAUe6MfqnNtm0/+AwmTDgMZ2Wzdwv8endw7/slpf3Tt5XfkDHj1Y 9i/B+VLF5F3D5KM5/CR+EbTdOqZC X-Google-Smtp-Source: APXvYqxBbKTp0ryzkPesVQFAsRBJ2LZU05HY5HgJnzwPXeTAkxWtp/zoFRm5mHuqkNaEz+hBgYujYg== X-Received: by 2002:a05:600c:2208:: with SMTP id z8mr8889511wml.89.1556955721110; Sat, 04 May 2019 00:42:01 -0700 (PDT) Received: from glht-aurore.gmail.com (2a01cb04062c860082fa5bfffe3823d7.ipv6.abo.wanadoo.fr. [2a01:cb04:62c:8600:82fa:5bff:fe38:23d7]) by smtp.gmail.com with ESMTPSA id k67sm5639261wmb.34.2019.05.04.00.42.00 for (version=TLS1_3 cipher=AEAD-AES256-GCM-SHA384 bits=256/256); Sat, 04 May 2019 00:42:00 -0700 (PDT) User-agent: mu4e 1.2.0; emacs 26.2 From: Gabriel Hondet To: control@debbugs.gnu.org Subject: closing bug#35549 Date: Sat, 04 May 2019 09:41:59 +0200 Message-ID: <87tveay8c8.fsf@gmail.com> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha256; protocol="application/pgp-signature" X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: control X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) --=-=-= Content-Type: text/plain close 35549 --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEE5ercJXBcjd3P1FcAMbyBBfZZ1CUFAlzNQkcACgkQMbyBBfZZ 1CW7AQ//bnyRE1f75JKRoReOYx963pW29nsZ6njbZfXaGL1yS0pb116b/I0cAq37 ad8oClc47iVDRk4p71HBMnlVGbpwoQrw5xOA1m6C5pi8+oNAtmdhAhOwGK/4Ukn3 OnJUhRDOAQ3WCwq9CjIjFeiKpTL3kiSl9TYp9gg0Vgrghg8BEBB8CcJwyIbcjfVp IwIFtinSSoDg3+qkmDr6MPHLh11sbbtWcTTKX5xX5dp2aw4AtZMOUAT5GEfVTD2m eCKmqn9sqs4XFewjsK5WfjvEitcSwZzTcvqRUykCJFxe0VTWnV5qGhdFfOj1BYpK xjqXGYYOP7y3gdy21/HGvE4ORvnneHTGn1BeU2SnD3hADdBxQdMm3e/9YeWUxYcN ywwqGY3wVDCj4YUVXoHoNRqLd9QHbD6omECHJ6sKmoE4EMdyiv9DdzrUA7IFEW0A bIxb8maIM36L1FSntVuC19/kVrPcoBpwIZsJ7yVqR8hvac77d4aJ3BQrtYsHabGF JVtnuSa547l3NtrMDwsfTDLv17A80F3HLJ+rzGdYmvID7iwRyXO907X5A8PHpD2J 0k1IFPmSv8X+V42Jkl5b5OcFwl2ZlQ4Lnh4D6gcbTEwhOO31KBm+EcMqrSl43MAH bDT9nxtaUxLCC6E9wdAXcuOYtFgMIQmnC2hrvkWuwD85xWgx3R4= =D6+b -----END PGP SIGNATURE----- --=-=-=-- From unknown Sat Sep 06 09:27:33 2025 X-Loop: help-debbugs@gnu.org Subject: bug#35549: dune failure Resent-From: Ricardo Wurmus Original-Sender: "Debbugs-submit" Resent-CC: bug-guix@gnu.org Resent-Date: Sat, 04 May 2019 07:53:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 35549 X-GNU-PR-Package: guix X-GNU-PR-Keywords: To: Gabriel Hondet Cc: 35549-done@debbugs.gnu.org Received: via spool by 35549-done@debbugs.gnu.org id=D35549.155695634522079 (code D ref 35549); Sat, 04 May 2019 07:53:01 +0000 Received: (at 35549-done) by debbugs.gnu.org; 4 May 2019 07:52:25 +0000 Received: from localhost ([127.0.0.1]:50310 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hMpT6-0005k3-LV for submit@debbugs.gnu.org; Sat, 04 May 2019 03:52:24 -0400 Received: from sender4-of-o53.zoho.com ([136.143.188.53]:21327) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hMpT2-0005js-Nh for 35549-done@debbugs.gnu.org; Sat, 04 May 2019 03:52:22 -0400 ARC-Seal: i=1; a=rsa-sha256; t=1556956320; cv=none; d=zoho.com; s=zohoarc; b=QLo6h2VQa8mSbXp4v6jZIOG7Q6ubEUcKoBQDM1WMSoMeVPs+WNFu2T44N+GmbbHGpfCkk8v/bEybQ3QIxik6LN5DllGfF/ZxOM6RYXuUO5teFktvKJpb2pjHl+sKdCvO9MJagoGJbgXFQLks+TWyIcyWICfA9QHTHq2v9SQKRvE= ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=zoho.com; s=zohoarc; t=1556956320; h=Content-Type:Cc:Date:From:In-Reply-To:MIME-Version:Message-ID:References:Subject:To:ARC-Authentication-Results; bh=e9LbZYerSVQiF41A7GPkiOuJmTTmZNHWs6Nsksgu068=; b=aPjYxUWCnMccag6k2wJsU8rc6Zb+G7jGMpjk930t3sSe4PAUYvIn4GDqXZmR6zZj+22q45GAZu6xamQjtaDSRKW7XhQhxBdw4BzPpNRjvEoXmhY+0qD9V5N2EVBtRN1mJ7ulmLMvxISLUHM5iDQeZpSakpheLueUBAFcu3L/Pg4= ARC-Authentication-Results: i=1; mx.zoho.com; dkim=pass header.i=elephly.net; spf=pass smtp.mailfrom=rekado@elephly.net; dmarc=pass header.from= header.from= DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; t=1556956320; s=zoho; d=elephly.net; i=rekado@elephly.net; h=References:From:To:Cc:Subject:In-reply-to:Date:Message-ID:MIME-Version:Content-Type; l=50; bh=e9LbZYerSVQiF41A7GPkiOuJmTTmZNHWs6Nsksgu068=; b=CpTFSrbogv4fdFiBYm9IvcCg1bZF+rxPUfVtAi4cAr0Yl1fcUsV6zJixI0fSrQlE RyfM2JaqlhA6XjFCtvEvBwlKpc9o3dPgMymRqP7PJmGhRNCF0fLPs7crRS5j/nXndHs GhK/t2SuXXjmh5L4p2wFODPAf+BrUboTZ3XVu3U8= Received: from localhost (p54AD4205.dip0.t-ipconnect.de [84.173.66.5]) by mx.zohomail.com with SMTPS id 1556956319710563.2545064696061; Sat, 4 May 2019 00:51:59 -0700 (PDT) References: <87y33nxrxb.fsf@gmail.com> <20190503221654.0cebd609@sybil.lepiller.eu> <87woj6yatn.fsf@gmail.com> <87v9yqy8l1.fsf@gmail.com> User-agent: mu4e 1.0; emacs 26.1 From: Ricardo Wurmus In-reply-to: <87v9yqy8l1.fsf@gmail.com> X-URL: https://elephly.net X-PGP-Key: https://elephly.net/rekado.pubkey X-PGP-Fingerprint: BCA6 89B6 3655 3801 C3C6 2150 197A 5888 235F ACAC Date: Sat, 04 May 2019 09:51:55 +0200 Message-ID: <8736luhd2c.fsf@elephly.net> MIME-Version: 1.0 Content-Type: text/plain X-ZohoMailClient: External X-Spam-Score: 0.0 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) > I'm closing this. Closing. -- Ricardo