From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp2 ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms0.migadu.com with LMTPS id WM+qMshr0GD+vQAAgWs5BA (envelope-from ) for ; Mon, 21 Jun 2021 12:36:56 +0200 Received: from aspmx1.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp2 with LMTPS id oKN0Lshr0GCgIgAAB5/wlQ (envelope-from ) for ; Mon, 21 Jun 2021 10:36:56 +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 651341DB0C for ; Mon, 21 Jun 2021 12:36:56 +0200 (CEST) Received: from localhost ([::1]:52686 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1lvHIV-0004oq-2d for larch@yhetil.org; Mon, 21 Jun 2021 06:36:55 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:36198) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lvGkk-00041a-JE for guix-patches@gnu.org; Mon, 21 Jun 2021 06:02:02 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:52165) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1lvGkk-0000Gr-6J for guix-patches@gnu.org; Mon, 21 Jun 2021 06:02:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1lvGkk-0003sb-5B for guix-patches@gnu.org; Mon, 21 Jun 2021 06:02:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#49150] [PATCH 1/9] gnu: ocaml-bisect-ppx: Update to 2.6.1. Resent-From: Xinglu Chen Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 21 Jun 2021 10:02:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 49150 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 49150@debbugs.gnu.org Received: via spool by 49150-submit@debbugs.gnu.org id=B49150.162426971814882 (code B ref 49150); Mon, 21 Jun 2021 10:02:02 +0000 Received: (at 49150) by debbugs.gnu.org; 21 Jun 2021 10:01:58 +0000 Received: from localhost ([127.0.0.1]:35473 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lvGkf-0003rx-Vm for submit@debbugs.gnu.org; Mon, 21 Jun 2021 06:01:58 -0400 Received: from h87-96-130-155.cust.a3fiber.se ([87.96.130.155]:46600 helo=mail.yoctocell.xyz) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lvGke-0003re-Fk for 49150@debbugs.gnu.org; Mon, 21 Jun 2021 06:01:57 -0400 From: Xinglu Chen DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=yoctocell.xyz; s=mail; t=1624269710; bh=KtE1045PuORXO+OQa94IdccaGBZWCpVFnEy4iIMaMgI=; h=From:To:Subject:In-Reply-To:References:Date; b=X5SR1se+UqsAzPsmn9bQlAMQ08UiYC58EBnKjI7ID/gGK2rEcQj3YsNKeLtNjYXBR 7tNUpUL84q0J/wxNzAgtDbkG+2FZSnm4iwNOBhxOwi8LqJf3KyviVgifpxWQ6lxwpm 9WCn1KbLMRrACHX8kA/NSyYzi7zvnMEkG8vJ4AJ8= In-Reply-To: References: Message-Id: <9891d2ecdc14077d5d808259c2e6658780d55c5f.1624269361.git.public@yoctocell.xyz> Date: Mon, 21 Jun 2021 12:01:49 +0200 MIME-Version: 1.0 Content-Type: text/plain X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list 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-Migadu-Flow: FLOW_IN ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1624271816; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:mime-version:mime-version: content-type:content-type:resent-cc:resent-from:resent-sender: resent-message-id:in-reply-to:in-reply-to:references:references: list-id:list-help:list-unsubscribe:list-subscribe:list-post: dkim-signature; bh=kDsILwsnzgFPZbCrcnr8kuPzREuJ+21JE5QFo9ejcjA=; b=MRuJ63A3f0EdYL2yE3va1Zul3C0RQNRzr4sHoEVZpsUcEOYn6dCkUOZStCJObELUgDe9Fj qAjrGyZk1bj6/U1LwOIXMcrjbzus+cS5t9jKrx402KCZ+3NljnwyL3H3i5jt9+gd/zhrwt Y3q/B6h23eNq6rGQxEQ59K9ca4o7PNAJ3Y0GC/IeJ/Ne511TTJ/H/j3XPef9pV/FbBvjn5 jTd+5s1FtWGrtslKx1Dgvqrw3yjO/H6xLeowk7qrVvRSCIYBJpdxzoDMuq0aMzFAGbdHD6 AIIfJxpvlWKaWGfPl+dmKtnIZvkDyG9Ze+kBsx3qQgHOLLPsfUWlKwSSr/KlVg== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1624271816; a=rsa-sha256; cv=none; b=bqXKIk/a38/D1EabTfaE7U8zofhWK9qkR2VFwRsX/ciuUBkFdcDqDVNJrcrBa61gFJgIw5 qHFlN8Hh+K/AnRexNR7L/R9Q00pOvEa/2V5KOSoSPgUVgRTrELzE7xhETMOVGGiGPVqyUh CgYJPVY6BHeRVXNU26QA7MhXRzO6nLHpjv0SJr6TysekURj7hNxq354JEHWK8SzLRtWCSL r/jaCyzCFJr6mGjPrj5Rp76MhYNorfEUsHrJmhSqJopLNpLunzs8UYIl0h5VpQohoTQ73U OzyVZyUAHyvWwHYGSoN3bfdrtLgIO79pnAcSFSDycl05KUi7uTfDN6Gm1bHwEw== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=yoctocell.xyz header.s=mail header.b=X5SR1se+; dmarc=fail reason="SPF not aligned (relaxed)" header.from=yoctocell.xyz (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-Migadu-Spam-Score: -0.32 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=yoctocell.xyz header.s=mail header.b=X5SR1se+; dmarc=fail reason="SPF not aligned (relaxed)" header.from=yoctocell.xyz (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-Migadu-Queue-Id: 651341DB0C X-Spam-Score: -0.32 X-Migadu-Scanner: scn1.migadu.com X-TUID: RZl11Lg1Kpcd * gnu/packages/ocaml.scm (ocaml-bisect-ppx): Update to 2.6.1. [propagated-inputs]: Adjust accordingly. [arguments]: Remove unnecessary phase; disable tests. --- gnu/packages/ocaml.scm | 22 ++++++---------------- 1 file changed, 6 insertions(+), 16 deletions(-) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 21d16a46a1..cccbd45dc4 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -6513,7 +6513,7 @@ combinators.") (define-public ocaml-bisect-ppx (package (name "ocaml-bisect-ppx") - (version "1.4.2") + (version "2.6.1") (source (origin (method git-fetch) @@ -6523,24 +6523,14 @@ combinators.") (file-name (git-file-name name version)) (sha256 (base32 - "0900vli5kw7s5kdam0n4cqsfsfqb7mdb3azn3i55595gilg1vyn8")))) + "1knglw1b2kjr9jnd8cpfzmm581abxxdcx9l3cd2balg6gnac7qk1")))) (build-system dune-build-system) (propagated-inputs - `(("ocaml-migrate-parsetree" ,ocaml-migrate-parsetree-1) - ("ocaml-ppx-tools-versioned" ,ocaml-ppx-tools-versioned) - ("ocaml-ounit" ,ocaml-ounit))) + `(("ocaml-ppxlib" ,ocaml-ppxlib) + ("ocaml-cmdliner" ,ocaml-cmdliner))) (arguments - `(#:phases - (modify-phases %standard-phases - (add-before 'build 'fix-deprecated - (lambda _ - ;; Fixed upstream in 22dd1ad9a0c9629f60599c22d82c6488394d6d32, but - ;; not in a release yet. - (substitute* "src/ppx/instrument.ml" - (("module Ast = Ast_405") - "module Ast = Migrate_parsetree.Ast_405 -module Ast_405 = Ast")) - #t))))) + ;; Tests require ocamlformat which would lead to circular dependencies + '(#:tests? #f)) (home-page "https://github.com/aantron/bisect_ppx") (synopsis "Code coverage for OCaml") (description "Bisect_ppx helps you test thoroughly. It is a small -- 2.32.0