GNU bug report logs - #56080
[PATCH]: gnu: bap: Update to 2.5.0-alpha.

Please note: This is a static page, with minimal formatting, updated once a day.
Click here to see this page with the latest information and nicer formatting.

Package: guix-patches; Reported by: Julien Lepiller <julien@HIDDEN>; Keywords: patch; Done: Julien Lepiller <julien@HIDDEN>; Maintainer for guix-patches is guix-patches@HIDDEN.

Message received at 56080-done <at> debbugs.gnu.org:


Received: (at 56080-done) by debbugs.gnu.org; 28 Jun 2022 17:37:58 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Tue Jun 28 13:37:58 2022
Received: from localhost ([127.0.0.1]:56263 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1o6F9x-0004nh-SN
	for submit <at> debbugs.gnu.org; Tue, 28 Jun 2022 13:37:58 -0400
Received: from lepiller.eu ([89.234.186.109]:42234)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <julien@HIDDEN>) id 1o6F9t-0004nU-83
 for 56080-done <at> debbugs.gnu.org; Tue, 28 Jun 2022 13:37:56 -0400
Received: from lepiller.eu (localhost [127.0.0.1])
 by lepiller.eu (OpenSMTPD) with ESMTP id dd865037;
 Tue, 28 Jun 2022 17:37:51 +0000 (UTC)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=lepiller.eu; h=date:from
 :to:cc:subject:message-id:in-reply-to:references:mime-version
 :content-type:content-transfer-encoding; s=dkim; bh=N5GibyJZ92k3
 qLuVgbNUsAtYNmj6SJM13tpgEEgc+rk=; b=SDYzboHMCjWW8Ybl7Rk+IX0Uiohy
 +SAGJ20PViT6pKmZnHhYu9qkv3Q12MWti3XHSy3xW6n+E6XkgUvI/awcde6FDEMG
 igQrKJrPCDXf3Y4Aom8ZACTytHBicbWYloAFpJlNkuzJSR+0A+nU7TMAtwKXnrfo
 ydnYiXoB0pkmEEQSYCy7aPn5w5ZUS3MzNO1iI51/MBh+dgZSYwdyNFjCLnNHH4cq
 dE8j2vjM+x3nb2RlA3nNI2ByS75DnfvibpIBKlb7MgPB5aZhHWd27Evrinec5wqk
 WpzobZlSSFTxEuEw3FDsvIQQ1qPJsLETiHL5L6bT87VVSNizr4Noy0J93A==
Received: by lepiller.eu (OpenSMTPD) with ESMTPSA id 0ad8f006
 (TLSv1.3:AEAD-AES256-GCM-SHA384:256:NO); 
 Tue, 28 Jun 2022 17:37:50 +0000 (UTC)
Date: Tue, 28 Jun 2022 19:37:43 +0200
From: Julien Lepiller <julien@HIDDEN>
To: Ludovic =?UTF-8?B?Q291cnTDqHM=?= <ludo@HIDDEN>
Subject: Re: bug#56080: [PATCH]: gnu: bap: Update to 2.5.0-alpha.
Message-ID: <20220628193743.64a51781@HIDDEN>
In-Reply-To: <87r13g1kzi.fsf@HIDDEN>
References: <20220619091824.15586c91@HIDDEN>
 <87r13g1kzi.fsf@HIDDEN>
X-Mailer: Claws Mail 4.0.0 (GTK+ 3.24.30; x86_64-pc-linux-gnu)
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable
X-Spam-Score: -0.0 (/)
X-Debbugs-Envelope-To: 56080-done
Cc: 56080-done <at> debbugs.gnu.org
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.0 (-)

Thanks, pushed to master as 404df667e3b06f1e9a416c956e53c03ca3642140.

Le Wed, 22 Jun 2022 22:50:09 +0200,
Ludovic Court=C3=A8s <ludo@HIDDEN> a =C3=A9crit :

> Howdy,
>=20
> Julien Lepiller <julien@HIDDEN> skribis:
>=20
> > This small patch series finally updates bap to a version that can
> > use the latest OCaml compiler. =20
>=20
> LGTM!
>=20
> > After we merge that, we will be able to remove most ocaml-4.07
> > packages :) =20
>=20
> Yay!
>=20
> Ludo=E2=80=99.





Notification sent to Julien Lepiller <julien@HIDDEN>:
bug acknowledged by developer. Full text available.
Reply sent to Julien Lepiller <julien@HIDDEN>:
You have taken responsibility. Full text available.

