From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp2 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id gKaVB2Qgd1+QKQAA0tVLHw (envelope-from ) for ; Fri, 02 Oct 2020 12:43:16 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp2 with LMTPS id WEZPA2Qgd19vLAAAB5/wlQ (envelope-from ) for ; Fri, 02 Oct 2020 12:43:16 +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 7BB7C9400EF for ; Fri, 2 Oct 2020 12:43:15 +0000 (UTC) Received: from localhost ([::1]:33368 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1kOKP3-0000h2-UP for larch@yhetil.org; Fri, 02 Oct 2020 08:43:13 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:35838) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kOKOu-0000dI-IU for guix-patches@gnu.org; Fri, 02 Oct 2020 08:43:04 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:56350) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1kOKOs-0007PJ-1J for guix-patches@gnu.org; Fri, 02 Oct 2020 08:43:04 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1kOKOr-0008Ak-UD for guix-patches@gnu.org; Fri, 02 Oct 2020 08:43:01 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#43745] [PATCH 27/27] gnu: dune: Update to 2.7.1. Resent-From: Julien Lepiller Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Fri, 02 Oct 2020 12:43:01 +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: zimoun Cc: 43745@debbugs.gnu.org Received: via spool by 43745-submit@debbugs.gnu.org id=B43745.160164257831405 (code B ref 43745); Fri, 02 Oct 2020 12:43:01 +0000 Received: (at 43745) by debbugs.gnu.org; 2 Oct 2020 12:42:58 +0000 Received: from localhost ([127.0.0.1]:39663 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kOKOo-0008AT-2e for submit@debbugs.gnu.org; Fri, 02 Oct 2020 08:42:58 -0400 Received: from lepiller.eu ([89.234.186.109]:52428) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kOKOi-0008AD-6C for 43745@debbugs.gnu.org; Fri, 02 Oct 2020 08:42:56 -0400 Received: from lepiller.eu (localhost [127.0.0.1]) by lepiller.eu (OpenSMTPD) with ESMTP id 8fd76d78; Fri, 2 Oct 2020 12:42:49 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=lepiller.eu; h=date :in-reply-to:references:mime-version:content-type :content-transfer-encoding:subject:to:cc:from:message-id; s= dkim; bh=/MIppD20AA4RLOs4VxzNoCJbR/pz7GxbxUxGrYK1eZ8=; b=ERmynBw aQqYw3Dla4HP4ZexRTfwmkZJPPqZT63M12PsLSSexc4IHo2bhVVQzW2JI7B6pQBf 3rfufsuZl0a/9Woqsjz8JnkTavJ3CHrWzd5g3fRAFagC6YK4kZfgpaFehif06tgI Bvc4uiOG/q8TELM0hB2WSGBKuNBY88FHI0t1OEytVB57Frh2Us+H1WzOUl79raOT IJ2wtvWcQbd1BVSxS8fvXzKXtv35b306Mo4ue9rDHCpEvdLDpZT03oYeiC4d6ncS 5pnOUWsca8XKpZrY5PmJXaoCIf0gFmHGgoAPRz5+7dID2+sfoEt4jtRMf1Hw1HPQ M4SOgcnmxVvOPPg== Received: by lepiller.eu (OpenSMTPD) with ESMTPSA id bb2f9d57 (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256:NO); Fri, 2 Oct 2020 12:42:48 +0000 (UTC) Date: Fri, 02 Oct 2020 08:42:39 -0400 User-Agent: K-9 Mail for Android In-Reply-To: References: <20201001153909.296c8d3e@tachikoma.lepiller.eu> <20201001134133.32105-1-julien@lepiller.eu> <20201001134133.32105-27-julien@lepiller.eu> MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----DSS438S05BU27FDQ11ESBAH92LU5MQ" Content-Transfer-Encoding: 7bit From: Julien Lepiller Message-ID: <9E953033-A6C1-4FBA-9BEE-8C7F826C4CD1@lepiller.eu> 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=lepiller.eu header.s=dkim header.b=ERmynBw ; dmarc=fail reason="SPF not aligned (relaxed)" header.from=lepiller.eu (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: oapFqyjxXiJ1 ------DSS438S05BU27FDQ11ESBAH92LU5MQ Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Yes, it's posssible, but as I said, most of our ocaml4=2E07-* packages will= need to be fixed to work with dune 2=2E Le 2 octobre 2020 04:56:20 GMT-04:00, zimoun a =C3=A9crit : >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=2E11=2E3") >> + (version "2=2E7=2E1") >> (source (origin >> (method git-fetch) >> (uri (git-reference >> @@ -1289,17 +1289,19 @@ full_split, cut, rcut, etc=2E=2E") >> (file-name (git-file-name name version)) >> (sha256 >> (base32 >> - =20 >"0l4x0x2fz135pljv88zj8y6w1ninsqw0gn1mdxzprd6wbxbyn8wr")))) >> + =20 >"10qgx83fq8b522y9mpllrp0l5cgmr2bs5s7aix5img21hlbm34in")))) >> (build-system ocaml-build-system) >> (arguments >> `(#:tests? #f; require odoc >> - #:make-flags (list (string-append "PREFIX=3D" (assoc-ref >%outputs "out")) >> + #:make-flags (list "release" >> + (string-append "PREFIX=3D" (assoc-ref >%outputs "out")) >> (string-append "LIBDIR=3D" (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 "=2E/configure") >> #t))))) >> (home-page "https://github=2Ecom/ocaml/dune") > >[=2E=2E=2E] > >> +(define-public dune >> + (package >> + (inherit dune-bootstrap) >> + (propagated-inputs >> + `(("dune-configurator" ,dune-configurator))) >> + (properties `((ocaml4=2E07-variant =2E ,(delay ocaml4=2E07-dune)))= ))) >> + >> (define-public ocaml4=2E07-dune >> - (package-with-ocaml4=2E07 dune)) >> + (package >> + (inherit (package-with-ocaml4=2E07 dune-bootstrap)) >> + (version "1=2E11=2E3") >> + (source (origin >> + (method git-fetch) >> + (uri (git-reference >> + (url "https://github=2Ecom/ocaml/dune") >> + (commit version))) >> + (file-name (git-file-name "dune" version)) >> + (sha256 >> + (base32 >> + =20 >"0l4x0x2fz135pljv88zj8y6w1ninsqw0gn1mdxzprd6wbxbyn8wr")))))) > >Can the v2=2E7=2E1 of 'dune-bootstrap' be compiled with OCaml4=2E07? > >All the best, >simon ------DSS438S05BU27FDQ11ESBAH92LU5MQ Content-Type: text/html; charset=utf-8 Content-Transfer-Encoding: quoted-printable Yes, it's posssible, but as I said, most of our oc= aml4=2E07-* packages will need to be fixed to work with dune 2=2E

