From unknown Fri Jun 20 07:13:32 2025 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Mailer: MIME-tools 5.509 (Entity 5.509) Content-Type: text/plain; charset=utf-8 From: bug#56080 <56080@debbugs.gnu.org> To: bug#56080 <56080@debbugs.gnu.org> Subject: Status: [PATCH]: gnu: bap: Update to 2.5.0-alpha. Reply-To: bug#56080 <56080@debbugs.gnu.org> Date: Fri, 20 Jun 2025 14:13:32 +0000 retitle 56080 [PATCH]: gnu: bap: Update to 2.5.0-alpha. reassign 56080 guix-patches submitter 56080 Julien Lepiller severity 56080 normal tag 56080 patch thanks From debbugs-submit-bounces@debbugs.gnu.org Sun Jun 19 03:19:43 2022 Received: (at submit) by debbugs.gnu.org; 19 Jun 2022 07:19:43 +0000 Received: from localhost ([127.0.0.1]:50491 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o2pDj-00022k-Ik for submit@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 ) id 1o2pDg-00022b-4A for submit@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 ) id 1o2pDf-0002mt-Vb for guix-patches@gnu.org; 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 ) id 1o2pDc-0002V8-FK for guix-patches@gnu.org; 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 ; 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 ; Sun, 19 Jun 2022 07:18:26 +0000 (UTC) Date: Sun, 19 Jun 2022 09:18:24 +0200 From: Julien Lepiller To: guix-patches@gnu.org Subject: [PATCH]: gnu: bap: Update to 2.5.0-alpha. Message-ID: <20220619091824.15586c91@sybil.lepiller.eu> 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@lepiller.eu; 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@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 (--) 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 :) From debbugs-submit-bounces@debbugs.gnu.org Sun Jun 19 03:52:07 2022 Received: (at 56080) by debbugs.gnu.org; 19 Jun 2022 07:52:07 +0000 Received: from localhost ([127.0.0.1]:50549 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o2pj5-0002sS-6N for submit@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 ) id 1o2pj1-0002rr-GE for 56080@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@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@debbugs.gnu.org>; Sun, 19 Jun 2022 07:52:00 +0000 (UTC) From: Julien Lepiller To: 56080@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@lepiller.eu> 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@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 (-) * 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 From debbugs-submit-bounces@debbugs.gnu.org Sun Jun 19 03:52:08 2022 Received: (at 56080) by debbugs.gnu.org; 19 Jun 2022 07:52:08 +0000 Received: from localhost ([127.0.0.1]:50552 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o2pj5-0002sf-LW for submit@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 ) id 1o2pj3-0002sF-S7 for 56080@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@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@debbugs.gnu.org>; Sun, 19 Jun 2022 07:52:00 +0000 (UTC) From: Julien Lepiller To: 56080@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@lepiller.eu> X-Mailer: git-send-email 2.36.1 In-Reply-To: <20220619075150.10754-1-julien@lepiller.eu> References: <20220619075150.10754-1-julien@lepiller.eu> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 56080 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 (-) * 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 From debbugs-submit-bounces@debbugs.gnu.org Sun Jun 19 03:52:12 2022 Received: (at 56080) by debbugs.gnu.org; 19 Jun 2022 07:52:12 +0000 Received: from localhost ([127.0.0.1]:50554 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o2pjA-0002sw-0K for submit@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 ) id 1o2pj4-0002sF-Iu for 56080@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@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@debbugs.gnu.org>; Sun, 19 Jun 2022 07:52:00 +0000 (UTC) From: Julien Lepiller To: 56080@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@lepiller.eu> X-Mailer: git-send-email 2.36.1 In-Reply-To: <20220619075150.10754-1-julien@lepiller.eu> References: <20220619075150.10754-1-julien@lepiller.eu> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 56080 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 (-) * 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 From debbugs-submit-bounces@debbugs.gnu.org Sun Jun 19 03:52:12 2022 Received: (at 56080) by debbugs.gnu.org; 19 Jun 2022 07:52:12 +0000 Received: from localhost ([127.0.0.1]:50556 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o2pjA-0002sy-Bc for submit@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 ) id 1o2pj3-0002rr-Vo for 56080@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@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@debbugs.gnu.org>; Sun, 19 Jun 2022 07:52:00 +0000 (UTC) From: Julien Lepiller To: 56080@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@lepiller.eu> X-Mailer: git-send-email 2.36.1 In-Reply-To: <20220619075150.10754-1-julien@lepiller.eu> References: <20220619075150.10754-1-julien@lepiller.eu> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 56080 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 (-) * 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 From debbugs-submit-bounces@debbugs.gnu.org Wed Jun 22 16:50:21 2022 Received: (at 56080) by debbugs.gnu.org; 22 Jun 2022 20:50:21 +0000 Received: from localhost ([127.0.0.1]:36727 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o47Iq-0000Bm-RW for submit@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 ) id 1o47Ip-0000BY-33 for 56080@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 ) 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 ) id 1o47Ih-0004t1-BB; Wed, 22 Jun 2022 16:50:13 -0400 From: =?utf-8?Q?Ludovic_Court=C3=A8s?= To: Julien Lepiller Subject: Re: bug#56080: [PATCH]: gnu: bap: Update to 2.5.0-alpha. References: <20220619091824.15586c91@sybil.lepiller.eu> Date: Wed, 22 Jun 2022 22:50:09 +0200 In-Reply-To: <20220619091824.15586c91@sybil.lepiller.eu> (Julien Lepiller's message of "Sun, 19 Jun 2022 09:18:24 +0200") Message-ID: <87r13g1kzi.fsf@gnu.org> 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@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 (---) Howdy, Julien Lepiller 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. From debbugs-submit-bounces@debbugs.gnu.org Tue Jun 28 13:37:58 2022 Received: (at 56080-done) by debbugs.gnu.org; 28 Jun 2022 17:37:58 +0000 Received: from localhost ([127.0.0.1]:56263 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o6F9x-0004nh-SN for submit@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 ) id 1o6F9t-0004nU-83 for 56080-done@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 To: Ludovic =?UTF-8?B?Q291cnTDqHM=?= Subject: Re: bug#56080: [PATCH]: gnu: bap: Update to 2.5.0-alpha. Message-ID: <20220628193743.64a51781@sybil.lepiller.eu> In-Reply-To: <87r13g1kzi.fsf@gnu.org> References: <20220619091824.15586c91@sybil.lepiller.eu> <87r13g1kzi.fsf@gnu.org> 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@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: -1.0 (-) Thanks, pushed to master as 404df667e3b06f1e9a416c956e53c03ca3642140. Le Wed, 22 Jun 2022 22:50:09 +0200, Ludovic Court=C3=A8s a =C3=A9crit : > Howdy, >=20 > Julien Lepiller 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. From unknown Fri Jun 20 07:13:32 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Wed, 27 Jul 2022 11:24:12 +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