From debbugs-submit-bounces@debbugs.gnu.org Fri Aug 20 08:47:48 2021 Received: (at submit) by debbugs.gnu.org; 20 Aug 2021 12:47:48 +0000 Received: from localhost ([127.0.0.1]:33178 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mH3w0-0002YU-Lt for submit@debbugs.gnu.org; Fri, 20 Aug 2021 08:47:48 -0400 Received: from lists.gnu.org ([209.51.188.17]:58962) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mH3vv-0002YJ-S5 for submit@debbugs.gnu.org; Fri, 20 Aug 2021 08:47:43 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:45098) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1mH3vv-0007CD-DP for guix-patches@gnu.org; Fri, 20 Aug 2021 08:47:39 -0400 Received: from albert.telenet-ops.be ([2a02:1800:110:4::f00:1a]:48300) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1mH3vq-0007NC-R0 for guix-patches@gnu.org; Fri, 20 Aug 2021 08:47:39 -0400 Received: from ptr-bvsjgyjmffd7q9timvx.18120a2.ip6.access.telenet.be ([IPv6:2a02:1811:8c09:9d00:aaf1:9810:a0b8:a55d]) by albert.telenet-ops.be with bizsmtp id jonW2500D0mfAB406onW1D; Fri, 20 Aug 2021 14:47:30 +0200 Message-ID: <215b0088e542b2fb9bcf3be9ff74c5874770f878.camel@telenet.be> Subject: [PATCH core-updates-frozen 00/12] Fix (assoc-ref ... "out") related Ocaml build failures From: Maxime Devos To: guix-patches@gnu.org Date: Fri, 20 Aug 2021 14:47:24 +0200 Content-Type: multipart/signed; micalg="pgp-sha512"; protocol="application/pgp-signature"; boundary="=-Z1wuR3BjeRbtbLmR2acr" User-Agent: Evolution 3.34.2 MIME-Version: 1.0 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=telenet.be; s=r21; t=1629463650; bh=ytsp0OD5zUvdZwEUvKB9wuBaXtCEegVuj+CjZAhKeO0=; h=Subject:From:To:Date; b=m7LwtLd4VP+P5BDEjn2c2Gkmg3H7bfB5Qfv1AWhVCngVednUGO9KmHurDz6rLvN7+ G8mu+JanTNyFISPRNaHTm8b/qe4krRy3M+8GIMoeylYBRo3rQB27bBfAZ45z90zkCH aH3OBFQgqOoAoZrpdrdaXztSyx5zE542Cfc6wQveMwcoFA1tpb+exXGgQfYzDkhPBG cq4fVrJ+Wtb+uzpmIaWH/4NC9N79S1v3aLbriiYCzKE6m/snu8RZm8GXoPzzbZJkU4 AKj1DabFEWXFWQuCUIRmdYYP4L+KE5E39GN3qPYHQ8fy0PNY350HxnBx60P659d6F2 dY3BNvKqSqUQg== Received-SPF: pass client-ip=2a02:1800:110:4::f00:1a; envelope-from=maximedevos@telenet.be; helo=albert.telenet-ops.be X-Spam_score_int: -27 X-Spam_score: -2.8 X-Spam_bar: -- X-Spam_report: (-2.8 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001, RCVD_IN_DNSWL_LOW=-0.7, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: submit 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: -2.3 (--) --=-Z1wuR3BjeRbtbLmR2acr Content-Type: text/plain Content-Transfer-Encoding: quoted-printable Reported by 'slyfox' on IRC. --=-Z1wuR3BjeRbtbLmR2acr Content-Type: application/pgp-signature; name="signature.asc" Content-Description: This is a digitally signed message part Content-Transfer-Encoding: 7bit -----BEGIN PGP SIGNATURE----- iI0EABYKADUWIQTB8z7iDFKP233XAR9J4+4iGRcl7gUCYR+kXRccbWF4aW1lZGV2 b3NAdGVsZW5ldC5iZQAKCRBJ4+4iGRcl7mafAQC0aIVEt07emNUdWfhwokOv/C7B W14MQ7JexVHip/kx+AD+I3gvFF/1h0UVxg2l2zURzQMfXh3NIxZsWoCT0wzEFAg= =DZM9 -----END PGP SIGNATURE----- --=-Z1wuR3BjeRbtbLmR2acr-- From debbugs-submit-bounces@debbugs.gnu.org Fri Aug 20 08:49:10 2021 Received: (at 50134) by debbugs.gnu.org; 20 Aug 2021 12:49:10 +0000 Received: from localhost ([127.0.0.1]:33200 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mH3xF-0002as-HY for submit@debbugs.gnu.org; Fri, 20 Aug 2021 08:49:10 -0400 Received: from albert.telenet-ops.be ([195.130.137.90]:51412) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mH3xA-0002aP-5l for 50134@debbugs.gnu.org; Fri, 20 Aug 2021 08:49:00 -0400 Received: from localhost.localdomain ([IPv6:2a02:1811:8c09:9d00:aaf1:9810:a0b8:a55d]) by albert.telenet-ops.be with bizsmtp id joou250050mfAB406oouFk; Fri, 20 Aug 2021 14:48:55 +0200 From: Maxime Devos To: 50134@debbugs.gnu.org Subject: [PATCH core-updates-frozen 01/12] gnu: ocaml: Fix reference to output. Date: Fri, 20 Aug 2021 14:48:37 +0200 Message-Id: <20210820124848.13293-1-maximedevos@telenet.be> X-Mailer: git-send-email 2.33.0 In-Reply-To: <215b0088e542b2fb9bcf3be9ff74c5874770f878.camel@telenet.be> References: <215b0088e542b2fb9bcf3be9ff74c5874770f878.camel@telenet.be> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=telenet.be; s=r21; t=1629463735; bh=UIKRw10Wr3sgrJESReW/JjE/r5Rf8tD7+fR5sMoaw2c=; h=From:To:Cc:Subject:Date:In-Reply-To:References; b=oLqbAELJLWDXxSTp+QZnAo4lJgF/+f0GkSz2xGYHIm5F14VaU0aRleYbN02C1cSUM 4GjfurU3qfst5fp/b8MiH5vELloZW69BZsDJXL7NGwyKiRmDLN6JkXsainbWywMwOH izTJwU+0jSUAZkj0IIGG/vBNrdOjNKcK0jSljwyvzWqJGp1Z8ZvhkvpfoVqt0a3IvK BNuLMlIkKTTz+Y6Dh2jzgppLdZhWlWx8rCdKG+ugcXGfiAX0pRCGWQIuyJjJFTXGtb Dvu0xKJ6fBWXp505d9eF2s6bpIj7BEZ1pVSOtxz67IQY4XJqtUf5QTmriZ9K1/mz7y gF2qUha4rrYdg== X-Spam-Score: 1.3 (+) X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: * gnu/packages/ocaml.scm (dune-boot)[arguments]<#:make-flags>: Use #$output. --- gnu/packages/ocaml.scm | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 183f88dd01..b8d52bb283 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -22,6 +22,7 @@ ;;; Copyright © 2021 Sharl [...] Content analysis details: (1.3 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- -0.0 SPF_PASS SPF: sender matches SPF record 0.0 FREEMAIL_FROM Sender email is commonly abused enduser mail provider (maximedevos[at]telenet.be) 2.0 PDS_OTHER_BAD_TLD Untrustworthy TLDs [URI: yoctocell.xyz (xyz)] 0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record -0.7 RCVD_IN_DNSWL_LOW RBL: Sender listed at https://www.dnswl.org/, low trust [195.130.137.90 listed in list.dnswl.org] X-Debbugs-Envelope-To: 50134 Cc: Maxime Devos 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.3 (/) * gnu/packages/ocaml.scm (dune-boot)[arguments]<#:make-flags>: Use #$output. --- gnu/packages/ocaml.scm | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 183f88dd01..b8d52bb283 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -22,6 +22,7 @@ ;;; Copyright © 2021 Sharlatan Hellseher ;;; Copyright © 2021 Xinglu Chen ;;; Copyright © 2021 Ivan Gankevich +;;; Copyright © 2021 Maxime Devos ;;; ;;; This file is part of GNU Guix. ;;; @@ -87,6 +88,7 @@ #:use-module (guix build-system gnu) #:use-module (guix build-system ocaml) #:use-module (guix download) + #:use-module (guix gexp) #:use-module (guix git-download) #:use-module ((guix licenses) #:prefix license:) #:use-module (guix packages) @@ -1620,10 +1622,10 @@ full_split, cut, rcut, etc..") (build-system ocaml-build-system) (arguments `(#:tests? #f; require odoc - #:make-flags (list "release" - (string-append "PREFIX=" (assoc-ref %outputs "out")) - (string-append "LIBDIR=" (assoc-ref %outputs "out") - "/lib/ocaml/site-lib")) + #:make-flags ,#~(list "release" + (string-append "PREFIX=" #$output) + (string-append "LIBDIR=" #$output + "/lib/ocaml/site-lib")) #:phases (modify-phases %standard-phases (replace 'configure -- 2.33.0 From debbugs-submit-bounces@debbugs.gnu.org Fri Aug 20 08:49:12 2021 Received: (at 50134) by debbugs.gnu.org; 20 Aug 2021 12:49:12 +0000 Received: from localhost ([127.0.0.1]:33208 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mH3xO-0002c3-LK for submit@debbugs.gnu.org; Fri, 20 Aug 2021 08:49:12 -0400 Received: from albert.telenet-ops.be ([195.130.137.90]:51454) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mH3xB-0002aS-T4 for 50134@debbugs.gnu.org; Fri, 20 Aug 2021 08:49:01 -0400 Received: from localhost.localdomain ([IPv6:2a02:1811:8c09:9d00:aaf1:9810:a0b8:a55d]) by albert.telenet-ops.be with bizsmtp id joou250050mfAB406ooxG0; Fri, 20 Aug 2021 14:48:57 +0200 From: Maxime Devos To: 50134@debbugs.gnu.org Subject: [PATCH core-updates-frozen 02/12] gnu: ocamlbuild: Fix reference to output. Date: Fri, 20 Aug 2021 14:48:38 +0200 Message-Id: <20210820124848.13293-2-maximedevos@telenet.be> X-Mailer: git-send-email 2.33.0 In-Reply-To: <20210820124848.13293-1-maximedevos@telenet.be> References: <215b0088e542b2fb9bcf3be9ff74c5874770f878.camel@telenet.be> <20210820124848.13293-1-maximedevos@telenet.be> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=telenet.be; s=r21; t=1629463737; bh=HJn0WxEIU9EfesMv2W1c7J5wJk3kwixOZQZH3QHP/Ic=; h=From:To:Cc:Subject:Date:In-Reply-To:References; b=aEm5WnGqdLxlAiEifyrlwyJxoCLiX5RHdEQH3/37cc4+LO/yRud7Fuu6Q8PmZ/tAu Kbk2oGKa0qg2QPfiXPKDDrfjBh0V2rPncAp+EUrY5w0tcTZqh1NjAMNJM3LSFULp03 AzwIvdUFEqL8CMaj4nmY66tfgQjnnYpiSxFZZegzo5+g63fre6Wxsmqi/LsPtFK9PH ZP0zbWj+Wbkzs5l+1ymReIbv2MSsWNkx9tf7JrbDGQwKexeRALGqPKpuTJMLAYEhpK IV4QmwkX5xjZBRcAcHQnkZp+1IAvkMg/oFxtSK8X6PTHNuFlMc8h4YrsFpYuinyBpn KNMQT7E3y0iCw== X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 50134 Cc: Maxime Devos 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.7 (-) * gnu/packages/ocaml.scm (ocamlbuild)[arguments]<#:make-flags>: Use #$output. --- gnu/packages/ocaml.scm | 12 +++++------- 1 file changed, 5 insertions(+), 7 deletions(-) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index b8d52bb283..1624823394 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -456,13 +456,11 @@ depend: $(STDLIB_MLIS) $(STDLIB_DEPS)")) (build-system ocaml-build-system) (arguments `(#:make-flags - (list (string-append "OCAMLBUILD_PREFIX=" (assoc-ref %outputs "out")) - (string-append "OCAMLBUILD_BINDIR=" (assoc-ref %outputs "out") - "/bin") - (string-append "OCAMLBUILD_LIBDIR=" (assoc-ref %outputs "out") - "/lib/ocaml/site-lib") - (string-append "OCAMLBUILD_MANDIR=" (assoc-ref %outputs "out") - "/share/man")) + ,#~(list (string-append "OCAMLBUILD_PREFIX=" #$output) + (string-append "OCAMLBUILD_BINDIR=" #$output "/bin") + (string-append "OCAMLBUILD_LIBDIR=" #$output + "/lib/ocaml/site-lib") + (string-append "OCAMLBUILD_MANDIR=" #$output "/share/man")) #:phases (modify-phases %standard-phases (delete 'configure)) -- 2.33.0 From debbugs-submit-bounces@debbugs.gnu.org Fri Aug 20 08:49:12 2021 Received: (at 50134) by debbugs.gnu.org; 20 Aug 2021 12:49:12 +0000 Received: from localhost ([127.0.0.1]:33210 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mH3xQ-0002cC-3Z for submit@debbugs.gnu.org; Fri, 20 Aug 2021 08:49:12 -0400 Received: from albert.telenet-ops.be ([195.130.137.90]:51460) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mH3xC-0002aT-Ab for 50134@debbugs.gnu.org; Fri, 20 Aug 2021 08:49:04 -0400 Received: from localhost.localdomain ([IPv6:2a02:1811:8c09:9d00:aaf1:9810:a0b8:a55d]) by albert.telenet-ops.be with bizsmtp id joou250050mfAB406ooxG4; Fri, 20 Aug 2021 14:48:57 +0200 From: Maxime Devos To: 50134@debbugs.gnu.org Subject: [PATCH core-updates-frozen 03/12] gnu: ocamlcudf: Fix reference to output. Date: Fri, 20 Aug 2021 14:48:39 +0200 Message-Id: <20210820124848.13293-3-maximedevos@telenet.be> X-Mailer: git-send-email 2.33.0 In-Reply-To: <20210820124848.13293-1-maximedevos@telenet.be> References: <215b0088e542b2fb9bcf3be9ff74c5874770f878.camel@telenet.be> <20210820124848.13293-1-maximedevos@telenet.be> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=telenet.be; s=r21; t=1629463737; bh=osoh2EuYTInReY9mqJP4ocW7LP415DbCKMu1aWxBe+Y=; h=From:To:Cc:Subject:Date:In-Reply-To:References; b=gjPKsm6TTKr8/Py3zVXOJHgF81l2PIXC5h/B66N8PCvZMRvBOhSpUEfK2+KjTVkhR M7XXoIL0Dc5HFIMRTkreCH2yCzFhqIw0UtVt4o/F3Wy/YER5GOfuTmF6wGXG2C0z6V I/+KE6qL7kl1dxd+gX/9t5J9xD0Tm9LKPOHOsklsQiTjINjKNaU6iDYuVSg++v8U2t BGHXURRHAXCfC/gw38dho6X1ntl5Y4ZsxazaFLDPdUT9Z1+tz3d/D8xLsCsF/vS7l5 ylfgLhtVq966p2AV3XRMTTgs0ogN9Ugz1iuPLmH8jpVyf6uMwImHrPzFgx2S0KkgYg XGowelhxYpKKg== X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 50134 Cc: Maxime Devos 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.7 (-) * gnu/packages/ocaml.scm (ocamlcudf)[arguments]<#:make-flags>: Use #$output. --- gnu/packages/ocaml.scm | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 1624823394..c97f633cbe 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -583,10 +583,9 @@ for day to day programming.") ("ocaml-ounit" ,ocaml-ounit))) (arguments `(#:make-flags - (list - "all" "opt" - (string-append "BINDIR=" (assoc-ref %outputs "out") - "/bin")) + ,#~(list + "all" "opt" + (string-append "BINDIR=" #$output "/bin")) #:phases (modify-phases %standard-phases (delete 'configure)))) -- 2.33.0 From debbugs-submit-bounces@debbugs.gnu.org Fri Aug 20 08:49:12 2021 Received: (at 50134) by debbugs.gnu.org; 20 Aug 2021 12:49:12 +0000 Received: from localhost ([127.0.0.1]:33212 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mH3xQ-0002cN-Dn for submit@debbugs.gnu.org; Fri, 20 Aug 2021 08:49:12 -0400 Received: from albert.telenet-ops.be ([195.130.137.90]:51474) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mH3xC-0002aV-Ob for 50134@debbugs.gnu.org; Fri, 20 Aug 2021 08:49:05 -0400 Received: from localhost.localdomain ([IPv6:2a02:1811:8c09:9d00:aaf1:9810:a0b8:a55d]) by albert.telenet-ops.be with bizsmtp id joou250050mfAB406ooyGA; Fri, 20 Aug 2021 14:48:58 +0200 From: Maxime Devos To: 50134@debbugs.gnu.org Subject: [PATCH core-updates-frozen 04/12] gnu: ocaml-dose3: Fix reference to inputs and output. Date: Fri, 20 Aug 2021 14:48:40 +0200 Message-Id: <20210820124848.13293-4-maximedevos@telenet.be> X-Mailer: git-send-email 2.33.0 In-Reply-To: <20210820124848.13293-1-maximedevos@telenet.be> References: <215b0088e542b2fb9bcf3be9ff74c5874770f878.camel@telenet.be> <20210820124848.13293-1-maximedevos@telenet.be> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=telenet.be; s=r21; t=1629463738; bh=epcFm23kpztEA3Pt0HPIhmCopVFNt0ZZ6MwYHHpUFQ0=; h=From:To:Cc:Subject:Date:In-Reply-To:References; b=XYfoNfxYfnmj+HiRWKsIkjPrS523UE+o8g8x3bJ4eFJ6iYQsDHUlf+2olF45YeJIg atLfR7yPkN6c95HzA7Qq1o15+qc5jxpm0TylPDHb+91/xWbadUeq8k94+acJCEJYLG FToNPhICeNgPHZE7QuOmiwSyQlJs67ZcKao0tnM01jgVzchHWtXZ2QiBa6MFOjGX6C yN+FnX3KblNpCQWRbPe3boYPqANKmYxYkGydh9zRXrd1KWJtJBKfWpoYgCUSoR9nKF G+h3Pppght3bQmkoM7IUkfCjo8GHKcmKloAGbZwh7B/2WVpVNZpVdvgT0Wyhy6TIie krt9csDTc3XMg== X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 50134 Cc: Maxime Devos 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.7 (-) The package 'lablgtk@2.8.10' (indirect dependency of ocaml-dose3) fails to build so this patch could not be tested. * gnu/packages/ocaml.scm (ocaml-dose3)[arguments]<#:make-flags>: Use #$output. (ocaml-dose3)[arguments]<#:configure-flags>: Don't use %build-inputs. --- gnu/packages/ocaml.scm | 11 +++++------ 1 file changed, 5 insertions(+), 6 deletions(-) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index c97f633cbe..0043e9fbee 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -44,6 +44,7 @@ #:use-module (gnu packages algebra) #:use-module (gnu packages autotools) #:use-module (gnu packages base) + #:use-module (gnu packages bash) #:use-module (gnu packages bison) #:use-module (gnu packages boost) #:use-module (gnu packages compression) @@ -644,13 +645,11 @@ underlying solvers like Cplex, Gurobi, Lpsolver, Glpk, CbC, SCIP or WBO.") (build-system ocaml-build-system) (arguments `(#:configure-flags - (list (string-append "SHELL=" - (assoc-ref %build-inputs "bash") - "/bin/sh")) + ,#~(list (string-append "SHELL=" + #+(file-append (canonical-package bash-minimal) + "/bin/sh"))) #:make-flags - (list (string-append "LIBDIR=" - (assoc-ref %outputs "out") - "/lib/ocaml/site-lib")) + ,#~(list (string-append "LIBDIR=" #$output "/lib/ocaml/site-lib")) #:phases (modify-phases %standard-phases (add-after 'unpack 'fix-test-script -- 2.33.0 From debbugs-submit-bounces@debbugs.gnu.org Fri Aug 20 08:49:13 2021 Received: (at 50134) by debbugs.gnu.org; 20 Aug 2021 12:49:13 +0000 Received: from localhost ([127.0.0.1]:33214 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mH3xQ-0002cV-Mc for submit@debbugs.gnu.org; Fri, 20 Aug 2021 08:49:12 -0400 Received: from albert.telenet-ops.be ([195.130.137.90]:51480) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mH3xD-0002aW-5x for 50134@debbugs.gnu.org; Fri, 20 Aug 2021 08:49:05 -0400 Received: from localhost.localdomain ([IPv6:2a02:1811:8c09:9d00:aaf1:9810:a0b8:a55d]) by albert.telenet-ops.be with bizsmtp id joou250050mfAB406ooyGC; Fri, 20 Aug 2021 14:48:58 +0200 From: Maxime Devos To: 50134@debbugs.gnu.org Subject: [PATCH core-updates-frozen 05/12] gnu: ocaml-cmdliner: Fix reference to output. Date: Fri, 20 Aug 2021 14:48:41 +0200 Message-Id: <20210820124848.13293-5-maximedevos@telenet.be> X-Mailer: git-send-email 2.33.0 In-Reply-To: <20210820124848.13293-1-maximedevos@telenet.be> References: <215b0088e542b2fb9bcf3be9ff74c5874770f878.camel@telenet.be> <20210820124848.13293-1-maximedevos@telenet.be> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=telenet.be; s=r21; t=1629463738; bh=JKQ/Ze3d8aZQhkO72qjQWc2OX5BleH9E0XsfuNdDwnY=; h=From:To:Cc:Subject:Date:In-Reply-To:References; b=MSZz+DbNj1Mw512DjEYVGpSL7ZSdC4QJhjIjpfciiMv6zNw0kJ1DCfKgbQbo8hX2l 6XdJm0Tf47T0CdVgmdkaXLY1sVz5xytmLLYRb/Ipab5ibXV8q7sTW/EzyTi0yD+EDM lRKmCZNUS4nsxDq/1qGUvbyIEeABD2b8PP2oEZJQ9xLR2DM27M5WK14+sBwC3Q32ri UZvGNIVO7SBPSU0V+kVJ6maqp/pz1QeTswOviUXLlIbPoWBQgpQ7BjOcuObSQe6WSl fH1ajVZkS8LQjbopVKD6RgCcJ5QD4li9KRLMmoDuy36JSaTKdomHpm/DzWU0/FOlT0 4fqWyFB8uFsgQ== X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 50134 Cc: Maxime Devos 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.7 (-) * gnu/packages/ocaml.scm (ocaml-cmdliner)[arguments]<#:make-flags>: Use #$output. --- gnu/packages/ocaml.scm | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 0043e9fbee..48950589c5 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -2141,8 +2141,8 @@ dates and times.") `(("ocamlbuild" ,ocamlbuild))) (arguments `(#:tests? #f - #:make-flags (list (string-append "LIBDIR=" (assoc-ref %outputs "out") - "/lib/ocaml/site-lib/cmdliner")) + #:make-flags ,#~(list (string-append "LIBDIR=" #$output + "/lib/ocaml/site-lib/cmdliner")) #:phases (modify-phases %standard-phases (delete 'configure) -- 2.33.0 From debbugs-submit-bounces@debbugs.gnu.org Fri Aug 20 08:49:13 2021 Received: (at 50134) by debbugs.gnu.org; 20 Aug 2021 12:49:13 +0000 Received: from localhost ([127.0.0.1]:33216 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mH3xQ-0002cc-Vz for submit@debbugs.gnu.org; Fri, 20 Aug 2021 08:49:13 -0400 Received: from albert.telenet-ops.be ([195.130.137.90]:51486) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mH3xD-0002aY-Jb for 50134@debbugs.gnu.org; Fri, 20 Aug 2021 08:49:05 -0400 Received: from localhost.localdomain ([IPv6:2a02:1811:8c09:9d00:aaf1:9810:a0b8:a55d]) by albert.telenet-ops.be with bizsmtp id joou250050mfAB406ooyGF; Fri, 20 Aug 2021 14:48:58 +0200 From: Maxime Devos To: 50134@debbugs.gnu.org Subject: [PATCH core-updates-frozen 06/12] gnu: ocaml-opam-file-format: Fix reference to output. Date: Fri, 20 Aug 2021 14:48:42 +0200 Message-Id: <20210820124848.13293-6-maximedevos@telenet.be> X-Mailer: git-send-email 2.33.0 In-Reply-To: <20210820124848.13293-1-maximedevos@telenet.be> References: <215b0088e542b2fb9bcf3be9ff74c5874770f878.camel@telenet.be> <20210820124848.13293-1-maximedevos@telenet.be> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=telenet.be; s=r21; t=1629463738; bh=FAcOmXEI6HPaboIq/JojTrPdshbpknoBJDJofnq2ECs=; h=From:To:Cc:Subject:Date:In-Reply-To:References; b=tS4y2ujh3AHHdpmy9hftzq+sXSP1Ps6wQIiCWJVPMvrKhp5ShQDT1MvT+97hjEAQi 7vfQPxM/w8MPpwaASLkovvjHPJ7cFApfRb5GirEUmaW1LZV6hQqiC6fXN9doaYTtE2 hVlKi5KgRiw13enPc3PnYbr8K/+3KFfHzjJyFSh2gVJ25H4evMDlNjbkMMJg54goGg hB557U3lkqYbNGOxvilebPz7fECRzGOd9ZjZrN6NGyIWJXyZWlAFlk3c0gS9HZ9YsB mPkS29LuC8FdyipLvlR1LJoFN8l9tV48d3VaS8+yLTEa8a1MrRd/4OPJnhHllPRnKv lqaUifUdWLZyA== X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 50134 Cc: Maxime Devos 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.7 (-) * gnu/packages/ocaml.scm (ocaml-opam-file-format)[arguments]<#:make-flags>: Use #$output. --- gnu/packages/ocaml.scm | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 48950589c5..1e32ebee60 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -761,8 +761,8 @@ let () = String.split_on_char ':' (Sys.getenv \"OCAMLPATH\") (build-system ocaml-build-system) (arguments `(#:tests? #f; No tests - #:make-flags (list (string-append "LIBDIR=" (assoc-ref %outputs "out") - "/lib/ocaml/site-lib")) + #:make-flags ,#~(list (string-append "LIBDIR=" #$output + "/lib/ocaml/site-lib")) #:phases (modify-phases %standard-phases (delete 'configure)))) -- 2.33.0 From debbugs-submit-bounces@debbugs.gnu.org Fri Aug 20 08:49:13 2021 Received: (at 50134) by debbugs.gnu.org; 20 Aug 2021 12:49:13 +0000 Received: from localhost ([127.0.0.1]:33218 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mH3xR-0002cj-8U for submit@debbugs.gnu.org; Fri, 20 Aug 2021 08:49:13 -0400 Received: from albert.telenet-ops.be ([195.130.137.90]:51500) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mH3xE-0002aZ-2p for 50134@debbugs.gnu.org; Fri, 20 Aug 2021 08:49:05 -0400 Received: from localhost.localdomain ([IPv6:2a02:1811:8c09:9d00:aaf1:9810:a0b8:a55d]) by albert.telenet-ops.be with bizsmtp id joou250050mfAB406oozGK; Fri, 20 Aug 2021 14:48:59 +0200 From: Maxime Devos To: 50134@debbugs.gnu.org Subject: [PATCH core-updates-frozen 07/12] gnu: camlzip: Fix reference to output. Date: Fri, 20 Aug 2021 14:48:43 +0200 Message-Id: <20210820124848.13293-7-maximedevos@telenet.be> X-Mailer: git-send-email 2.33.0 In-Reply-To: <20210820124848.13293-1-maximedevos@telenet.be> References: <215b0088e542b2fb9bcf3be9ff74c5874770f878.camel@telenet.be> <20210820124848.13293-1-maximedevos@telenet.be> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=telenet.be; s=r21; t=1629463739; bh=NEPyLu/xSDofSnm5z4i9K/bCvqFVuddb2UvV2tGFuj4=; h=From:To:Cc:Subject:Date:In-Reply-To:References; b=d0vckZqRI2M+AYaX/eiZA7pnj1Oa3Pk4bAS/ZqfZh2ngpSgGduu+SIA4sf7XP+0qH qSE/7zmxL+SIvONoECti9L+mTO7/YeExi4chDXEUgsLhPmbBP5JXtcou21jnzFJvVS yjjGyXExHNWl2KKM9aq9Zp070eit+gg2j82O/mcDFa3vpw+iafZdQZr/BmecTUJDTG iERwk0u8bFOYuyxb+MuGc6QwsKgqcX3eEqFrG66LSubPY5UIWQbjcUNXLiUV4JyGOl Hi5e+SPXXVCaba4kEgfny1/EmkEhvAvHEgU5YPxsMpdqdGoU8izqYar4taA3iSdJR8 ohIkk+gPvseyw== X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 50134 Cc: Maxime Devos 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.7 (-) * gnu/packages/ocaml.scm (camlzip)[arguments]<#:make-flags>: Use #$output. --- gnu/packages/ocaml.scm | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 1e32ebee60..66d4460446 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -1392,9 +1392,8 @@ other XUnit testing frameworks.") (format port "directory=\"../zip\"\n"))))))) #:install-target "install-findlib" #:make-flags - (list "all" "allopt" - (string-append "INSTALLDIR=" (assoc-ref %outputs "out") - "/lib/ocaml")))) + ,#~(list "all" "allopt" + (string-append "INSTALLDIR=" #$output "/lib/ocaml")))) (home-page "https://github.com/xavierleroy/camlzip") (synopsis "Provides easy access to compressed files") (description "Provides easy access to compressed files in ZIP, GZIP and -- 2.33.0 From debbugs-submit-bounces@debbugs.gnu.org Fri Aug 20 08:49:17 2021 Received: (at 50134) by debbugs.gnu.org; 20 Aug 2021 12:49:17 +0000 Received: from localhost ([127.0.0.1]:33220 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mH3xV-0002d0-IB for submit@debbugs.gnu.org; Fri, 20 Aug 2021 08:49:17 -0400 Received: from albert.telenet-ops.be ([195.130.137.90]:51510) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mH3xE-0002aa-Gh for 50134@debbugs.gnu.org; Fri, 20 Aug 2021 08:49:08 -0400 Received: from localhost.localdomain ([IPv6:2a02:1811:8c09:9d00:aaf1:9810:a0b8:a55d]) by albert.telenet-ops.be with bizsmtp id joou250050mfAB406oozGM; Fri, 20 Aug 2021 14:48:59 +0200 From: Maxime Devos To: 50134@debbugs.gnu.org Subject: [PATCH core-updates-frozen 08/12] gnu: ocaml-down: Fix reference to output. Date: Fri, 20 Aug 2021 14:48:44 +0200 Message-Id: <20210820124848.13293-8-maximedevos@telenet.be> X-Mailer: git-send-email 2.33.0 In-Reply-To: <20210820124848.13293-1-maximedevos@telenet.be> References: <215b0088e542b2fb9bcf3be9ff74c5874770f878.camel@telenet.be> <20210820124848.13293-1-maximedevos@telenet.be> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=telenet.be; s=r21; t=1629463739; bh=cmUJV5NczJNFkTK8yHMZvY0Ew8Hseb12eB7q2RhJKfA=; h=From:To:Cc:Subject:Date:In-Reply-To:References; b=ntsvCh2DNdbXlli3ZV4snrJt1PsF4NxAvv69fK3NBIr6V60w2CRLCaV3cLXEw9Jua wrtKu1EBIL7mUMSThilKKVggLDO1Bg0p1siOMFjJX0bTn2wzPrfwv3S8vBjUnOQm7Q LL8AoHkowTwn9s1Djuo4UqOaBBKRwdRH14iXZ4sS3+eNGF/xauX1SOaCuTuSubcu88 KBplznU7yMAq897slR9xkQdT3RC87MfNsTjyCFycRkAXss9nv5/UHRbI9BbPd0oeiQ fhBWZNPIxDDIo+UerrWJKYraLYQ7DLVEzQMsD/XXySGQvRlrHcz76FjdvCmbrJuMp4 2z/jksPPvDCZg== X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 50134 Cc: Maxime Devos 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.7 (-) The package 'lablgtk@2.8.10' (indirect dependency of ocaml-down) fails to build so this patch could not be tested. * gnu/packages/ocaml.scm (ocaml-down)[arguments]<#:build-flags>: Use #$output. --- gnu/packages/ocaml.scm | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 66d4460446..81e967cd34 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -701,8 +701,8 @@ repository-wide uninstallability checks.") (modify-phases %standard-phases (delete 'configure)) #:build-flags - (list "build" "--lib-dir" - (string-append (assoc-ref %outputs "out") "/lib/ocaml/site-lib")))) + ,#~(list "build" "--lib-dir" + (string-append #$output "/lib/ocaml/site-lib")))) (native-inputs `(("ocaml-findlib" ,ocaml-findlib) ("ocamlbuild" ,ocamlbuild) -- 2.33.0 From debbugs-submit-bounces@debbugs.gnu.org Fri Aug 20 08:49:18 2021 Received: (at 50134) by debbugs.gnu.org; 20 Aug 2021 12:49:18 +0000 Received: from localhost ([127.0.0.1]:33222 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mH3xV-0002d2-R4 for submit@debbugs.gnu.org; Fri, 20 Aug 2021 08:49:17 -0400 Received: from albert.telenet-ops.be ([195.130.137.90]:51412) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mH3xH-0002aP-8D for 50134@debbugs.gnu.org; Fri, 20 Aug 2021 08:49:10 -0400 Received: from localhost.localdomain ([IPv6:2a02:1811:8c09:9d00:aaf1:9810:a0b8:a55d]) by albert.telenet-ops.be with bizsmtp id joou250050mfAB406op2Gu; Fri, 20 Aug 2021 14:49:02 +0200 From: Maxime Devos To: 50134@debbugs.gnu.org Subject: [PATCH core-updates-frozen 10/12] gnu: omake: Fix reference to output. Date: Fri, 20 Aug 2021 14:48:46 +0200 Message-Id: <20210820124848.13293-10-maximedevos@telenet.be> X-Mailer: git-send-email 2.33.0 In-Reply-To: <20210820124848.13293-1-maximedevos@telenet.be> References: <215b0088e542b2fb9bcf3be9ff74c5874770f878.camel@telenet.be> <20210820124848.13293-1-maximedevos@telenet.be> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=telenet.be; s=r21; t=1629463742; bh=Q/FA1Wk2Moas1YCVxEXjcu5Az3dAVGxUBnpUYJS0FTk=; h=From:To:Cc:Subject:Date:In-Reply-To:References; b=IGzCVRs1pFMDAheFsG/ArIy7rPSMc3NbqiaGCsocm6VtvmwMX4nmLDCrHCrWyeqRh WZhGiFN4ERgj6ECuOO78AXoeIwvdn+4mCiKvBEHElNBdS0RfCXSIsxMZLrfTZwEqL5 Y+XYIlGNDUDXAZxnDVNIl/FBJGY5+/p4xVJ0S36CHzYUVjQlQEB4ypaVgqhghOUIUf EW5UP5NdpNLbAVYMPRkTmJeTmA4ubagln+vuqyMYwWhEGEAlZBadZDbNUQVpxhwGIt WmwT+yEWDIZTKaHoxWmW7iyXXNr+l79jjh1rr7iYmSRYeOTo/udMh0/BrfZuo6fvQj mP2E+wqFADnXw== X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 50134 Cc: Maxime Devos 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.7 (-) * gnu/packages/ocaml.scm (omake)[arguments]<#:make-flags>: Use #$output. --- gnu/packages/ocaml.scm | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 6fe8cb46f9..7385d6e413 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -3029,7 +3029,7 @@ OCaml code.") (build-system ocaml-build-system) (arguments `(#:make-flags - (list (string-append "PREFIX=" (assoc-ref %outputs "out"))) + ,#~(list (string-append "PREFIX=" #$output)) #:tests? #f ; no test target #:phases (modify-phases %standard-phases -- 2.33.0 From debbugs-submit-bounces@debbugs.gnu.org Fri Aug 20 08:49:18 2021 Received: (at 50134) by debbugs.gnu.org; 20 Aug 2021 12:49:18 +0000 Received: from localhost ([127.0.0.1]:33224 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mH3xW-0002d9-0x for submit@debbugs.gnu.org; Fri, 20 Aug 2021 08:49:18 -0400 Received: from albert.telenet-ops.be ([195.130.137.90]:51454) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mH3xH-0002aS-T3 for 50134@debbugs.gnu.org; Fri, 20 Aug 2021 08:49:10 -0400 Received: from localhost.localdomain ([IPv6:2a02:1811:8c09:9d00:aaf1:9810:a0b8:a55d]) by albert.telenet-ops.be with bizsmtp id joou250050mfAB406op3H3; Fri, 20 Aug 2021 14:49:03 +0200 From: Maxime Devos To: 50134@debbugs.gnu.org Subject: [PATCH core-updates-frozen 11/12] gnu: ocaml4.07-piqi: Fix reference to inputs and output. Date: Fri, 20 Aug 2021 14:48:47 +0200 Message-Id: <20210820124848.13293-11-maximedevos@telenet.be> X-Mailer: git-send-email 2.33.0 In-Reply-To: <20210820124848.13293-1-maximedevos@telenet.be> References: <215b0088e542b2fb9bcf3be9ff74c5874770f878.camel@telenet.be> <20210820124848.13293-1-maximedevos@telenet.be> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=telenet.be; s=r21; t=1629463743; bh=b4yk15kPihj7+HrMxPspeofrfxEYgzpF/ap2ULepdw4=; h=From:To:Cc:Subject:Date:In-Reply-To:References; b=VPxTAC1yuuL5kAQpJ6IuDBwqqD/5wkg0OZ6kgFkIdjkJ2HmayqV0tgCpgVkeXOUJF 1A8T2dvy8jWpuXrv+AEYPs1Gf71RL9LVI4MzfiR3S5PWvvifC8nt2cI0IhjvUIUwBc SxenAMd2ttI8p1zzYMgr6Sw0qcVdBsxF55eO9wCn8ZGBXtXoXB1DNSr9Ey96OdVlMz heKG86XUKmmzXlkpfXyM/+FwFCa8u9Zz8IZT6VDt0T6jsZMmf2h1p2VFCH+VdR6Iyd D1WZM8n/BvZD1mvZhTn6jNE5hkgV0XB+SuZo41n+eqsGNlHmFzBGpBeoZt6UdMW6rn X5x6LIOLr4F9A== X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 50134 Cc: Maxime Devos 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.7 (-) The package 'lablgtk@2.8.10' (indirect dependency of ocaml4.07-piqi) fails to build so this patch could not be tested. * gnu/packages/ocaml.scm (ocaml4.07-piqi)[arguments]<#:make-flags>: Use #$output. --- gnu/packages/ocaml.scm | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 7385d6e413..e89c1adbb9 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -3704,9 +3704,10 @@ and 4 (random based) according to RFC 4122.") (build-system ocaml-build-system) (arguments `(#:make-flags - (list (string-append "DESTDIR=" (assoc-ref %outputs "out")) - (string-append "SHELL=" (assoc-ref %build-inputs "bash") - "/bin/sh")) + ,#~(list (string-append "DESTDIR=" #$output) + (string-append "SHELL=" + #+(file-append (canonical-package bash-minimal) + "/bin/sh"))) #:phases (modify-phases %standard-phases (add-after 'unpack 'make-files-writable -- 2.33.0 From debbugs-submit-bounces@debbugs.gnu.org Fri Aug 20 08:49:18 2021 Received: (at 50134) by debbugs.gnu.org; 20 Aug 2021 12:49:18 +0000 Received: from localhost ([127.0.0.1]:33226 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mH3xW-0002dH-9T for submit@debbugs.gnu.org; Fri, 20 Aug 2021 08:49:18 -0400 Received: from albert.telenet-ops.be ([195.130.137.90]:51528) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mH3xE-0002ac-TN for 50134@debbugs.gnu.org; Fri, 20 Aug 2021 08:49:10 -0400 Received: from localhost.localdomain ([IPv6:2a02:1811:8c09:9d00:aaf1:9810:a0b8:a55d]) by albert.telenet-ops.be with bizsmtp id joou250050mfAB406op0GR; Fri, 20 Aug 2021 14:49:00 +0200 From: Maxime Devos To: 50134@debbugs.gnu.org Subject: [PATCH core-updates-frozen 09/12] gnu: ocaml-frontc: Fix reference to output. Date: Fri, 20 Aug 2021 14:48:45 +0200 Message-Id: <20210820124848.13293-9-maximedevos@telenet.be> X-Mailer: git-send-email 2.33.0 In-Reply-To: <20210820124848.13293-1-maximedevos@telenet.be> References: <215b0088e542b2fb9bcf3be9ff74c5874770f878.camel@telenet.be> <20210820124848.13293-1-maximedevos@telenet.be> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=telenet.be; s=r21; t=1629463740; bh=0xSRSFIlk6SzvtJ+IlN8WOmfpRD6SfY2ZPkyx2/Dczc=; h=From:To:Cc:Subject:Date:In-Reply-To:References; b=Bnhu9vfdPC2kw5ka6v3lWEDytQJctdnTI3GpfnmTvO/lhPin+1cpuUiDJDQ44jN3n r0cFu4T3i8FamDvr+3AKtbjRVwUoqRienOVjyKjEA0zuMtJgRS0O5MQ3B7CdCUVI1G 2bEcu2HlZKnC5ashX1D906aHVD34UjQO3Hsv4sS9vap9Nasn1DhmOuW6wwkqVAfi9q pNGDuG1oKke7ddrpdGulqZ/7Mowzy+XF9Kob87Ft+RvJ6fc6QSpS6dw61X/52M4zVs eYdUButQ4UJGe3am2pZSxHEyxtR4me1gKSuOh1Mw6cB370ZgCpPQn90BExq6JPjd8m IqSPPUqIjjoPw== X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 50134 Cc: Maxime Devos 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.7 (-) * gnu/packages/ocaml.scm (ocaml-frontc)[arguments]<#:make-flags>: Use #$output. --- gnu/packages/ocaml.scm | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 81e967cd34..6fe8cb46f9 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -1498,9 +1498,8 @@ archive(byte) = \"frontc.cma\" archive(native) = \"frontc.cmxa\"")))) (symlink (string-append out "/lib/ocaml/frontc") (string-append out "/lib/ocaml/FrontC")))))) - #:make-flags (list (string-append "PREFIX=" - (assoc-ref %outputs "out")) - "OCAML_SITE=$(LIB_DIR)/ocaml/"))) + #:make-flags ,#~(list (string-append "PREFIX=" #$output) + "OCAML_SITE=$(LIB_DIR)/ocaml/"))) (properties `((upstream-name . "FrontC"))) (home-page "https://www.irit.fr/FrontC") (synopsis "C parser and lexer library") -- 2.33.0 From debbugs-submit-bounces@debbugs.gnu.org Fri Aug 20 08:49:19 2021 Received: (at 50134) by debbugs.gnu.org; 20 Aug 2021 12:49:19 +0000 Received: from localhost ([127.0.0.1]:33228 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mH3xW-0002dO-NH for submit@debbugs.gnu.org; Fri, 20 Aug 2021 08:49:18 -0400 Received: from albert.telenet-ops.be ([195.130.137.90]:51638) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mH3xI-0002bC-MG for 50134@debbugs.gnu.org; Fri, 20 Aug 2021 08:49:12 -0400 Received: from localhost.localdomain ([IPv6:2a02:1811:8c09:9d00:aaf1:9810:a0b8:a55d]) by albert.telenet-ops.be with bizsmtp id joou250050mfAB406op3H6; Fri, 20 Aug 2021 14:49:04 +0200 From: Maxime Devos To: 50134@debbugs.gnu.org Subject: [PATCH core-updates-frozen 12/12] gnu: dedukti: Fix reference to output. Date: Fri, 20 Aug 2021 14:48:48 +0200 Message-Id: <20210820124848.13293-12-maximedevos@telenet.be> X-Mailer: git-send-email 2.33.0 In-Reply-To: <20210820124848.13293-1-maximedevos@telenet.be> References: <215b0088e542b2fb9bcf3be9ff74c5874770f878.camel@telenet.be> <20210820124848.13293-1-maximedevos@telenet.be> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=telenet.be; s=r21; t=1629463744; bh=pT9CRK3RAKrYMRkBRgEvCy5RVPzVKN164iU/LMSuDBk=; h=From:To:Cc:Subject:Date:In-Reply-To:References; b=Pkmb7sw60yklEZqNWjm39rFA6eK5iW+Brv/ij3rIUz7SO/bi5oMsW9XDWhGxeEolz mfMwSxJGT3HFMK8WTGE5BmiDA1X0QQ88NSkhI87JMMAjFlOMc9aH2F/TyY5osDHMRK FbqbgEplY753apO0nw4rsl/CCQx4YcIVhtRDIBqoY7xqkkSSc7Z9leezdbIrJwnStd pvuHnGxkgYxI+9RdB5ksEdiVk5c8TP9FIaq5GtOou5eLpfBeegvYf++ZnZRIjCcELc 6XAOjmUA/4mabMDPMFHvWEQ4AqV/IbbRzdU2A8jo9Dlbss1S1Zl4wUWTME+7a2BN5x BnIDl+gCbNAIA== X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 50134 Cc: Maxime Devos 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.7 (-) * gnu/packages/ocaml.scm (dedukti)[arguments]<#:phases>: Use #$output. Remove trailing #t. --- gnu/packages/ocaml.scm | 39 +++++++++++++++++---------------------- 1 file changed, 17 insertions(+), 22 deletions(-) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index e89c1adbb9..82ee34c542 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -4137,28 +4137,23 @@ cross-platform SDL C library.") (build-system ocaml-build-system) (arguments `(#:phases - (modify-phases %standard-phases - (delete 'configure) - (replace 'build - (lambda _ - (invoke "make") - #t)) - (replace 'check - (lambda _ - (invoke "make" "tests") - #t)) - (add-before 'install 'set-binpath - ;; Change binary path in the makefile - (lambda _ - (let ((out (assoc-ref %outputs "out"))) - (substitute* "GNUmakefile" - (("BINDIR = (.*)$") - (string-append "BINDIR = " out "/bin")))) - #t)) - (replace 'install - (lambda _ - (invoke "make" "install") - #t))))) + ,#~(modify-phases %standard-phases + (delete 'configure) + (replace 'build + (lambda _ + (invoke "make"))) + (replace 'check + (lambda _ + (invoke "make" "tests"))) + (add-before 'install 'set-binpath + ;; Change binary path in the makefile + (lambda _ + (substitute* "GNUmakefile" + (("BINDIR = (.*)$") + (string-append "BINDIR = " #$output "/bin"))))) + (replace 'install + (lambda _ + (invoke "make" "install")))))) (synopsis "Proof-checker for the λΠ-calculus modulo theory, an extension of the λ-calculus") (description "Dedukti is a proof-checker for the λΠ-calculus modulo -- 2.33.0 From debbugs-submit-bounces@debbugs.gnu.org Fri Aug 20 09:14:07 2021 Received: (at 50134) by debbugs.gnu.org; 20 Aug 2021 13:14:07 +0000 Received: from localhost ([127.0.0.1]:33247 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mH4LX-0003FA-9p for submit@debbugs.gnu.org; Fri, 20 Aug 2021 09:14:07 -0400 Received: from lepiller.eu ([89.234.186.109]:55496) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mH4LV-0003Ez-EJ for 50134@debbugs.gnu.org; Fri, 20 Aug 2021 09:14:06 -0400 Received: from lepiller.eu (localhost [127.0.0.1]) by lepiller.eu (OpenSMTPD) with ESMTP id dbdc96fb; Fri, 20 Aug 2021 13:14:02 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=lepiller.eu; h=date:from :to:subject:in-reply-to:references:message-id:mime-version :content-type:content-transfer-encoding; s=dkim; bh=N7U2uI/YlCeI Hn0d49CIMudOtE19lVLa3QXkNHXCVo8=; b=YD0PVsSLEix1b5D6XF3O8vvuTghT 025/hA+ERF4q591IZs23xb4m4Mlq8XsYopRVZwAY6LG1l34UBM3U+6TKDFOnzwDs qnq3ZAAe605Bvd8HV0+A9MJnUBup5rpiDJz5QR3+vw1rhkx9/QgVB1r1iaVZAy1H 3VIp1W/l7bUys30W4I4vAnHX/oif7MnP5dWUzywkZ48PmMLETkN2H5UYBGhXOEDC 9ckjuNZBHxBP2oEntzyAODyZDBXXZML2Hcska7VlwqTgMInN3TunvrWlaNXXmhez KdVR+iqyH71WdpdXAK6IoM8YZ+epu1DxDEIr1h9wK2VVuRbFvCwR4qQaGw== Received: by lepiller.eu (OpenSMTPD) with ESMTPSA id 4b3ecd90 (TLSv1.3:AEAD-AES256-GCM-SHA384:256:NO); Fri, 20 Aug 2021 13:14:02 +0000 (UTC) Date: Fri, 20 Aug 2021 09:13:48 -0400 From: Julien Lepiller To: Maxime Devos , 50134@debbugs.gnu.org Subject: =?US-ASCII?Q?Re=3A_=5Bbug=2350134=5D_=5BPATCH_cor?= =?US-ASCII?Q?e-updates-frozen_00/12=5D_Fi?= =?US-ASCII?Q?x_=28assoc-ref_=2E=2E=2E_=22out=22=29_re?= =?US-ASCII?Q?lated_Ocaml_build_failures?= User-Agent: K-9 Mail for Android In-Reply-To: <215b0088e542b2fb9bcf3be9ff74c5874770f878.camel@telenet.be> References: <215b0088e542b2fb9bcf3be9ff74c5874770f878.camel@telenet.be> Message-ID: <41AC2FAA-6489-4BAE-95A5-42B8BE73E6B0@lepiller.eu> MIME-Version: 1.0 Content-Type: multipart/alternative; boundary=----O1L9JACR6ISL3EG16YR5RYOWY197JF Content-Transfer-Encoding: 7bit X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 50134 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 (-) ------O1L9JACR6ISL3EG16YR5RYOWY197JF Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Thanks, the series looks good to me, though untested on my side=2E Le 20 ao=C3=BBt 2021 08:47:24 GMT-04:00, Maxime Devos a =C3=A9crit=C2=A0: >Reported by 'slyfox' on IRC=2E ------O1L9JACR6ISL3EG16YR5RYOWY197JF Content-Type: text/html; charset=utf-8 Content-Transfer-Encoding: quoted-printable Thanks, the series looks good to me, though untest= ed on my side=2E

Le 20 ao=C3=BBt 2021 08:= 47:24 GMT-04:00, Maxime Devos <maximedevos@telenet=2Ebe> a =C3=A9crit= =C2=A0:
Reported by 'slyfox' on IRC=2E
------O1L9JACR6ISL3EG16YR5RYOWY197JF-- From debbugs-submit-bounces@debbugs.gnu.org Fri Aug 20 12:34:57 2021 Received: (at 50134-done) by debbugs.gnu.org; 20 Aug 2021 16:34:57 +0000 Received: from localhost ([127.0.0.1]:35434 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mH7Tt-0000iq-8u for submit@debbugs.gnu.org; Fri, 20 Aug 2021 12:34:57 -0400 Received: from eggs.gnu.org ([209.51.188.92]:47278) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mH7Ts-0000if-A2 for 50134-done@debbugs.gnu.org; Fri, 20 Aug 2021 12:34:56 -0400 Received: from fencepost.gnu.org ([2001:470:142:3::e]:35206) by eggs.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1mH7Tm-0007YF-Hb; Fri, 20 Aug 2021 12:34:50 -0400 Received: from [2a01:cb18:832e:5f00:3563:417e:2a38:86d8] (port=48172 helo=meije) by fencepost.gnu.org with esmtpsa (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1mH7Tm-00089A-4k; Fri, 20 Aug 2021 12:34:50 -0400 From: Mathieu Othacehe To: Maxime Devos Subject: Re: bug#50134: [PATCH core-updates-frozen 00/12] Fix (assoc-ref ... "out") related Ocaml build failures References: <215b0088e542b2fb9bcf3be9ff74c5874770f878.camel@telenet.be> Date: Fri, 20 Aug 2021 18:34:47 +0200 In-Reply-To: <215b0088e542b2fb9bcf3be9ff74c5874770f878.camel@telenet.be> (Maxime Devos's message of "Fri, 20 Aug 2021 14:47:24 +0200") Message-ID: <87y28wqdlk.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 50134-done Cc: 50134-done@debbugs.gnu.org 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: -3.3 (---) Hey Maxime, Pushed on core-updates-frozen. Thanks, Mathieu From unknown Sun Jun 15 08:56:19 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Sat, 18 Sep 2021 11:24:05 +0000 User-Agent: Fakemail v42.6.9 # This is a fake control message. # # The action: # bug archived. thanks # This fakemail brought to you by your local debbugs # administrator