Message received at 56080 <at> debbugs.gnu.org:


Received: (at 56080) by debbugs.gnu.org; 22 Jun 2022 20:50:21 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Wed Jun 22 16:50:21 2022
Received: from localhost ([127.0.0.1]:36727 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1o47Iq-0000Bm-RW
	for submit <at> debbugs.gnu.org; Wed, 22 Jun 2022 16:50:20 -0400
Received: from eggs.gnu.org ([209.51.188.92]:36390)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <ludo@HIDDEN>) id 1o47Ip-0000BY-33
 for 56080 <at> debbugs.gnu.org; Wed, 22 Jun 2022 16:50:19 -0400
Received: from fencepost.gnu.org ([2001:470:142:3::e]:52130)
 by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.90_1) (envelope-from <ludo@HIDDEN>)
 id 1o47Ij-0004aM-Kq; Wed, 22 Jun 2022 16:50:13 -0400
DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org;
 s=fencepost-gnu-org; h=MIME-Version:In-Reply-To:Date:References:Subject:To:
 From; bh=EevxQzyfRqRjXyr9IPpSaZlQkyUUINkT0JH0XqsKUcg=; b=rr35fEQ+PAGTJ6JD5f1+
 4nxtcEYqxc6Mrdhg2FNaFFRWIl1G4/A0QnemKM4190wBaiCFqaJllKSwCX8Cwnbtfiscbc4xAbfwQ
 vBMxTXzWqDQNmhkhMRv9jLpQ9OKg9OJ6px8HGCCWDOCKumX9UehbBmSp6aMViOkacfEc8sgGsB/tC
 TfJ5OQG8pypsUkFNjtI7HdF0ctx7zEut33k3DUFbsLwFoqUpBmUVaMInv1aD9YTwX6kM2DXoP/mwq
 ZYTz3fDkQGJO1tCRo3lLUgzZvd3Hw3bdQyiNR5Yczuui8RaD2j+KqI3YYbviUtxmvcsMh/I4PDFcS
 85e1/2N6bOEJCg==;
Received: from 91-160-117-201.subs.proxad.net ([91.160.117.201]:56444
 helo=ribbon)
 by fencepost.gnu.org with esmtpsa (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.90_1) (envelope-from <ludo@HIDDEN>)
 id 1o47Ih-0004t1-BB; Wed, 22 Jun 2022 16:50:13 -0400
From: =?utf-8?Q?Ludovic_Court=C3=A8s?= <ludo@HIDDEN>
To: Julien Lepiller <julien@HIDDEN>
Subject: Re: bug#56080: [PATCH]: gnu: bap: Update to 2.5.0-alpha.
References: <20220619091824.15586c91@HIDDEN>
Date: Wed, 22 Jun 2022 22:50:09 +0200
In-Reply-To: <20220619091824.15586c91@HIDDEN> (Julien Lepiller's
 message of "Sun, 19 Jun 2022 09:18:24 +0200")
Message-ID: <87r13g1kzi.fsf@HIDDEN>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.1 (gnu/linux)
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
X-Spam-Score: -2.3 (--)
X-Debbugs-Envelope-To: 56080
Cc: 56080 <at> debbugs.gnu.org
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -3.3 (---)

Howdy,

Julien Lepiller <julien@HIDDEN> skribis:

> This small patch series finally updates bap to a version that can use
> the latest OCaml compiler.

LGTM!

> After we merge that, we will be able to remove most ocaml-4.07
> packages :)

Yay!

Ludo=E2=80=99.




Information forwarded to guix-patches@HIDDEN:
bug#56080; Package guix-patches. Full text available.

Message received at 56080 <at> debbugs.gnu.org:


Received: (at 56080) by debbugs.gnu.org; 19 Jun 2022 07:52:12 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Sun Jun 19 03:52:12 2022
Received: from localhost ([127.0.0.1]:50556 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1o2pjA-0002sy-Bc
	for submit <at> debbugs.gnu.org; Sun, 19 Jun 2022 03:52:12 -0400
Received: from lepiller.eu ([89.234.186.109]:40980)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <julien@HIDDEN>) id 1o2pj3-0002rr-Vo
 for 56080 <at> debbugs.gnu.org; Sun, 19 Jun 2022 03:52:07 -0400