Le 2 octobre 2020 04:56:20 GMT-04:00, zimoun <z= imon=2Etoutoune@gmail=2Ecom> a =C3=A9crit :
Hi,

Thank you for all the patch set! :-)
<=
br>
On Thu, 1 Oct 2020 at 16:07, Julien Lepiller <julien@lepiller=2Ee=
u> wrote:

-(defi=
ne-public dune
+(define dune-bootstrap
   (package
     (name "dun=
e")
-    (version "1=2E11=2E3")
+    (version "2=2E7=2E1")
     (s=
ource (origin
               (method git-fetch)
               (uri (=
git-reference
@@ -1289,17 +1289,19 @@ full_split, cut, rcut, etc=2E=2E")=

               (file-name (git-file-name name version))
            =
   (sha256
                (base32
-                "0l4x0x2fz135pljv=
88zj8y6w1ninsqw0gn1mdxzprd6wbxbyn8wr"))))
+                "10qgx83fq8b5=
22y9mpllrp0l5cgmr2bs5s7aix5img21hlbm34in"))))
     (build-system ocaml-b=
uild-system)
     (arguments
      `(#:tests? #f; require odoc
-  =
     #:make-flags (list (string-append "PREFIX=3D" (assoc-ref %outputs "out=
"))
+       #:make-flags (list "release"
+                          (=
string-append "PREFIX=3D" (assoc-ref %outputs "out"))
                  =
         (string-append "LIBDIR=3D" (assoc-ref %outputs "out")
         =
                                 "/lib/ocaml/site-lib"))
        #:phase=
s
        (modify-phases %standard-phases
          (replace 'configu=
re
            (lambda* (#:key outputs #:allow-other-keys)
+         =
    (mkdir-p "src/dune")
              (invoke "=2E/configure")
     =
         #t)))))
     (home-page "https://github=2Ecom/ocaml/dune")
<=
/blockquote>
[=2E=2E=2E]

+(define-public dune
+  (package
+    (inherit dune-bootstr=
ap)
+    (propagated-inputs
+     `(("dune-configurator" ,dune-config=
urator)))
+    (properties `((ocaml4=2E07-variant =2E ,(delay ocaml4=2E0=
7-dune))))))
+
 (define-public ocaml4=2E07-dune
-  (package-with-o=
caml4=2E07 dune))
+  (package
+    (inherit (package-with-ocaml4=2E07=
 dune-bootstrap))
+    (version "1=2E11=2E3")
+    (source (origin+              (method git-fetch)
+              (uri (git-reference+                     (url "https://github=2Ecom/ocaml/dune")
+        =
             (commit version)))
+              (file-name (git-file-name=
 "dune" version))
+              (sha256
+               (base32
+=
                "0l4x0x2fz135pljv88zj8y6w1ninsqw0gn1mdxzprd6wbxbyn8wr")))))=
)

Can  the v2=2E7=2E1 of 'dune-bootstrap' be compiled w=
ith OCaml4=2E07?

All the best,
simon
= ------DSS438S05BU27FDQ11ESBAH92LU5MQ--