From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp0 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id aN4BOnDrdl/1NAAA0tVLHw (envelope-from ) for ; Fri, 02 Oct 2020 08:57:20 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp0 with LMTPS id eKPWNXDrdl9TEQAA1q6Kng (envelope-from ) for ; Fri, 02 Oct 2020 08:57:20 +0000 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id 6F3249401DE for ; Fri, 2 Oct 2020 08:57:20 +0000 (UTC) Received: from localhost ([::1]:55362 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1kOGsP-0003Su-Uy for larch@yhetil.org; Fri, 02 Oct 2020 04:57:17 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:44668) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kOGsA-0003Sn-SG for guix-patches@gnu.org; Fri, 02 Oct 2020 04:57:02 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:56007) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1kOGsA-0005eT-GN for guix-patches@gnu.org; Fri, 02 Oct 2020 04:57:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1kOGsA-0004TM-Cx for guix-patches@gnu.org; Fri, 02 Oct 2020 04:57:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#43745] [PATCH 27/27] gnu: dune: Update to 2.7.1. Resent-From: zimoun Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Fri, 02 Oct 2020 08:57:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 43745 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Julien Lepiller Cc: 43745@debbugs.gnu.org Received: via spool by 43745-submit@debbugs.gnu.org id=B43745.160162900017157 (code B ref 43745); Fri, 02 Oct 2020 08:57:02 +0000 Received: (at 43745) by debbugs.gnu.org; 2 Oct 2020 08:56:40 +0000 Received: from localhost ([127.0.0.1]:39320 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kOGro-0004Sf-4u for submit@debbugs.gnu.org; Fri, 02 Oct 2020 04:56:40 -0400 Received: from mail-qv1-f45.google.com ([209.85.219.45]:36233) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kOGrm-0004SL-4p for 43745@debbugs.gnu.org; Fri, 02 Oct 2020 04:56:39 -0400 Received: by mail-qv1-f45.google.com with SMTP id f11so412124qvw.3 for <43745@debbugs.gnu.org>; Fri, 02 Oct 2020 01:56:38 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=3BtBNOilN5BeS0eH6c/7RqHdkKwGZlQyGHfo3TSrXuU=; b=iuDWtXBDnJVRHCrtiq9Nw9Dy9yI2p5O27xsq3fFd0h7ekgrWeVhVME7JdogT32oSWd LwRSGZLQ+8Aqm+kufCK9AWdOol2d8XAw9HGPmkTgfhdRKUq8n0cIVWU26oKqShz3V6mA T7e5HWXvT65ngV4oCNyLktWw+dozWsAD59H6Q3Yjzc8ZscbX9djnD8Dsh/uKfnNxbO1/ j32sNUHjae96VMw9bg1tfpE6doA2aHBn2O2Qyr7odJX/iMkqUbtHTRsnUG/N8z1f1MOH np2zqS94cLr0Xlu3Sa6F4mjmJocGhFT3lzmDijCYY+LLNY+lNkkT0MRZUhzP/NTdRpsp SA8A== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=3BtBNOilN5BeS0eH6c/7RqHdkKwGZlQyGHfo3TSrXuU=; b=C7ePdf21AgoPzVjbf5P9TQ0SCMZ9KFlb50wBoomzIGYEvq3UIPZXKZNE63fbmfMmFS 9mXnMzOhxUgqvQGuF2+Pv2ivn8S2XV592EzcQk8DTUrolP+8S7IHr4Xou/Lo2sJ3hMl0 ufHmWHebTgpMq90n8X08tohoAbAVH0Awu07hmwesP/uEiLDZBt8pGbemptzYP6yrIACR qhH+TN87+4k83/PAnAMEdYXF8rciDo2rH4xpivoI7WGFupjvOYyYpUBntr4NENSK/DA0 tq5nkdOM08kEefg7yd0QXk/9G0uwsXbtz2aSmudSIfVIWBXweEdVOrU+nOmYCTTIH5+p 0Npg== X-Gm-Message-State: AOAM53391i/Zr13dPe6Xxp7t/6TYTUyvGP309pa49c8Rv69VRYUdfYJ+ mHdWQYcWl6T+PPm+KOoQYCRfdCGvLHutUud8Ul/vTz/pH/E= X-Google-Smtp-Source: ABdhPJyoEdPRYpUo7BE5VeYr6EsHN0a72XPdeM+7oLI60x5fTbS5pP6FuLH8rCgN5y1lkouKXaFCh621Ls92utAduUE= X-Received: by 2002:a05:6214:1767:: with SMTP id et7mr1116002qvb.43.1601628992293; Fri, 02 Oct 2020 01:56:32 -0700 (PDT) MIME-Version: 1.0 References: <20201001153909.296c8d3e@tachikoma.lepiller.eu> <20201001134133.32105-1-julien@lepiller.eu> <20201001134133.32105-27-julien@lepiller.eu> In-Reply-To: <20201001134133.32105-27-julien@lepiller.eu> From: zimoun Date: Fri, 2 Oct 2020 10:56:20 +0200 Message-ID: Content-Type: text/plain; charset="UTF-8" X-Spam-Score: 0.0 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-Spam-Score: -1.0 (-) X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+larch=yhetil.org@gnu.org Sender: "Guix-patches" X-Scanner: scn0 Authentication-Results: aspmx1.migadu.com; dkim=fail (rsa verify failed) header.d=gmail.com header.s=20161025 header.b=iuDWtXBD; dmarc=fail reason="SPF not aligned (relaxed)" header.from=gmail.com (policy=none); spf=pass (aspmx1.migadu.com: domain of guix-patches-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-patches-bounces@gnu.org X-Spam-Score: 0.09 X-TUID: ZJcod2eGV4yK Hi, Thank you for all the patch set! :-) On Thu, 1 Oct 2020 at 16:07, Julien Lepiller wrote: > -(define-public dune > +(define dune-bootstrap > (package > (name "dune") > - (version "1.11.3") > + (version "2.7.1") > (source (origin > (method git-fetch) > (uri (git-reference > @@ -1289,17 +1289,19 @@ full_split, cut, rcut, etc..") > (file-name (git-file-name name version)) > (sha256 > (base32 > - "0l4x0x2fz135pljv88zj8y6w1ninsqw0gn1mdxzprd6wbxbyn8wr")))) > + "10qgx83fq8b522y9mpllrp0l5cgmr2bs5s7aix5img21hlbm34in")))) > (build-system ocaml-build-system) > (arguments > `(#:tests? #f; require odoc > - #:make-flags (list (string-append "PREFIX=" (assoc-ref %outputs "out")) > + #:make-flags (list "release" > + (string-append "PREFIX=" (assoc-ref %outputs "out")) > (string-append "LIBDIR=" (assoc-ref %outputs "out") > "/lib/ocaml/site-lib")) > #:phases > (modify-phases %standard-phases > (replace 'configure > (lambda* (#:key outputs #:allow-other-keys) > + (mkdir-p "src/dune") > (invoke "./configure") > #t))))) > (home-page "https://github.com/ocaml/dune") [...] > +(define-public dune > + (package > + (inherit dune-bootstrap) > + (propagated-inputs > + `(("dune-configurator" ,dune-configurator))) > + (properties `((ocaml4.07-variant . ,(delay ocaml4.07-dune)))))) > + > (define-public ocaml4.07-dune > - (package-with-ocaml4.07 dune)) > + (package > + (inherit (package-with-ocaml4.07 dune-bootstrap)) > + (version "1.11.3") > + (source (origin > + (method git-fetch) > + (uri (git-reference > + (url "https://github.com/ocaml/dune") > + (commit version))) > + (file-name (git-file-name "dune" version)) > + (sha256 > + (base32 > + "0l4x0x2fz135pljv88zj8y6w1ninsqw0gn1mdxzprd6wbxbyn8wr")))))) Can the v2.7.1 of 'dune-bootstrap' be compiled with OCaml4.07? All the best, simon