Received: from lepiller.eu (localhost [127.0.0.1])
 by lepiller.eu (OpenSMTPD) with ESMTP id bb70b637
 for <56080 <at> debbugs.gnu.org>; Sun, 19 Jun 2022 07:52:01 +0000 (UTC)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=lepiller.eu; h=from:to
 :subject:date:message-id:in-reply-to:references:mime-version
 :content-transfer-encoding; s=dkim; bh=5BHFBL+7X7ex0VZR+afoNPlQC
 b30v8acfaolWVyndFw=; b=VLo+3l4T7Rgs9Z8jDjm5tXGrPWvorV3wprLWlhQHm
 eSBgcT7UTX5DxITGGy9rdBE+wHBYBPs869W/c997DGe8hnOGHvqdTeX4+IPAKQqO
 fyaiB5modykN/KCE4yQfwTT0AyiCrwFdu5T7+C4fY+YVsok5b27Tw4+D5AceCeha
 veeqP+gd6zFl3SY7ntN+M3rVNEhNN5JsKuQbvQJ5dihWN6NWvqd3DU7hF0VUj6xq
 6u1+nArJ+gBwdIioiIVLK/XFmbNXtweceVbahJDsqgX/2e6fw9nmJhkRUX7SSkCx
 KKdTbxdLZAoEBkldiXcpqylIGX1OgHI+oR8ltV7auO8dw==
Received: by lepiller.eu (OpenSMTPD) with ESMTPSA id 45607a49
 (TLSv1.3:AEAD-AES256-GCM-SHA384:256:NO) for <56080 <at> debbugs.gnu.org>;
 Sun, 19 Jun 2022 07:52:00 +0000 (UTC)
From: Julien Lepiller <julien@HIDDEN>
To: 56080 <at> debbugs.gnu.org
Subject: [PATCH 3/4] gnu: Add ocaml-ppx-bitstring.
Date: Sun, 19 Jun 2022 09:51:49 +0200
Message-Id: <20220619075150.10754-3-julien@HIDDEN>
X-Mailer: git-send-email 2.36.1
In-Reply-To: <20220619075150.10754-1-julien@HIDDEN>
References: <20220619075150.10754-1-julien@HIDDEN>
MIME-Version: 1.0
Content-Transfer-Encoding: 8bit
X-Spam-Score: -0.0 (/)
X-Debbugs-Envelope-To: 56080
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.0 (-)

* gnu/packages/ocaml.scm (ocaml-ppx-bitstring): New variable.
---
 gnu/packages/ocaml.scm | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)

diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index 6e9170e929..59a883b400 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -2016,6 +2016,22 @@ (define-public ocaml4.07-bitstring
       (propagated-inputs
        `(("ocaml-ppx-tools-versioned" ,ocaml4.07-ppx-tools-versioned)))
       (properties '()))))
+
+(define-public ocaml-ppx-bitstring
+  (package
+    (inherit ocaml-bitstring)
+    (name "ocaml-ppx-bitstring")
+    (arguments
+     `(#:package "ppx_bitstring"
+       ;; No tests
+       #:tests? #f))
+    (propagated-inputs (list ocaml-bitstring ocaml-ppxlib))
+    (native-inputs (list ocaml-ounit))
+    (properties `((upstream-name . "ppx_bitstring")))
+    (synopsis "PPX extension for bitstrings and bitstring matching")
+    (description
+     "This package provides a way to write bitstrings and matching over
+bitsrings in Erlang style as primitives to the language.")))
  
 (define-public ocaml-result
   (package
-- 
2.36.1





Information forwarded to guix-patches@HIDDEN:
bug#56080; Package guix-patches. Full text available.

Message received at 56080 <at> debbugs.gnu.org:


Received: (at 56080) by debbugs.gnu.org; 19 Jun 2022 07:52:12 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Sun Jun 19 03:52:12 2022
Received: from localhost ([127.0.0.1]:50554 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1o2pjA-0002sw-0K
	for submit <at> debbugs.gnu.org; Sun, 19 Jun 2022 03:52:12 -0400
Received: from lepiller.eu ([89.234.186.109]:40982)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <julien@HIDDEN>) id 1o2pj4-0002sF-Iu
 for 56080 <at> debbugs.gnu.org; Sun, 19 Jun 2022 03:52:07 -0400
Received: from lepiller.eu (localhost [127.0.0.1])
 by lepiller.eu (OpenSMTPD) with ESMTP id 353c00d2
 for <56080 <at> debbugs.gnu.org>; Sun, 19 Jun 2022 07:52:01 +0000 (UTC)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=lepiller.eu; h=from:to
 :subject:date:message-id:in-reply-to:references:mime-version
 :content-transfer-encoding; s=dkim; bh=mTDJDPSzuekvtLGNWkMRcQkD2
 rSVKADdH3Eb5LO58Uc=; b=HPTEh+2U0D5MJ1iGOB4oV+26k/DuRMEV8IzGDRXA3
 uRDVr/0uQUb6F0IPQ++qszH4oEQ/SRpYWciz1qdyDGZu/T4SHB2twppd680Ks9K3
 /1NV6C339BNC4pM5Qr1qWtfm6jVs2fX9OFxVq67rIiFi86r8s69xKym+tL+Re9YM
 GGIrlzdro4yiIzO0j0h5Y2BGumpqE4xHhWmHFlIwQS39xTwLq3OP3hoTGnL+T/Yt
 i9Ey424bvXj0Z5uKjiuiltZ3m/PeUkFLUaZWR+fLbxU5orNm4B6JCf/46+kbgoEj
 yiHDiStz2MoyaUt0vuSzL5WyAckuTtW6F1LnQZ25Lr0iQ==
Received: by lepiller.eu (OpenSMTPD) with ESMTPSA id b1d94805
 (TLSv1.3:AEAD-AES256-GCM-SHA384:256:NO) for <56080 <at> debbugs.gnu.org>;
 Sun, 19 Jun 2022 07:52:00 +0000 (UTC)
From: Julien Lepiller <julien@HIDDEN>
To: 56080 <at> debbugs.gnu.org
Subject: [PATCH 4/4] gnu: bap: Update to 2.5.0-alpha.
Date: Sun, 19 Jun 2022 09:51:50 +0200
Message-Id: <20220619075150.10754-4-julien@HIDDEN>
X-Mailer: git-send-email 2.36.1
In-Reply-To: <20220619075150.10754-1-julien@HIDDEN>
References: <20220619075150.10754-1-julien@HIDDEN>
MIME-Version: 1.0
Content-Transfer-Encoding: 8bit
X-Spam-Score: -0.0 (/)
X-Debbugs-Envelope-To: 56080
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.0 (-)

* gnu/packages/ocaml.scm (bap): Update to 2.5.0-alpha.
---
 gnu/packages/ocaml.scm | 104 ++++++++++++++++++++++-------------------
 1 file changed, 55 insertions(+), 49 deletions(-)

diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index 59a883b400..06fee0ed59 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -4074,7 +4074,7 @@ (define-public ocaml-ppx-bap
 (define-public bap
   (package
     (name "bap")
-    (version "2.0.0")
+    (version "2.5.0-alpha")
     (home-page "https://github.com/BinaryAnalysisPlatform/bap")
     (source (origin
               (method git-fetch)
@@ -4084,58 +4084,64 @@ (define-public bap
               (file-name (git-file-name name version))
               (sha256
                (base32
-                "0lb9xkfp67wjjqr75p6krivmjra7l5673236v9ny4gp0xi0755bk"))))
+                "1fw9pp0xnssc08qqfkcafffap4f46hw7zmk80gif5yc4nazga8w5"))))
    (build-system ocaml-build-system)
-   (native-inputs
-    `(("ocaml-oasis" ,(package-with-ocaml4.07 ocaml-oasis))
-      ("clang" ,clang-3.8)
-      ("ocaml-ounit" ,(package-with-ocaml4.07 ocaml-ounit))))
-   (propagated-inputs
-    `(("camlzip" ,(package-with-ocaml4.07 camlzip))
-      ("ocaml-bitstring" ,(package-with-ocaml4.07 ocaml-bitstring))
-      ("ocaml-cmdliner" ,(package-with-ocaml4.07 ocaml-cmdliner))
-      ("ocaml-core-kernel" ,ocaml4.07-core-kernel)
-      ("ocaml-ezjsonm" ,(package-with-ocaml4.07 ocaml-ezjsonm))
-      ("ocaml-fileutils" ,(package-with-ocaml4.07 ocaml-fileutils))
-      ("ocaml-frontc" ,(package-with-ocaml4.07 ocaml-frontc))
-      ("ocaml-graph" ,(package-with-ocaml4.07 ocaml-graph))
-      ("ocaml-ocurl" ,(package-with-ocaml4.07 ocaml-ocurl))
-      ("ocaml-piqi" ,(package-with-ocaml4.07 ocaml-piqi))
-      ("ocaml-ppx-jane" ,ocaml4.07-ppx-jane)
-      ("ocaml-utop" ,ocaml4.07-utop)
-      ("ocaml-uuidm" ,(package-with-ocaml4.07 ocaml-uuidm))
-      ("ocaml-uri" ,ocaml4.07-uri)
-      ("ocaml-zarith" ,(package-with-ocaml4.07 ocaml-zarith))))
-   (inputs
-    (list gmp llvm-3.8 ncurses))
    (arguments
-    `(#:use-make? #t
+    (list
+      #:use-make? #t
       #:phases
-      (modify-phases %standard-phases
-        (add-before 'configure 'fix-ncurses
-          (lambda _
-            (substitute* "oasis/llvm"
-              (("-lcurses") "-lncurses"))
-            #t))
-        (replace 'configure
-          (lambda* (#:key outputs inputs #:allow-other-keys)
-            ;; add write for user, to prevent a failure in the install phase
-            (for-each
-              (lambda (file)
-                (let ((stat (stat file)))
-                  (chmod file (+ #o200 (stat:mode stat)))))
-              (find-files "." "."))
-            (invoke "./configure" "--prefix"
-                    (assoc-ref outputs "out")
-                    "--libdir"
-                    (string-append
+      #~(modify-phases %standard-phases
+          (add-before 'configure 'fix-ncurses
+            (lambda _
+              (substitute* "oasis/llvm"
+                (("-lcurses") "-lncurses"))
+              #t))
+          (replace 'configure
+            (lambda* (#:key outputs inputs #:allow-other-keys)
+              (for-each make-file-writable (find-files "." "."))
+              ;; Package name changed
+              (substitute* "oasis/elf-loader"
+                (("bitstring.ppx") "ppx_bitstring"))
+              ;; We don't have a monolithic llvm
+              (substitute* "oasis/llvm.setup.ml.in"
+                (("llvm_static = \"true\"") "true"))
+              (invoke "./configure" "--prefix"
                       (assoc-ref outputs "out")
-                      "/lib/ocaml/site-lib")
-                    "--with-llvm-version=3.8"
-                    "--with-llvm-config=llvm-config"
-                    "--enable-everything"))))
-       #:ocaml ,ocaml-4.07
-       #:findlib ,ocaml4.07-findlib))
+                      "--libdir"
+                      (string-append
+                        (assoc-ref outputs "out")
+                        "/lib/ocaml/site-lib")
+                      (string-append "--with-llvm-version=" #$(package-version llvm))
+                      "--with-llvm-config=llvm-config"
+                      "--disable-ghidra"
+                      "--disable-llvm-static"
+                      "--enable-llvm"
+                      "--enable-everything"))))))
+   (native-inputs (list clang ocaml-oasis ocaml-ounit))
+   (propagated-inputs
+     (list
+       camlzip
+       ocaml-bitstring
+       ocaml-cmdliner
+       ocaml-core-kernel
+       ocaml-ezjsonm
+       ocaml-fileutils
+       ocaml-frontc
+       ocaml-graph
+       ocaml-linenoise
+       ocaml-ocurl
+       ocaml-piqi
+       ocaml-ppx-bap
+       ocaml-ppx-bitstring
+       ocaml-re
+       ocaml-uri
+       ocaml-utop
+       ocaml-uuidm
+       ocaml-yojson
+       ocaml-z3
+       ocaml-zarith))
+   (inputs
+    (list gmp llvm ncurses))
    (synopsis "Binary Analysis Platform")
    (description "Binary Analysis Platform is a framework for writing program
 analysis tools, that target binary files.  The framework consists of a plethora
-- 
2.36.1





Information forwarded to guix-patches@HIDDEN:
bug#56080; Package guix-patches. Full text available.

Message received at 56080 <at> debbugs.gnu.org:


Received: (at 56080) by debbugs.gnu.org; 19 Jun 2022 07:52:08 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Sun Jun 19 03:52:08 2022
Received: from localhost ([127.0.0.1]:50552 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1o2pj5-0002sf-LW
	for submit <at> debbugs.gnu.org; Sun, 19 Jun 2022 03:52:07 -0400
Received: from lepiller.eu ([89.234.186.109]:40982)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <julien@HIDDEN>) id 1o2pj3-0002sF-S7
 for 56080 <at> debbugs.gnu.org; Sun, 19 Jun 2022 03:52:06 -0400
Received: from lepiller.eu (localhost [127.0.0.1])
 by lepiller.eu (OpenSMTPD) with ESMTP id 4f803c76
 for <56080 <at> debbugs.gnu.org>; Sun, 19 Jun 2022 07:52:01 +0000 (UTC)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=lepiller.eu; h=from:to
 :subject:date:message-id:in-reply-to:references:mime-version
 :content-transfer-encoding; s=dkim; bh=J3hH05Cids0R3KBELRAS8cgTv
 fOg0P+Gio0BP163bHo=; b=GvkQEN/9mNW7Y6XQC4NLFDejGDA1mwoQcXwKHFKfM
 wHWZe08liyPCyj2OpYPTFkKLA6coYqyteMn9rwAxuE5xa3gzaf9G53xfOXArtOnZ
 d3gVCesJsHtoVs9KSFlgEaw4AH0D5rSkx5/M4PdCsI15jnVtG6FQMLfYCRaeL0wA
 H9QHDr6A7QdYzSz2brlWKlSzNloFx/OZ75q+8ywJV/Eohdpj/yDyMYLRg4tm7pkF
 57bdplh9hWhRnnK+XsNSZmabMuSDaHY765XQKAej35rkwoLdAqT21k81E79bVrQu
 Vw4aNGZnzz+ph8gLiFmORah29VZqXwZRfag72dqhQ3T6g==
Received: by lepiller.eu (OpenSMTPD) with ESMTPSA id 11ac88f9
 (TLSv1.3:AEAD-AES256-GCM-SHA384:256:NO) for <56080 <at> debbugs.gnu.org>;
 Sun, 19 Jun 2022 07:52:00 +0000 (UTC)
From: Julien Lepiller <julien@HIDDEN>
To: 56080 <at> debbugs.gnu.org
Subject: [PATCH 2/4] gnu: Add ocaml-ppx-bap.
Date: Sun, 19 Jun 2022 09:51:48 +0200
Message-Id: <20220619075150.10754-2-julien@HIDDEN>
X-Mailer: git-send-email 2.36.1
In-Reply-To: <20220619075150.10754-1-julien@HIDDEN>
References: <20220619075150.10754-1-julien@HIDDEN>
MIME-Version: 1.0
Content-Transfer-Encoding: 8bit
X-Spam-Score: -0.0 (/)
X-Debbugs-Envelope-To: 56080
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.0 (-)

* gnu/packages/ocaml.scm (ocaml-ppx-bap): New variable.
---
 gnu/packages/ocaml.scm | 42 ++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 42 insertions(+)

diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index a8f328a266..6e9170e929 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -4013,6 +4013,48 @@ (define-public ocaml-piqi
 XML and Protocol Buffers formats.")
     (license license:asl2.0)))
 
+(define-public ocaml-ppx-bap
+  (package
+    (name "ocaml-ppx-bap")
+    (version "0.14.0")
+    (source (origin
+              (method git-fetch)
+              (uri (git-reference
+                     (url "https://github.com/BinaryAnalysisPlatform/ppx_bap")
+                     (commit (string-append "v" (version-major+minor version)))))
+              (file-name (git-file-name name version))
+              (sha256
+               (base32
+                "1c6rcdp8bicdiwqc2mb59cl9l2vxlp3y8hmnr9x924fq7acly248"))))
+    (build-system dune-build-system)
+    (arguments
+     ;; No tests
+     `(#:tests? #f))
+    (propagated-inputs (list ocaml-base-quickcheck
+                             ocaml-ppx-assert
+                             ocaml-ppx-bench
+                             ocaml-ppx-bin-prot
+                             ocaml-ppx-cold
+                             ocaml-ppx-compare
+                             ocaml-ppx-enumerate
+                             ocaml-ppx-fields-conv
+                             ocaml-ppx-hash
+                             ocaml-ppx-here
+                             ocaml-ppx-optcomp
+                             ocaml-ppx-sexp-conv
+                             ocaml-ppx-sexp-value
+                             ocaml-ppx-variants-conv
+                             ocaml-ppxlib))
+    (properties `((upstream-name . "ppx_bap")))
+    (home-page "https://github.com/BinaryAnalysisPlatform/ppx_bap")
+    (synopsis "The set of ppx rewriters for BAP")
+    (description
+     "@code{ppx_bap} is the set of blessed ppx rewriters used in BAP projects.
+It fills the same role as @code{ppx_base} or @code{ppx_jane} (from which it is
+derived), but doesn't impose any style requirements and has only the minimal
+necessary set of rewriters.")
+    (license license:expat)))
+
 (define-public bap
   (package
     (name "bap")
-- 
2.36.1





Information forwarded to guix-patches@HIDDEN:
bug#56080; Package guix-patches. Full text available.

Message received at 56080 <at> debbugs.gnu.org:


Received: (at 56080) by debbugs.gnu.org; 19 Jun 2022 07:52:07 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Sun Jun 19 03:52:07 2022
Received: from localhost ([127.0.0.1]:50549 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1o2pj5-0002sS-6N
	for submit <at> debbugs.gnu.org; Sun, 19 Jun 2022 03:52:07 -0400
Received: from lepiller.eu ([89.234.186.109]:40980)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <julien@HIDDEN>) id 1o2pj1-0002rr-GE
 for 56080 <at> debbugs.gnu.org; Sun, 19 Jun 2022 03:52:05 -0400
Received: from lepiller.eu (localhost [127.0.0.1])
 by lepiller.eu (OpenSMTPD) with ESMTP id f3384cbc
 for <56080 <at> debbugs.gnu.org>; Sun, 19 Jun 2022 07:52:00 +0000 (UTC)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=lepiller.eu; h=from:to
 :subject:date:message-id:mime-version:content-transfer-encoding;
 s=dkim; bh=QbS4qq1qQJ3lUE5aR1cHTlQi90xzjYTrgrO314Z2eu4=; b=VnLI
 zL6TsMQUbRJoEZ9Y3uAiy7GlNwLDoX4wY5p0O4HLLvd5kkoUrhB3gpeaapqql6IQ
 clhkH4pyN0nAG43teVy7GKiL3BexsNrOBFaG19rtF6FhFR0LMnMQUGQFjSYVjKIT
 ygacVTYGrKP11R7YVBprOIpq1f/PEu3NKDlKYBP0z/Lu/N/GoYsZvacpn4X5/q4p
 l6jB3b3qwXHuQmJt7S2k1TxK4miHHdormBdEO7xRwECJyCnaTiOBxJ8ub6UkeGE+
 40pRAIqtycWMopa3NEeDsNUce1JuA6l73TBgU9tVLObjFeikQaI6liPOjqsNabO3
 U1B/xCcM4hGYinJhmw==
Received: by lepiller.eu (OpenSMTPD) with ESMTPSA id 1bf170cf
 (TLSv1.3:AEAD-AES256-GCM-SHA384:256:NO) for <56080 <at> debbugs.gnu.org>;
 Sun, 19 Jun 2022 07:52:00 +0000 (UTC)
From: Julien Lepiller <julien@HIDDEN>
To: 56080 <at> debbugs.gnu.org
Subject: [PATCH 1/4] gnu: Add ocaml-linenoise.
Date: Sun, 19 Jun 2022 09:51:47 +0200
Message-Id: <20220619075150.10754-1-julien@HIDDEN>
X-Mailer: git-send-email 2.36.1
MIME-Version: 1.0
Content-Transfer-Encoding: 8bit
X-Spam-Score: -0.0 (/)
X-Debbugs-Envelope-To: 56080
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.0 (-)

* gnu/packages/ocaml.scm (ocaml-linenoise): New variable.
---
 gnu/packages/ocaml.scm | 24 ++++++++++++++++++++++++
 1 file changed, 24 insertions(+)

diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index 4569c526ab..a8f328a266 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -1939,6 +1939,30 @@ (define-public ocaml4.07-ppx-tools-versioned
 ocaml-migrate-parsetree")
       (license license:expat))))
 
+(define-public ocaml-linenoise
+  (package
+    (name "ocaml-linenoise")
+    (version "1.3.1")
+    (source (origin
+              (method git-fetch)
+              (uri (git-reference
+                     (url "https://github.com/ocaml-community/ocaml-linenoise")
+                     (commit (string-append "v" version))))
+              (file-name (git-file-name name version))
+              (sha256
+               (base32
+                "0s98695skz1wvrak0rdlh80w3cv6piic1dxqpn9rv1yymbklafg4"))))
+    (build-system dune-build-system)
+    (arguments
+     ;; No tests
+     `(#:tests? #f))
+    (propagated-inputs (list ocaml-result ocaml-odoc))
+    (home-page "https://github.com/ocaml-community/ocaml-linenoise")
+    (synopsis "Lightweight readline alternative")
+    (description "This package is a line-reading library for OCaml that aims
+to replace readline.")
+    (license license:bsd-2)))
+
 (define-public ocaml-bitstring
   (package
     (name "ocaml-bitstring")
-- 
2.36.1





Information forwarded to guix-patches@HIDDEN:
bug#56080; Package guix-patches. Full text available.

Message received at submit <at> debbugs.gnu.org:


Received: (at submit) by debbugs.gnu.org; 19 Jun 2022 07:19:43 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Sun Jun 19 03:19:43 2022
Received: from localhost ([127.0.0.1]:50491 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1o2pDj-00022k-Ik
	for submit <at> debbugs.gnu.org; Sun, 19 Jun 2022 03:19:43 -0400
Received: from lists.gnu.org ([209.51.188.17]:34432)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <julien@HIDDEN>) id 1o2pDg-00022b-4A
 for submit <at> debbugs.gnu.org; Sun, 19 Jun 2022 03:19:42 -0400
Received: from eggs.gnu.org ([2001:470:142:3::10]:35326)
 by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.90_1) (envelope-from <julien@HIDDEN>)
 id 1o2pDf-0002mt-Vb
 for guix-patches@HIDDEN; Sun, 19 Jun 2022 03:19:39 -0400
Received: from lepiller.eu ([89.234.186.109]:38906)
 by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.90_1) (envelope-from <julien@HIDDEN>)
 id 1o2pDc-0002V8-FK
 for guix-patches@HIDDEN; Sun, 19 Jun 2022 03:19:39 -0400
Received: from lepiller.eu (localhost [127.0.0.1])
 by lepiller.eu (OpenSMTPD) with ESMTP id 11e00a51
 for <guix-patches@HIDDEN>; Sun, 19 Jun 2022 07:18:27 +0000 (UTC)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=lepiller.eu; h=date:from
 :to:subject:message-id:mime-version:content-type
 :content-transfer-encoding; s=dkim; bh=XbWP9ctdLiz+31DSKkQL+9S1h
 wgLTBN7Nr6XSkIvkoI=; b=lUH8KsBNyWVSxWUgqLKxATL07R3hBkWVJe201sSbe
 v0bf2tgsklj6G3sxhoj/CikT4H9MQCC0kWGMo9Jn153RtOHB4WSKOrUO4Jv3Vw2y
 LKqVVxKqE0gYCL6UNNKgsAs2+Ea1oa8WaHYOn9qqBQ6RV7R/tProRnw9vyhkwUDm
 /B2r/zhTnVf4XbNDxrq8j7JHVr9nbEjVVJ2tByzzbY3okyb7DdVovaIB04K0GO+8
 FZdw+J2jOziXmkdjooL/xDj8G145GQONnfnB9JbFw6BdJSbXwA+vUEOLssubX/os
 xHQyJb/Z7YMwVpgxy34Gsru8djK3SDS7+5L1W9zqoSZHw==
Received: by lepiller.eu (OpenSMTPD) with ESMTPSA id d2267855
 (TLSv1.3:AEAD-AES256-GCM-SHA384:256:NO) for <guix-patches@HIDDEN>;
 Sun, 19 Jun 2022 07:18:26 +0000 (UTC)
Date: Sun, 19 Jun 2022 09:18:24 +0200
From: Julien Lepiller <julien@HIDDEN>
To: guix-patches@HIDDEN
Subject: [PATCH]: gnu: bap: Update to 2.5.0-alpha.
Message-ID: <20220619091824.15586c91@HIDDEN>
X-Mailer: Claws Mail 4.0.0 (GTK+ 3.24.30; x86_64-pc-linux-gnu)
MIME-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Received-SPF: pass client-ip=89.234.186.109; envelope-from=julien@HIDDEN;
 helo=lepiller.eu
X-Spam_score_int: -20
X-Spam_score: -2.1
X-Spam_bar: --
X-Spam_report: (-2.1 / 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, SPF_HELO_PASS=-0.001,
 SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no
X-Spam_action: no action
X-Spam-Score: -1.3 (-)
X-Debbugs-Envelope-To: submit
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -2.3 (--)

Hi Guix!

This small patch series finally updates bap to a version that can use
the latest OCaml compiler. After we merge that, we will be able to
remove most ocaml-4.07 packages :)




Acknowledgement sent to Julien Lepiller <julien@HIDDEN>:
New bug report received and forwarded. Copy sent to guix-patches@HIDDEN. Full text available.
Report forwarded to guix-patches@HIDDEN:
bug#56080; Package guix-patches. Full text available.
Please note: This is a static page, with minimal formatting, updated once a day.
Click here to see this page with the latest information and nicer formatting.
Last modified: Tue, 28 Jun 2022 17:45:02 UTC

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997 nCipher Corporation Ltd, 1994-97 Ian Jackson.