From patchwork Fri Sep 2 01:44:09 2022 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Patchwork-Submitter: Garek Dyszel X-Patchwork-Id: 42145 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id 4161427BBE9; Fri, 2 Sep 2022 12:56:48 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.7 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,SPF_HELO_PASS,URIBL_BLOCKED autolearn=unavailable autolearn_force=no version=3.4.6 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id CD8DB27BBEA for ; Fri, 2 Sep 2022 12:56:46 +0100 (BST) Received: from localhost ([::1]:40344 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1oU5Hx-0007bQ-WB for patchwork@mira.cbaines.net; Fri, 02 Sep 2022 07:56:46 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:59732) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1oU1NK-0004bX-Sr for guix-patches@gnu.org; Fri, 02 Sep 2022 03:46:03 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:54983) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1oU1NK-0007Bf-G7 for guix-patches@gnu.org; Fri, 02 Sep 2022 03:46:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1oU1NJ-0000OU-VT for guix-patches@gnu.org; Fri, 02 Sep 2022 03:46:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#57540] [PATCH] Add ocaml-elpi (a dependency of coq-mathcomp-analysis) Resent-From: Garek Dyszel Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Fri, 02 Sep 2022 07:46:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 57540 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 57540@debbugs.gnu.org X-Debbugs-Original-To: guix-patches@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.16621047481480 (code B ref -1); Fri, 02 Sep 2022 07:46:01 +0000 Received: (at submit) by debbugs.gnu.org; 2 Sep 2022 07:45:48 +0000 Received: from localhost ([127.0.0.1]:44732 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oU1N5-0000Nm-3t for submit@debbugs.gnu.org; Fri, 02 Sep 2022 03:45:47 -0400 Received: from lists.gnu.org ([209.51.188.17]:41928) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oTvjG-0007sr-Og for submit@debbugs.gnu.org; Thu, 01 Sep 2022 21:44:19 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:53006) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1oTvjG-00070R-9d for guix-patches@gnu.org; Thu, 01 Sep 2022 21:44:18 -0400 Received: from knopi.disroot.org ([178.21.23.139]:60448) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1oTvjD-0006Z0-O8 for guix-patches@gnu.org; Thu, 01 Sep 2022 21:44:17 -0400 Received: from localhost (localhost [127.0.0.1]) by disroot.org (Postfix) with ESMTP id 7C4B5400BC for ; Fri, 2 Sep 2022 03:44:11 +0200 (CEST) X-Virus-Scanned: SPAM Filter at disroot.org Received: from knopi.disroot.org ([127.0.0.1]) by localhost (disroot.org [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id CdVu1qa7V649 for ; Fri, 2 Sep 2022 03:44:10 +0200 (CEST) Mime-Version: 1.0 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=disroot.org; s=mail; t=1662083050; bh=YwI38aXsDNkkIqbBSarHFVS5YPZZVoaoZ935ISWILxA=; h=Date:From:To:Subject; b=H+LoIhOJhftOAhsd8lPo7i/QsvFAAR2zQugFnNCC8XXsZn21hs29yn/3B3US+1rxm B+qWxUolVOKVviwai0WIP62vVG9GM2bx8vsMx9TOFBxuvUpQKkTEBai6ZAiQtTMeOU qP9gLc95ejB0ozd1mxzN/AD29woX26qL7WlGII8WEB1jaWLlJe3XIJnsU2ilu0fnW6 kjnjTnICqfblU9ipu3AMEoDdJI0ZhK4mxu4VTx7SMMzeCwah/dnGJUha0joWTtuQlj nPOjuXeoiONhg4P9hGESnW2JoUCrpsIp2hr6AjaywMwTf8Zv5qD7xSrun6xIbZZwv7 2DIbVjoikwqGw== Date: Thu, 01 Sep 2022 21:44:09 -0400 Message-ID: <79d544f7d8ba64b631a6f0f1d2ef0b08@disroot.org> X-Sender: garekdyszel@disroot.org Received-SPF: pass client-ip=178.21.23.139; envelope-from=garekdyszel@disroot.org; helo=knopi.disroot.org 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_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no X-Spam_action: no action X-Mailman-Approved-At: Fri, 02 Sep 2022 03:45:45 -0400 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-Mailman-Approved-At: Fri, 02 Sep 2022 07:54:54 -0400 X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" Reply-to: Garek Dyszel X-ACL-Warn: , Garek Dyszel via Guix-patches X-Patchwork-Original-From: Garek Dyszel via Guix-patches via From: Garek Dyszel X-getmail-retrieved-from-mailbox: Patches * gnu/packages/ocaml.scm (ocaml-elpi) --- gnu/packages/ocaml.scm | 102 +++++++++++++++++++++++++++++++++++++++++ 1 file changed, 102 insertions(+) + diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 0e8e5b2..59f324e 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -26,6 +26,7 @@ ;;; Copyright © 2021 Sarah Morgensen ;;; Copyright © 2022 Maxim Cournoyer ;;; Copyright © 2022 John Kehayias +;;; Copyright © 2022 Garek Dyszel ;;; ;;; This file is part of GNU Guix. ;;; @@ -8741,3 +8742,104 @@ (define-public ocaml-bibtex2html (description "This package allows you to produce, from a set of bibliography files in BibTeX format, a bibliography in HTML format.") (license license:gpl2))) + +(define-public ocaml-elpi + (package + (name "ocaml-elpi") + ;; For more information on which version works with Coq 8.15, + ;; see the relevant issue: + ;; https://github.com/math-comp/hierarchy-builder/issues/297 + ;; Here we use + ;; coq-elpi 1.14.0 + ocaml-elpi 1.15.2 + + ;; coq-mathcomp-hierarchy-builder 1.3.0 (Coq 8.15) + ;; + ;; The package ocaml-elpi@1.16.5 appears to require a different + ;; build process. + (version "1.15.2") + (source (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/LPCIC/elpi") + (commit (string-append "v" version)) + (recursive? #t))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "0swzqabwrxqb6sz8zpild2lfcnk3l0zxi9fw61dy2g1pzws2j2jy")))) + (build-system dune-build-system) + (arguments + `(;; When running phase 'check', fails with the error: + ;; Error: Don't know about directory test specified on the + ;; command line! + ;; + ;; The "make tests" command requires replacing /usr/bin/time + ;; with the location of the input package "time". + #:tests? #f)) + (propagated-inputs (list ocaml-stdlib-shims + ocaml-ppxlib + ocaml-menhir + ocaml-re + ocaml-ppx-deriving + ocaml-atdgen + ocaml-atdts + ocaml-camlp-streams + ocaml-biniou + ocaml-yojson)) + (native-inputs (list ocaml-ansiterminal ocaml-cmdliner time)) + (home-page "https://github.com/LPCIC/elpi") + (synopsis "ELPI - Embeddable λProlog Interpreter") + (description + "ELPI implements a variant of λProlog enriched with Constraint +Handling Rules, a programming language well suited to manipulate +syntax trees with binders. + +ELPI is designed to be embedded into larger applications written in +OCaml as an extension language. It comes with an API to drive the +interpreter and with an FFI for defining built-in predicates and data +types, as well as quotations and similar goodies that are handy to +adapt the language to the host application. + +This package provides both a command line interpreter (elpi) and a +library to be linked in other applications (eg by passing -package +elpi to ocamlfind). + +The ELPI programming language has the following features: + +- Native support for variable binding and substitution, via an Higher +Order Abstract Syntax (HOAS) embedding of the object language. The +programmer does not need to care about technical devices to handle +bound variables, like De Bruijn indices. + +- Native support for hypothetical context. When moving under a binder +one can attach to the bound variable extra information that is +collected when the variable gets out of scope. For example when +writing a type-checker the programmer needs not to care about managing +the typing context. + +- Native support for higher order unification variables, again via +HOAS. Unification variables of the meta-language (λProlog) can be +reused to represent the unification variables of the object language. +The programmer does not need to care about the unification-variable +assignment map and cannot assign to a unification variable a term +containing variables out of scope, or build a circular assignment. + +- Native support for syntactic constraints and their meta-level +handling rules. The generative semantics of Prolog can be disabled by +turning a goal into a syntactic constraint (suspended goal). A +syntactic constraint is resumed as soon as relevant variables gets +assigned. Syntactic constraints can be manipulated by constraint +handling rules (CHR). + +- Native support for backtracking. To ease implementation of search. + +- The constraint store is extensible. The host application can declare +non-syntactic constraints and use custom constraint solvers to check +their consistency. + +- Clauses are graftable. The user is free to extend an existing +program by inserting/removing clauses, both at runtime (using +implication) and at \"compilation\" time by accumulating files. + +ELPI is free software released under the terms of LGPL 2.1 or above.") + (license license:lgpl2.1))) From patchwork Fri Sep 2 15:22:03 2022 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Garek Dyszel X-Patchwork-Id: 42149 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id 25ECC27BBEA; Fri, 2 Sep 2022 16:29:01 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.7 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,SPF_HELO_PASS,URIBL_BLOCKED autolearn=unavailable autolearn_force=no version=3.4.6 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id D5FA527BBE9 for ; Fri, 2 Sep 2022 16:29:00 +0100 (BST) Received: from localhost ([::1]:49384 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1oU8bM-0003Lx-2Y for patchwork@mira.cbaines.net; Fri, 02 Sep 2022 11:29:00 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:53576) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1oU8ZT-0000Yg-Bd for guix-patches@gnu.org; Fri, 02 Sep 2022 11:27:04 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:57717) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1oU8ZS-0006xp-FD for guix-patches@gnu.org; Fri, 02 Sep 2022 11:27:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1oU8ZS-00080J-Ai for guix-patches@gnu.org; Fri, 02 Sep 2022 11:27:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#57540] [PATCH 2/6] gnu: Add ocaml-ansiterminal. References: <79d544f7d8ba64b631a6f0f1d2ef0b08@disroot.org> In-Reply-To: <79d544f7d8ba64b631a6f0f1d2ef0b08@disroot.org> Resent-From: Garek Dyszel Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Fri, 02 Sep 2022 15:27:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 57540 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 57540@debbugs.gnu.org Received: via spool by 57540-submit@debbugs.gnu.org id=B57540.166213237530712 (code B ref 57540); Fri, 02 Sep 2022 15:27:02 +0000 Received: (at 57540) by debbugs.gnu.org; 2 Sep 2022 15:26:15 +0000 Received: from localhost ([127.0.0.1]:47466 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oU8Yh-0007zI-Dp for submit@debbugs.gnu.org; Fri, 02 Sep 2022 11:26:15 -0400 Received: from knopi.disroot.org ([178.21.23.139]:53302) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oU8Yf-0007z9-Sg for 57540@debbugs.gnu.org; Fri, 02 Sep 2022 11:26:14 -0400 Received: from localhost (localhost [127.0.0.1]) by disroot.org (Postfix) with ESMTP id 3ADF94A034 for <57540@debbugs.gnu.org>; Fri, 2 Sep 2022 17:26:13 +0200 (CEST) X-Virus-Scanned: SPAM Filter at disroot.org Received: from knopi.disroot.org ([127.0.0.1]) by localhost (disroot.org [127.0.0.1]) (amavisd-new, port 10024) with UTF8SMTP id PLVtr_3yA-2I for <57540@debbugs.gnu.org>; Fri, 2 Sep 2022 17:26:11 +0200 (CEST) Mime-Version: 1.0 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=disroot.org; s=mail; t=1662132123; bh=9gXcLFsmbbrJHOZiMRQPAjFQfPnORXE80LTa6Yd+CEg=; h=Date:From:To:Subject; b=I7Clv87kcPOU+MMXv19C1PuSj018Uq4a90tYOvr13nxpgN43L8G1LSxY586GvKJMq ftFV+yvW1wb/Ses8dSOO+9khWDeA66yhFLgi4JJMA/8gIekN4J39G5WZFHJ9OruRTH yEnu9FvgK58XYyMvwpGq3rVs+wXiQgUuZrQ2Uq+eCivl/zOmVDwbjSg+j1K5P3GZ5W b1JlgyLw5KfKT332fBhohr5tUyuSnu4Mu8bD5Y2X+0OLEt2WJSPFBZtKoVGKfGab9b Zm3rBEmfxXJQ2dVHQhBF9RdGYNLw2KKwKhbIKvxTBaKpQ/unDS3ee2e6RDYfDzdVm4 9ZBsChjNB/nTQ== Date: Fri, 02 Sep 2022 11:22:03 -0400 Message-ID: X-Sender: garekdyszel@disroot.org 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+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" Reply-to: Garek Dyszel X-ACL-Warn: , Garek Dyszel via Guix-patches X-Patchwork-Original-From: Garek Dyszel via Guix-patches via From: Garek Dyszel X-getmail-retrieved-from-mailbox: Patches * gnu/packages/ocaml.scm (ocaml-ansiterminal) --- gnu/packages/ocaml.scm | 31 +++++++++++++++++++++++++++++++ 1 file changed, 31 insertions(+) + (license (license:non-copyleft "LICENSE")))) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index c8ffef5..43c19c0 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -8878,3 +8878,34 @@ (define-public ocaml-atd good fit with a variety of data formats.") ;; Modified BSD license (license (license:non-copyleft "LICENSE.md")))) + +(define-public ocaml-ansiterminal + (package + (name "ocaml-ansiterminal") + (version "0.8.5") + (source (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/Chris00/ANSITerminal") + (commit version) + (recursive? #t))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "052qnc23vmxp90yympjz9q6lhqw98gs1yvb3r15kcbi1j678l51h")))) + (build-system dune-build-system) + (arguments + `( ;Error: Don't know about directory test specified on the + ;; command line! + #:tests? #f)) + (home-page "https://github.com/Chris00/ANSITerminal") + (synopsis + "Basic control of ANSI compliant terminals and the windows shell") + (description + "ANSITerminal is a module allowing to use the colors and cursor +movements on ANSI terminals.") + ;; Variant of the GPL3 which permits + ;; static and dynamic linking when producing binary files. + ;; In other words, it allows one to link to the library + ;; when compiling nonfree software. From patchwork Fri Sep 2 15:23:02 2022 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Patchwork-Submitter: Garek Dyszel X-Patchwork-Id: 42148 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id 0DFD627BBEA; Fri, 2 Sep 2022 16:28:13 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.7 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,SPF_HELO_PASS,URIBL_BLOCKED autolearn=unavailable autolearn_force=no version=3.4.6 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id 7B18F27BBE9 for ; Fri, 2 Sep 2022 16:28:12 +0100 (BST) Received: from localhost ([::1]:45652 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1oU8aZ-0001wz-Ll for patchwork@mira.cbaines.net; Fri, 02 Sep 2022 11:28:11 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:46330) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1oU8aQ-0001sT-1X for guix-patches@gnu.org; Fri, 02 Sep 2022 11:28:02 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:57725) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1oU8aP-00079n-OY for guix-patches@gnu.org; Fri, 02 Sep 2022 11:28:01 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1oU8aP-00082c-KO for guix-patches@gnu.org; Fri, 02 Sep 2022 11:28:01 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#57540] [PATCH 3/6] gnu: Add coq-elpi. References: <79d544f7d8ba64b631a6f0f1d2ef0b08@disroot.org> In-Reply-To: <79d544f7d8ba64b631a6f0f1d2ef0b08@disroot.org> Resent-From: Garek Dyszel Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Fri, 02 Sep 2022 15:28:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 57540 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 57540@debbugs.gnu.org Received: via spool by 57540-submit@debbugs.gnu.org id=B57540.166213242630802 (code B ref 57540); Fri, 02 Sep 2022 15:28:01 +0000 Received: (at 57540) by debbugs.gnu.org; 2 Sep 2022 15:27:06 +0000 Received: from localhost ([127.0.0.1]:47470 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oU8ZV-00080k-RA for submit@debbugs.gnu.org; Fri, 02 Sep 2022 11:27:06 -0400 Received: from knopi.disroot.org ([178.21.23.139]:38318) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oU8ZT-00080b-TM for 57540@debbugs.gnu.org; Fri, 02 Sep 2022 11:27:04 -0400 Received: from localhost (localhost [127.0.0.1]) by disroot.org (Postfix) with ESMTP id 41F324A034 for <57540@debbugs.gnu.org>; Fri, 2 Sep 2022 17:27:03 +0200 (CEST) X-Virus-Scanned: SPAM Filter at disroot.org Received: from knopi.disroot.org ([127.0.0.1]) by localhost (disroot.org [127.0.0.1]) (amavisd-new, port 10024) with UTF8SMTP id Rl_crPi7tJ6y for <57540@debbugs.gnu.org>; Fri, 2 Sep 2022 17:27:01 +0200 (CEST) Mime-Version: 1.0 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=disroot.org; s=mail; t=1662132183; bh=xLsE0++1plJqBOMf1U9BiTQLH7JqPn6HbYfGMquD+js=; h=Date:From:To:Subject; b=khPyUt/ZvYkIvuYp4J/4AgchBnJ5EHuurfgGK4oTss9IIF5ThGbJOOq6CYLkxGlbs BbWIn0nh0wQNSiSPeL6wvBApRiPpirNsO4QJEo+yzLqSWMlcbKFBwXP20NOdKdE5LA jPnfclY9zJhJ6zXp0vUgmEfme7hSosw0sZ2TYJN99zyn6TQy0hxFEyy5Tx1QmsCYDs rtrTCxImLRJA7nr4+BeTuSZzgQp3PQCUG9xan4stIRgmThyWTs+gSkz/20J3QA61QS TuWxgwMuRTtlhkMRIjLAmlKgS7McxGDwoo6iHFvUUkD2l5QMirJNzE6f/WsKW/onkp antAomnzuhrJA== Date: Fri, 02 Sep 2022 11:23:02 -0400 Message-ID: <3f2ba54de977b831ef53b6903ccf931f@disroot.org> X-Sender: garekdyszel@disroot.org 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+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" Reply-to: Garek Dyszel X-ACL-Warn: , Garek Dyszel via Guix-patches X-Patchwork-Original-From: Garek Dyszel via Guix-patches via From: Garek Dyszel X-getmail-retrieved-from-mailbox: Patches * gnu/packages/coq.scm (coq-elpi) --- gnu/packages/coq.scm | 74 ++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 74 insertions(+) +`{{nat}}` is expanded to the type name of natural numbers, or `{{A -> +B}}` to the representation of a product by unfolding the `->` +notation. Finally it provides a way to define new vernacular commands +and new tactics.") + (license license:lgpl2.1))) diff --git a/gnu/packages/coq.scm b/gnu/packages/coq.scm index bbb34df..5a37432 100644 --- a/gnu/packages/coq.scm +++ b/gnu/packages/coq.scm @@ -685,3 +685,77 @@ (define-public coq-stdpp @end itemize") (home-page "https://gitlab.mpi-sws.org/iris/stdpp") (license license:bsd-3))) + +(define-public coq-elpi + (package + (name "coq-elpi") + ;; For more information on which version works with Coq 8.15, + ;; see the relevant issue: + ;; https://github.com/math-comp/hierarchy-builder/issues/297 + ;; Here we use + ;; coq-elpi 1.14.0 + ocaml-elpi 1.15.2 + + ;; coq-mathcomp-hierarchy-builder 1.3.0 (Coq 8.15) + (version "1.14.0") + (source (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/LPCIC/coq-elpi") + (commit (string-append "v" version)) + (recursive? #t))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "1v2p5dlpviwzky2i14cj7gcgf8cr0j54bdm9fl5iz1ckx60j6nvp")))) + (build-system gnu-build-system) + (arguments + `(#:make-flags ,#~(list (string-append "COQBIN=" + #$(this-package-input "coq-core") + "/bin/") + (string-append "ELPIDIR=" + #$(this-package-input "ocaml-elpi") + "/lib/ocaml/site-lib/elpi") + (string-append "COQMF_COQLIB=" + (assoc-ref %outputs "out") + "/lib/ocaml/site-lib/coq") + (string-append "COQLIBINSTALL=" + (assoc-ref %outputs "out") + "/lib/coq/user-contrib")) + + #:phases (modify-phases %standard-phases + (delete 'configure) + (add-before 'build 'remove-extra-src-file + (lambda* (#:key outputs #:allow-other-keys) + ;; Remove the useless line + ;; "src/META.coq-elpi" + ;; in file _CoqProject. + ;; It does not affect + ;; the success of compliation. + (invoke "sed" "-i" "s|src/META.coq-elpi||g" + "_CoqProject") + #t)) + (replace 'check + (lambda* (#:key tests? make-flags #:allow-other-keys) + (when tests? + (apply invoke "make" "test" make-flags))))))) + (inputs (list python)) + (propagated-inputs (list ocaml + ocaml-stdlib-shims + ocaml-elpi-1.15 + ocaml-zarith + coq-core + coq-stdlib)) + (home-page "https://github.com/LPCIC/coq-elpi") + (synopsis "Elpi extension language for Coq") + (description + "Coq-elpi provides a Coq plugin that embeds ELPI. It also provides +a way to embed Coq's terms into λProlog using the Higher-Order +Abstract Syntax approach and a way to read terms back. In addition to +that it exports to ELPI a set of Coq's primitives, e.g. printing a +message, accessing the environment of theorems and data types, +defining a new constant and so on. For convenience it also provides a +quotation and anti-quotation for Coq's syntax in λProlog. E.g. From patchwork Fri Sep 2 15:24:04 2022 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Garek Dyszel X-Patchwork-Id: 42152 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id 71FE127BBEA; Fri, 2 Sep 2022 16:31:49 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.7 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,SPF_HELO_PASS,URIBL_BLOCKED autolearn=ham autolearn_force=no version=3.4.6 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id BFE9427BBE9 for ; Fri, 2 Sep 2022 16:31:48 +0100 (BST) Received: from localhost ([::1]:43222 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1oU8e3-0005uv-U4 for patchwork@mira.cbaines.net; Fri, 02 Sep 2022 11:31:47 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:46332) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1oU8aQ-0001ty-Fa for guix-patches@gnu.org; Fri, 02 Sep 2022 11:28:02 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:57726) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1oU8aQ-00079z-74 for guix-patches@gnu.org; Fri, 02 Sep 2022 11:28:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1oU8aQ-00082k-2I for guix-patches@gnu.org; Fri, 02 Sep 2022 11:28:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#57540] [PATCH 4/6] gnu: Add coq-mathcomp-hierarchy-builder. References: <79d544f7d8ba64b631a6f0f1d2ef0b08@disroot.org> In-Reply-To: <79d544f7d8ba64b631a6f0f1d2ef0b08@disroot.org> Resent-From: Garek Dyszel Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Fri, 02 Sep 2022 15:28:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 57540 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 57540@debbugs.gnu.org Received: via spool by 57540-submit@debbugs.gnu.org id=B57540.166213247030894 (code B ref 57540); Fri, 02 Sep 2022 15:28:02 +0000 Received: (at 57540) by debbugs.gnu.org; 2 Sep 2022 15:27:50 +0000 Received: from localhost ([127.0.0.1]:47474 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oU8aE-00082D-A6 for submit@debbugs.gnu.org; Fri, 02 Sep 2022 11:27:50 -0400 Received: from knopi.disroot.org ([178.21.23.139]:50068) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oU8aC-000826-Rz for 57540@debbugs.gnu.org; Fri, 02 Sep 2022 11:27:49 -0400 Received: from localhost (localhost [127.0.0.1]) by disroot.org (Postfix) with ESMTP id 4B0F049FE8 for <57540@debbugs.gnu.org>; Fri, 2 Sep 2022 17:27:48 +0200 (CEST) X-Virus-Scanned: SPAM Filter at disroot.org Received: from knopi.disroot.org ([127.0.0.1]) by localhost (disroot.org [127.0.0.1]) (amavisd-new, port 10024) with UTF8SMTP id vUu1_jsXEIiR for <57540@debbugs.gnu.org>; Fri, 2 Sep 2022 17:27:46 +0200 (CEST) Mime-Version: 1.0 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=disroot.org; s=mail; t=1662132244; bh=bKftHjB2e8g573GX22ID6KFy+TVloCkAjNKhbXNj40M=; h=Date:From:To:Subject; b=YbmsRi6jzabmwD8G73KI/2Boym6ts4hcInmNklRpe0Jptc9ZKidC8mK/zu/zS8lY/ zM+j9tEXfy1XHlE44idcICSF0JWMs5cMnNpIJm6544+qxL+PxRJkoCTF1/abubFm1K kAEgVc/7e6c94i/0Eq7vsdT9Lq8tXwmqjnCGahPQd5uLOE4kgQgFe+aLhYukpncV29 wLnYxHonSflhgp4bTM11hKy80CneCHwUrtc1g4fsv21XF2fwlBg6Rymeq8CQQ7d0rp CnE7yyWjK5isCL6wXAnQwbOheOwHF3r6qVjEYPPqm+ICs4wUlpuNRnsYiYUZIyK6Zx WdL8PHllumDYA== Date: Fri, 02 Sep 2022 11:24:04 -0400 Message-ID: <1729554f0ccf90383607cbbcf1be7323@disroot.org> X-Sender: garekdyszel@disroot.org 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+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" Reply-to: Garek Dyszel X-ACL-Warn: , Garek Dyszel via Guix-patches X-Patchwork-Original-From: Garek Dyszel via Guix-patches via From: Garek Dyszel X-getmail-retrieved-from-mailbox: Patches * gnu/packages/coq.scm (coq-mathcomp-hierarchy-builder) --- gnu/packages/coq.scm | 75 ++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 75 insertions(+) +canonical structure instances and notations following the packed +classes discipline which is at the core of the Mathematical Components +library. All that complexity is hidden behind a few concepts and a few +declarative Coq commands.") + (home-page "https://math-comp.github.io/") + ;; MIT license + (license license:expat))) diff --git a/gnu/packages/coq.scm b/gnu/packages/coq.scm index 5a37432..bb4788a 100644 --- a/gnu/packages/coq.scm +++ b/gnu/packages/coq.scm @@ -759,3 +759,78 @@ (define-public coq-elpi notation. Finally it provides a way to define new vernacular commands and new tactics.") (license license:lgpl2.1))) + +(define-public coq-mathcomp-hierarchy-builder + (package + (name "coq-mathcomp-hierarchy-builder") + ;; For more information on which version works with Coq 8.15, + ;; see the relevant issue: + ;; https://github.com/math-comp/hierarchy-builder/issues/297 + ;; Here we use + ;; coq-elpi 1.14.0 + ocaml-elpi 1.15.2 + + ;; coq-mathcomp-hierarchy-builder 1.3.0 (Coq 8.15) + (version "1.3.0") + (source (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/math-comp/hierarchy-builder") + (commit (string-append "v" version)) + (recursive? #t))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "17k7rlxdx43qda6i1yafpgc64na8br285cb0mbxy5wryafcdrkrc")))) + (build-system gnu-build-system) + (arguments + `(#:make-flags ,#~(list (string-append "COQBIN=" + #$(this-package-input "coq-core") + "/bin/") + (string-append "COQBININSTALL=" + (assoc-ref %outputs "out") "/bin/") + (string-append "DESTDIR=" + (assoc-ref %outputs "out")) + (string-append "ELPIDIR=" + #$(this-package-input "ocaml-elpi") + "/lib/ocaml/site-lib/elpi") + (string-append "COQMF_COQLIB=" + (assoc-ref %outputs "out") + "/lib/ocaml/site-lib/coq") + (string-append "COQLIBINSTALL=" + (assoc-ref %outputs "out") + "/lib/coq/user-contrib")) + #:phases (modify-phases %standard-phases + (delete 'configure) + (replace 'build + (lambda* (#:key make-flags #:allow-other-keys) + (apply invoke "make" "build" make-flags))) + (replace 'check + (lambda* (#:key tests? make-flags #:allow-other-keys) + (when tests? + (apply invoke "make" "test-suite" make-flags))))))) + (inputs (list coq + coq-core + coq-mathcomp + which + ocaml + coq-elpi-1.14 + ocaml-elpi-1.15)) + (synopsis "Hierarchy structures for the Coq proof assistant") + (description + "Hierarchy Builder (HB) provides high level commands to declare a +hierarchy of algebraic structure (or interfaces if you prefer the +glossary of computer science) for the Coq system. + +Given a structure one can develop its theory, and that theory becomes +automatically applicable to all the examples of the structure. One can +also declare alternative interfaces, for convenience or backward +compatibility, and provide glue code linking these interfaces to the +structures part of the hierarchy. + +HB commands compile down to Coq modules, sections, records, coercions, From patchwork Fri Sep 2 15:24:52 2022 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Garek Dyszel X-Patchwork-Id: 42153 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id C656127BBEA; Fri, 2 Sep 2022 16:32:30 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.7 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,SPF_HELO_PASS,URIBL_BLOCKED autolearn=unavailable autolearn_force=no version=3.4.6 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id 5FAB427BBE9 for ; Fri, 2 Sep 2022 16:32:30 +0100 (BST) Received: from localhost ([::1]:40514 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1oU8eU-00065O-7I for patchwork@mira.cbaines.net; Fri, 02 Sep 2022 11:32:15 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:43312) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1oU8bP-0003f6-4Q for guix-patches@gnu.org; Fri, 02 Sep 2022 11:29:03 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:57730) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1oU8bO-0007I0-G0 for guix-patches@gnu.org; Fri, 02 Sep 2022 11:29:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1oU8bO-00084R-9I for guix-patches@gnu.org; Fri, 02 Sep 2022 11:29:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#57540] [PATCH 5/6] gnu: Add coq-mathcomp-finmap. References: <79d544f7d8ba64b631a6f0f1d2ef0b08@disroot.org> In-Reply-To: <79d544f7d8ba64b631a6f0f1d2ef0b08@disroot.org> Resent-From: Garek Dyszel Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Fri, 02 Sep 2022 15:29:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 57540 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 57540@debbugs.gnu.org Received: via spool by 57540-submit@debbugs.gnu.org id=B57540.166213250530972 (code B ref 57540); Fri, 02 Sep 2022 15:29:02 +0000 Received: (at 57540) by debbugs.gnu.org; 2 Sep 2022 15:28:25 +0000 Received: from localhost ([127.0.0.1]:47479 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oU8am-00083U-Qn for submit@debbugs.gnu.org; Fri, 02 Sep 2022 11:28:25 -0400 Received: from knopi.disroot.org ([178.21.23.139]:59054) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oU8ak-00083L-8f for 57540@debbugs.gnu.org; Fri, 02 Sep 2022 11:28:22 -0400 Received: from localhost (localhost [127.0.0.1]) by disroot.org (Postfix) with ESMTP id C4FD240053 for <57540@debbugs.gnu.org>; Fri, 2 Sep 2022 17:28:21 +0200 (CEST) X-Virus-Scanned: SPAM Filter at disroot.org Received: from knopi.disroot.org ([127.0.0.1]) by localhost (disroot.org [127.0.0.1]) (amavisd-new, port 10024) with UTF8SMTP id gcsrljN6yZkg for <57540@debbugs.gnu.org>; Fri, 2 Sep 2022 17:28:20 +0200 (CEST) Mime-Version: 1.0 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=disroot.org; s=mail; t=1662132292; bh=eOmf6HrQlOfB/0lGpMEl7LvT4fRHfyvr0KesZbTjhpA=; h=Date:From:To:Subject; b=iDLXCgIAdi8+jELGyG2LSEHdxH1/fK+WQOgz4je65mxyt3vAmgNUt+AiEh9/UpUAa +IqmM1kS43oknzDfQucYa44Q5p4pASPEUN4fxK7EAvsmMjFIWyDDS9mYhwZO9WKlJx 3bO8yjtcP45aP1/47GztDwNyxSqj5o8ie+TGjmEOIxJpDD2RDgakVxJVHJ4Hn/p/Am 6G2BU3K5SDFVFlzCL+Mi+FjiL4BbM0lOltuAHHQjy1UFkX9zdRpUW36tX3scWq1bmU ocmX7BihDZ0ej+HbpwcWzDaKXM1UOIONH2IDEYbK46CUdphNzq3IGoS5jcNTFwaCSa IxcSG9rBuZYBw== Date: Fri, 02 Sep 2022 11:24:52 -0400 Message-ID: X-Sender: garekdyszel@disroot.org 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+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" Reply-to: Garek Dyszel X-ACL-Warn: , Garek Dyszel via Guix-patches X-Patchwork-Original-From: Garek Dyszel via Guix-patches via From: Garek Dyszel X-getmail-retrieved-from-mailbox: Patches * gnu/packages/coq.scm (coq-mathcomp-finmap) --- gnu/packages/coq.scm | 35 +++++++++++++++++++++++++++++++++++ 1 file changed, 35 insertions(+) +contains a generic order and set libary, which will eventually be used to +subsume notations for finite sets.") + (home-page "https://math-comp.github.io/") + (license license:cecill-b))) diff --git a/gnu/packages/coq.scm b/gnu/packages/coq.scm index bb4788a..f0aa233 100644 --- a/gnu/packages/coq.scm +++ b/gnu/packages/coq.scm @@ -834,3 +834,38 @@ (define-public coq-mathcomp-hierarchy-builder (home-page "https://math-comp.github.io/") ;; MIT license (license license:expat))) + +(define-public coq-mathcomp-finmap + (package + (name "coq-mathcomp-finmap") + (version "1.5.2") + (source (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/math-comp/finmap") + (commit version) + (recursive? #t))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "1k72wpp15xa5ag358jl8a71gschng0bgbaqjx0l5a0in6x5adafh")))) + (build-system gnu-build-system) + (arguments + `( ;"No rule to make target 'check'." + ;; No tests supplied in Makefile.common. + #:tests? #f + #:make-flags (list (string-append "COQLIBINSTALL=" + (assoc-ref %outputs "out") + "/lib/coq/user-contrib")) + #:phases (modify-phases %standard-phases + (delete 'configure)))) + (inputs (list coq coq-stdlib coq-mathcomp which)) + (synopsis "Finite sets and finite types for coq-mathcomp") + (description + "This library is an extension of coq-mathcomp which supports finite sets +and finite maps on choicetypes (rather than finite types). This includes +support for functions with finite support and multisets. The library also From patchwork Fri Sep 2 15:25:48 2022 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Garek Dyszel X-Patchwork-Id: 42150 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id 081B627BBEA; Fri, 2 Sep 2022 16:30:27 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.7 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,SPF_HELO_PASS,URIBL_BLOCKED autolearn=unavailable autolearn_force=no version=3.4.6 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id 6F8B327BBE9 for ; Fri, 2 Sep 2022 16:30:26 +0100 (BST) Received: from localhost ([::1]:35476 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1oU8cj-0004m5-C9 for patchwork@mira.cbaines.net; Fri, 02 Sep 2022 11:30:25 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:58680) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1oU8cN-0004jn-8l for guix-patches@gnu.org; Fri, 02 Sep 2022 11:30:03 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:57738) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1oU8cM-0007Ry-VZ for guix-patches@gnu.org; Fri, 02 Sep 2022 11:30:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1oU8cM-00086d-QV for guix-patches@gnu.org; Fri, 02 Sep 2022 11:30:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#57540] [PATCH 6/6] gnu: Add coq-mathcomp-bigenough and coq-mathcomp-analysis. References: <79d544f7d8ba64b631a6f0f1d2ef0b08@disroot.org> In-Reply-To: <79d544f7d8ba64b631a6f0f1d2ef0b08@disroot.org> Resent-From: Garek Dyszel Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Fri, 02 Sep 2022 15:30:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 57540 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 57540@debbugs.gnu.org Received: via spool by 57540-submit@debbugs.gnu.org id=B57540.166213254531057 (code B ref 57540); Fri, 02 Sep 2022 15:30:02 +0000 Received: (at 57540) by debbugs.gnu.org; 2 Sep 2022 15:29:05 +0000 Received: from localhost ([127.0.0.1]:47483 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oU8bR-00084q-7a for submit@debbugs.gnu.org; Fri, 02 Sep 2022 11:29:05 -0400 Received: from knopi.disroot.org ([178.21.23.139]:41538) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oU8bQ-00084j-13 for 57540@debbugs.gnu.org; Fri, 02 Sep 2022 11:29:04 -0400 Received: from localhost (localhost [127.0.0.1]) by disroot.org (Postfix) with ESMTP id 5E60C49FAC for <57540@debbugs.gnu.org>; Fri, 2 Sep 2022 17:29:03 +0200 (CEST) X-Virus-Scanned: SPAM Filter at disroot.org Received: from knopi.disroot.org ([127.0.0.1]) by localhost (disroot.org [127.0.0.1]) (amavisd-new, port 10024) with UTF8SMTP id Fqjb6HtN0_TZ for <57540@debbugs.gnu.org>; Fri, 2 Sep 2022 17:29:01 +0200 (CEST) Mime-Version: 1.0 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=disroot.org; s=mail; t=1662132348; bh=Y6CP7UBq27/LruMP8Ajvwr3NlhxPwVCIiDfLKm85lVU=; h=Date:From:To:Subject; b=C7CmnsJSMSE3UvxxUQ5qRZXoVDGaV1lZcw+FHlAfJYNHYjWGCMh1fDN4Ch7uS6Vlf 7B2d3cdZtDzOjEPZF5dTaKx2mTKp12F4nnnxiZQAM6C3AkMttEqnp0gRAN/TJdCP1J qoqf8rNH1+J0cDfjZjAwG4uP3gVqoerCK9wvWW7yNuqV80ZoM9PXLkpxL7Yd15xzDL PcgjZsZlfpIs+hsMfm2RkVN3B+VmJdfZn8MAXsBcCTKeOnefi0HO8xrwhziACo/GIk Ttxi3Hi9xyeimOr3M70uHx4suVAx5peXkibSioLzDPS8jK3S3aXmmsBn+bOoJcoAlH eR/9EFImktifA== Date: Fri, 02 Sep 2022 11:25:48 -0400 Message-ID: X-Sender: garekdyszel@disroot.org 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+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" Reply-to: Garek Dyszel X-ACL-Warn: , Garek Dyszel via Guix-patches X-Patchwork-Original-From: Garek Dyszel via Guix-patches via From: Garek Dyszel X-getmail-retrieved-from-mailbox: Patches * gnu/packages/coq.scm (coq-mathcomp-bigenough coq-mathcomp-analysis) --- gnu/packages/coq.scm | 105 +++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 105 insertions(+) + "This repository contains an experimental library for +real analysis for the Coq proof-assistant, using the Mathematical +Components library.") + (home-page "https://math-comp.github.io/") + (license license:cecill-c))) diff --git a/gnu/packages/coq.scm b/gnu/packages/coq.scm index f0aa233..680c2fa 100644 --- a/gnu/packages/coq.scm +++ b/gnu/packages/coq.scm @@ -869,3 +869,108 @@ (define-public coq-mathcomp-finmap subsume notations for finite sets.") (home-page "https://math-comp.github.io/") (license license:cecill-b))) + +(define-public coq-mathcomp-bigenough + ;; On the homepage, it is mentioned that coq-mathcomp-bigenough + ;; is going to be obsolete sometime in the near future. + ;; This package was included because of the following error, + ;; encountered while building coq-mathcomp-analysis: + ;; "Warning: in file theories/altreals/realseq.v, library + ;; mathcomp.bigenough.bigenough is required and has not been + ;; found in the loadpath!" + ;; So added https://github.com/math-comp/bigenough. + (package + (name "coq-mathcomp-bigenough") + (version "1.0.1") + (source (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/math-comp/bigenough") + (commit version) + (recursive? #t))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "02f4dv4rz72liciwxb2k7acwx6lgqz4381mqyq5854p3nbyn06aw")))) + (build-system gnu-build-system) + (arguments + `( ;"No rule to make target 'test'. Stop." + ;; No references to tests in Makefile.common. + #:tests? #f + #:make-flags ,#~(list (string-append "COQBIN=" + #$(this-package-input "coq-core") + "/bin/") + (string-append "COQMF_COQLIB=" + (assoc-ref %outputs "out") + "/lib/ocaml/site-lib/coq") + (string-append "COQLIBINSTALL=" + (assoc-ref %outputs "out") + "/lib/coq/user-contrib")) + #:phases (modify-phases %standard-phases + (delete 'configure)))) + (propagated-inputs (list coq coq-core coq-mathcomp which)) + (home-page "https://math-comp.github.io/") + (synopsis "Small library to do epsilon - N reasoning") + (description + "The package contains a package to reasoning with big enough +objects (mostly natural numbers). This package is essentially for +backward compatibility purposes as `bigenough` will be subsumed by the +near tactics. The formalization is based on the Mathematical +Components library.") + (license license:cecill-b))) + +(define-public coq-mathcomp-analysis + (package + (name "coq-mathcomp-analysis") + (version "0.5.3") + (source (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/math-comp/analysis") + (commit version))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "16bv2kxm6nrgfm9lp88sls1vqs26d4m3fxbccmy328ak5srcbn6l")))) + (build-system gnu-build-system) + (arguments + `( ;No tests were supplied with this library: + ;; No rule to make target 'check'. Stop. + ;; Makefile.common has no references to tests at all + ;; (yet). + #:tests? #f + #:make-flags ,#~(list (string-append "COQBIN=" + #$(this-package-input "coq-core") + "/bin/") + (string-append "COQBININSTALL=" + (assoc-ref %outputs "out") "/bin/") + (string-append "DESTDIR=" + (assoc-ref %outputs "out")) + (string-append "COQMF_COQLIB=" + (assoc-ref %outputs "out") + "/lib/ocaml/site-lib/coq") + (string-append "COQLIBINSTALL=" + (assoc-ref %outputs "out") + "/lib/coq/user-contrib")) + #:phases (modify-phases %standard-phases + (delete 'configure) + (replace 'build + (lambda* (#:key make-flags #:allow-other-keys) + (apply invoke "make" "build" make-flags)))))) + (inputs (list coq + coq-stdlib + coq-mathcomp + coq-mathcomp-finmap + coq-mathcomp-hierarchy-builder + coq-elpi-1.14 + coq-mathcomp-bigenough + coq-core + which + python)) + (synopsis "Real analysis for the Coq proof assistant") + (description From patchwork Wed Sep 7 18:33:46 2022 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Garek Dyszel X-Patchwork-Id: 42289 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id 3CF3027BBEA; Wed, 7 Sep 2022 19:39:08 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.7 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,SPF_HELO_PASS,URIBL_BLOCKED autolearn=unavailable autolearn_force=no version=3.4.6 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id DDB7427BBE9 for ; Wed, 7 Sep 2022 19:39:07 +0100 (BST) Received: from localhost ([::1]:45544 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1oVzx5-00014x-1v for patchwork@mira.cbaines.net; Wed, 07 Sep 2022 14:39:07 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:56464) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1oVzsC-0004hV-ON for guix-patches@gnu.org; Wed, 07 Sep 2022 14:34:04 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:39299) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1oVzsC-0005GD-FU for guix-patches@gnu.org; Wed, 07 Sep 2022 14:34:04 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1oVzsC-0007zA-Ah for guix-patches@gnu.org; Wed, 07 Sep 2022 14:34:04 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#57540] [RFC PATCH v2 07/19] gnu: Add coq-mathcomp-bigenough.* gnu/packages/coq.scm (coq-mathcomp-bigenough): New variable. References: <79d544f7d8ba64b631a6f0f1d2ef0b08@disroot.org> In-Reply-To: <79d544f7d8ba64b631a6f0f1d2ef0b08@disroot.org> Resent-From: Garek Dyszel Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Wed, 07 Sep 2022 18:34:04 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 57540 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 57540@debbugs.gnu.org Received: via spool by 57540-submit@debbugs.gnu.org id=B57540.166257563230616 (code B ref 57540); Wed, 07 Sep 2022 18:34:04 +0000 Received: (at 57540) by debbugs.gnu.org; 7 Sep 2022 18:33:52 +0000 Received: from localhost ([127.0.0.1]:56220 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oVzrz-0007xj-Of for submit@debbugs.gnu.org; Wed, 07 Sep 2022 14:33:52 -0400 Received: from knopi.disroot.org ([178.21.23.139]:47594) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oVzry-0007xc-HF for 57540@debbugs.gnu.org; Wed, 07 Sep 2022 14:33:50 -0400 Received: from localhost (localhost [127.0.0.1]) by disroot.org (Postfix) with ESMTP id DB26D40122 for <57540@debbugs.gnu.org>; Wed, 7 Sep 2022 20:33:49 +0200 (CEST) X-Virus-Scanned: SPAM Filter at disroot.org Received: from knopi.disroot.org ([127.0.0.1]) by localhost (disroot.org [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id U2qHALa171Jq for <57540@debbugs.gnu.org>; Wed, 7 Sep 2022 20:33:48 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=disroot.org; s=mail; t=1662575628; bh=0Vm8pVtRoQ7OvMmNYDZPCZPZIjKfMA57lgPd2pijQHY=; h=From:To:Subject:Date; b=CnOmtGDsZCxOnn3EmJUUs2zTTF8scvXeNJ24oc6y+xhaNLt6beHac/9HFTdLRIkcC VKCtpO50ltiuq08J/Px4UzOUj8w4ptKrYbaFomsCd9+LFFictZ9v/bGQ0vM+NtV1IR iGC8CRumbJZ/QapO7UIIXSfYT7WWWNP7TjUAqkT9NTyLuw+6oPWWOP676p7H1Y6C+C Pq4ZT8JoRDuGl1fmla+8hpNxTm4nVe/YKYEM9qvbhPhEYiVSvRUvgYObb7qGrXUw49 f9MoQAK04FCjDDoZKgGWU1GMPTTuq/sUdSpBtXJZj8iWL5zLLLziAmzLKZ+nWL4Ot1 BOvHvmwAHWeWg== Date: Wed, 07 Sep 2022 14:33:46 -0400 Message-ID: <87k06fvxth.fsf@disroot.org> Mime-Version: 1.0 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+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" Reply-to: Garek Dyszel X-ACL-Warn: , Garek Dyszel via Guix-patches X-Patchwork-Original-From: Garek Dyszel via Guix-patches via From: Garek Dyszel X-getmail-retrieved-from-mailbox: Patches * gnu/packages/coq.scm (coq-mathcomp-bigenough): New variable. --- gnu/packages/coq.scm | 50 ++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 50 insertions(+) diff --git a/gnu/packages/coq.scm b/gnu/packages/coq.scm index d123860172..78ef5473fd 100644 --- a/gnu/packages/coq.scm +++ b/gnu/packages/coq.scm @@ -873,3 +873,53 @@ (define-public coq-mathcomp-finmap subsume notations for finite sets.") (home-page "https://math-comp.github.io/") (license license:cecill-b))) + +(define-public coq-mathcomp-bigenough + ;; On the homepage, it is mentioned that coq-mathcomp-bigenough + ;; is going to be obsolete sometime in the near future. + ;; This package was included because of the following error, + ;; encountered while building coq-mathcomp-analysis: + ;; "Warning: in file theories/altreals/realseq.v, library + ;; mathcomp.bigenough.bigenough is required and has not been + ;; found in the loadpath!" + (package + (name "coq-mathcomp-bigenough") + (version "1.0.1") + (source (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/math-comp/bigenough") + (commit version) + (recursive? #t))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "02f4dv4rz72liciwxb2k7acwx6lgqz4381mqyq5854p3nbyn06aw")))) + (build-system gnu-build-system) + (arguments + `( ;"No rule to make target 'test'. Stop." + ;; No references to tests in Makefile.common. + ;; It doesn't appear as though tests will be included + ;; by the packaged project in the future. + #:tests? #f + #:make-flags ,#~(list (string-append "COQBIN=" + #$(this-package-input "coq-core") + "/bin/") + (string-append "COQMF_COQLIB=" + (assoc-ref %outputs "out") + "/lib/ocaml/site-lib/coq") + (string-append "COQLIBINSTALL=" + (assoc-ref %outputs "out") + "/lib/coq/user-contrib")) + #:phases (modify-phases %standard-phases + (delete 'configure)))) + (propagated-inputs (list coq coq-core coq-mathcomp which)) + (home-page "https://math-comp.github.io/") + (synopsis "Small library to do epsilon - N reasoning") + (description + "The package contains a package to reasoning with big enough +objects (mostly natural numbers). This package is essentially for +backward compatibility purposes as @code{bigenough} will be subsumed by the +near tactics. The formalization is based on the Mathematical +Components library.") + (license license:cecill-b))) From patchwork Wed Sep 7 18:33:50 2022 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Garek Dyszel X-Patchwork-Id: 42281 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id 7A33127BBE9; Wed, 7 Sep 2022 19:36:19 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.7 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,SPF_HELO_PASS,URIBL_BLOCKED autolearn=unavailable autolearn_force=no version=3.4.6 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id 2D93B27BBE9 for ; Wed, 7 Sep 2022 19:36:19 +0100 (BST) Received: from localhost ([::1]:46298 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1oVzuM-00064r-88 for patchwork@mira.cbaines.net; Wed, 07 Sep 2022 14:36:18 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:56466) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1oVzsD-0004iE-6l for guix-patches@gnu.org; Wed, 07 Sep 2022 14:34:05 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:39300) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1oVzsC-0005GJ-TU for guix-patches@gnu.org; Wed, 07 Sep 2022 14:34:04 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1oVzsC-0007zI-PP for guix-patches@gnu.org; Wed, 07 Sep 2022 14:34:04 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#57540] [RFC PATCH v2 08/19] gnu: Add coq-mathcomp-analysis.* gnu/packages/coq.scm (coq-mathcomp-analysis): New variable. References: <79d544f7d8ba64b631a6f0f1d2ef0b08@disroot.org> In-Reply-To: <79d544f7d8ba64b631a6f0f1d2ef0b08@disroot.org> Resent-From: Garek Dyszel Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Wed, 07 Sep 2022 18:34:04 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 57540 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 57540@debbugs.gnu.org Received: via spool by 57540-submit@debbugs.gnu.org id=B57540.166257563830636 (code B ref 57540); Wed, 07 Sep 2022 18:34:04 +0000 Received: (at 57540) by debbugs.gnu.org; 7 Sep 2022 18:33:58 +0000 Received: from localhost ([127.0.0.1]:56223 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oVzs5-0007y3-9i for submit@debbugs.gnu.org; Wed, 07 Sep 2022 14:33:57 -0400 Received: from knopi.disroot.org ([178.21.23.139]:48328) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oVzs3-0007xv-TW for 57540@debbugs.gnu.org; Wed, 07 Sep 2022 14:33:56 -0400 Received: from localhost (localhost [127.0.0.1]) by disroot.org (Postfix) with ESMTP id 4246140121 for <57540@debbugs.gnu.org>; Wed, 7 Sep 2022 20:33:55 +0200 (CEST) X-Virus-Scanned: SPAM Filter at disroot.org Received: from knopi.disroot.org ([127.0.0.1]) by localhost (disroot.org [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id fcLFxkWMD1VF for <57540@debbugs.gnu.org>; Wed, 7 Sep 2022 20:33:53 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=disroot.org; s=mail; t=1662575633; bh=yGgZnp5IMdYK/UCQp/JZeOcggsUc6UUGx418O6fjyQ0=; h=From:To:Subject:Date; b=LfA/9D0i9KwTulektjQ4bXO2C5uP+jH0s4b7Jl6x5wy9knHMWTuzaVDdmZxpiqquq oySS4Wd7DGKSQnw9rvR9R4hltWwHX8zfkR+pLr8QMup8ngCh7r0jasd1jy+OwID2j2 TtZhFZQnjZ03Fnx4JYabrtGKag+Csf/k2ICTk8U91H/BzOtL9Kst8tH8se0WDKyUQF G8jM3sAXmx4BvdzzxZAAnl1fOb/iqK3FI3jOWH1wAfPRV2qC1jCxpfTvj9+ypeu57o PkIDzpRA5onmbXe4s+45TxVDAYkE2Hb2DHnI4LHNxrRm9yegoTNhtCPgjeia+w5QqD iLlXhdScXC52Q== Date: Wed, 07 Sep 2022 14:33:50 -0400 Message-ID: <87illzvxtd.fsf@disroot.org> Mime-Version: 1.0 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+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" Reply-to: Garek Dyszel X-ACL-Warn: , Garek Dyszel via Guix-patches X-Patchwork-Original-From: Garek Dyszel via Guix-patches via From: Garek Dyszel X-getmail-retrieved-from-mailbox: Patches * gnu/packages/coq.scm (coq-mathcomp-analysis): New variable. --- gnu/packages/coq.scm | 66 ++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 66 insertions(+) diff --git a/gnu/packages/coq.scm b/gnu/packages/coq.scm index 78ef5473fd..036134b8ff 100644 --- a/gnu/packages/coq.scm +++ b/gnu/packages/coq.scm @@ -923,3 +923,69 @@ (define-public coq-mathcomp-bigenough near tactics. The formalization is based on the Mathematical Components library.") (license license:cecill-b))) + +(define-public coq-mathcomp-analysis + (package + (name "coq-mathcomp-analysis") + (version "0.5.4") + (source (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/math-comp/analysis") + (commit version))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "1l1yaxbmqr4li8x7g51q98a6v383dnf94lw1b74ccpwqz9qybz9m")))) + (build-system gnu-build-system) + (arguments + `( ;No rule to make target 'check'. Stop. + ;; Makefile.common has no references to tests. + ;; There are also no references to tests found after + ;; running the following commands in the top + ;; directory of the cloned repo: + ;; find -type d | grep -i test + ;; rg test # where rg is ripgrep + ;; Checking the git log, we find: "Add test suite for + ;; joins and several fixes". + ;; + ;; If tests are included, this quote suggests that they + ;; would be part of the source files themselves, + ;; and the tests would be run as part of the build + ;; process. + #:tests? #f + #:make-flags ,#~(list (string-append "COQBIN=" + #$(this-package-input "coq-core") + "/bin/") + (string-append "COQBININSTALL=" + (assoc-ref %outputs "out") "/bin/") + (string-append "DESTDIR=" + (assoc-ref %outputs "out")) + (string-append "COQMF_COQLIB=" + (assoc-ref %outputs "out") + "/lib/ocaml/site-lib/coq") + (string-append "COQLIBINSTALL=" + (assoc-ref %outputs "out") + "/lib/coq/user-contrib")) + #:phases (modify-phases %standard-phases + (delete 'configure) + (replace 'build + (lambda* (#:key make-flags #:allow-other-keys) + (apply invoke "make" "build" make-flags)))))) + (inputs (list coq + coq-stdlib + coq-mathcomp + coq-mathcomp-finmap + coq-mathcomp-hierarchy-builder + coq-elpi + coq-mathcomp-bigenough + coq-core + which + python)) + (synopsis "Real analysis for the Coq proof assistant") + (description + "This repository contains an experimental library for +real analysis for the Coq proof-assistant, using the Mathematical +Components library.") + (home-page "https://math-comp.github.io/") + (license license:cecill-c))) From patchwork Wed Sep 7 18:33:55 2022 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Patchwork-Submitter: Garek Dyszel X-Patchwork-Id: 42282 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id 38BCE27BBEA; Wed, 7 Sep 2022 19:36:45 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.7 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,SPF_HELO_PASS,URIBL_BLOCKED autolearn=unavailable autolearn_force=no version=3.4.6 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id E478E27BBE9 for ; Wed, 7 Sep 2022 19:36:44 +0100 (BST) Received: from localhost ([::1]:41696 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1oVzum-0006Og-1u for patchwork@mira.cbaines.net; Wed, 07 Sep 2022 14:36:44 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:56468) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1oVzsD-0004j6-Ju for guix-patches@gnu.org; Wed, 07 Sep 2022 14:34:05 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:39301) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1oVzsD-0005GR-AC for guix-patches@gnu.org; Wed, 07 Sep 2022 14:34:05 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1oVzsD-0007zP-5q for guix-patches@gnu.org; Wed, 07 Sep 2022 14:34:05 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#57540] [RFC PATCH v2 09/19] gnu: Add python-version.* gnu/packages/python-xyz.scm (python-version): New variable. References: <79d544f7d8ba64b631a6f0f1d2ef0b08@disroot.org> In-Reply-To: <79d544f7d8ba64b631a6f0f1d2ef0b08@disroot.org> Resent-From: Garek Dyszel Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Wed, 07 Sep 2022 18:34:05 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 57540 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 57540@debbugs.gnu.org Received: via spool by 57540-submit@debbugs.gnu.org id=B57540.166257564330683 (code B ref 57540); Wed, 07 Sep 2022 18:34:05 +0000 Received: (at 57540) by debbugs.gnu.org; 7 Sep 2022 18:34:03 +0000 Received: from localhost ([127.0.0.1]:56228 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oVzsA-0007yg-To for submit@debbugs.gnu.org; Wed, 07 Sep 2022 14:34:03 -0400 Received: from knopi.disroot.org ([178.21.23.139]:48850) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oVzs9-0007yD-2T for 57540@debbugs.gnu.org; Wed, 07 Sep 2022 14:34:01 -0400 Received: from localhost (localhost [127.0.0.1]) by disroot.org (Postfix) with ESMTP id 6BD0349FB4 for <57540@debbugs.gnu.org>; Wed, 7 Sep 2022 20:34:00 +0200 (CEST) X-Virus-Scanned: SPAM Filter at disroot.org Received: from knopi.disroot.org ([127.0.0.1]) by localhost (disroot.org [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id jt_RDiw9C1QE for <57540@debbugs.gnu.org>; Wed, 7 Sep 2022 20:33:59 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=disroot.org; s=mail; t=1662575639; bh=pzaUAEihUq+vt9h8uT4b4A0W5/wyGE16DMIfROJK6Lk=; h=From:To:Subject:Date; b=fPuCdE6TMpyIV2HZrvDqUwXKlfwu5A4o8sbQbhgdhJ2IvgnAdNZyYyxajuHbhtrRc TYn9W/AHezOq8mjkVhBGQpvz6PkUyCnsibrrbg8RQMorYBRDswkT27Z1jYhWkvEYA0 rsEnYJbUDjPo0HodgkuKQUXKF9rGUEzv/AGB+C0OcGgpsNSR7rfj2c4FGvM6t0A9Ib z3+RWyR8CZjtIzT4lMNaV/bnNW5R9lhXDc06mkOrzDgo/4KubIY+Sb/QRUXR98XgLU yVE8rGi1tyLgz/pxi9fWk8QhZxtVjFnWEGXSTbT2PeY0RHsojdPz9vcklrXjIiEIRh wI2ZpHaRxastw== Date: Wed, 07 Sep 2022 14:33:55 -0400 Message-ID: <87h71jvxt8.fsf@disroot.org> Mime-Version: 1.0 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+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" Reply-to: Garek Dyszel X-ACL-Warn: , Garek Dyszel via Guix-patches X-Patchwork-Original-From: Garek Dyszel via Guix-patches via From: Garek Dyszel X-getmail-retrieved-from-mailbox: Patches * gnu/packages/python-xyz.scm (python-version): New variable. --- gnu/packages/python-xyz.scm | 25 +++++++++++++++++++++++++ 1 file changed, 25 insertions(+) diff --git a/gnu/packages/python-xyz.scm b/gnu/packages/python-xyz.scm index a73f07ece3..cc5b85c3a1 100644 --- a/gnu/packages/python-xyz.scm +++ b/gnu/packages/python-xyz.scm @@ -128,6 +128,7 @@ ;;; Copyright © 2022 Marek Felšöci ;;; Copyright © 2022 Hilton Chain ;;; Copyright © 2022 Tomasz Jeneralczyk +;;; Copyright © 2022 Garek Dyszel ;;; ;;; This file is part of GNU Guix. ;;; @@ -30746,3 +30747,27 @@ (define-public python-lief "@code{python-lief} is a cross platform library which can parse, modify and abstract ELF, PE and MachO formats.") (license license:asl2.0))) + +(define-public python-version + ;; No version tags available in the git repo; just using bare commit instead. + (let ((commit "5232eea250ab72cc5cb72b0b75efb35d2192b906") + (revision "1")) + (package + (name "python-python-version") + (version (git-version "0.0.2" revision commit)) + (source (origin + (method git-fetch) + (uri (git-reference + (url "https://gitlab.com/halfak/python_version") + (commit commit))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "0w210559ypdynlj9yn40m9awzkaknwrf682i99hswl7h66sdgh0h")))) + (build-system python-build-system) + (home-page "https://gitlab.com/halfak/python_version") + (synopsis "Provides a simple utility for checking the python version") + (description + "This package provides a simple utility for checking the python version.") + ;; MIT License + (license license:expat)))) From patchwork Wed Sep 7 18:34:01 2022 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Garek Dyszel X-Patchwork-Id: 42280 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id 48ABF27BBE9; Wed, 7 Sep 2022 19:36:16 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.7 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,SPF_HELO_PASS,URIBL_BLOCKED autolearn=unavailable autolearn_force=no version=3.4.6 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id 8C54827BBEA for ; Wed, 7 Sep 2022 19:36:15 +0100 (BST) Received: from localhost ([::1]:45540 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1oVzuI-0005wp-L8 for patchwork@mira.cbaines.net; Wed, 07 Sep 2022 14:36:14 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:38468) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1oVzt9-0005os-38 for guix-patches@gnu.org; Wed, 07 Sep 2022 14:35:03 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:39330) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1oVzt8-0005Nx-PZ for guix-patches@gnu.org; Wed, 07 Sep 2022 14:35:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1oVzt8-00082m-Ia for guix-patches@gnu.org; Wed, 07 Sep 2022 14:35:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#57540] [RFC PATCH v2 10/19] gnu: Add python-hatchling.* gnu/packages/python-xyz.scm (python-hatchling): New variable. References: <79d544f7d8ba64b631a6f0f1d2ef0b08@disroot.org> In-Reply-To: <79d544f7d8ba64b631a6f0f1d2ef0b08@disroot.org> Resent-From: Garek Dyszel Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Wed, 07 Sep 2022 18:35:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 57540 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 57540@debbugs.gnu.org Received: via spool by 57540-submit@debbugs.gnu.org id=B57540.166257564730745 (code B ref 57540); Wed, 07 Sep 2022 18:35:02 +0000 Received: (at 57540) by debbugs.gnu.org; 7 Sep 2022 18:34:07 +0000 Received: from localhost ([127.0.0.1]:56237 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oVzsF-0007zo-CC for submit@debbugs.gnu.org; Wed, 07 Sep 2022 14:34:07 -0400 Received: from knopi.disroot.org ([178.21.23.139]:49864) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oVzsE-0007zh-54 for 57540@debbugs.gnu.org; Wed, 07 Sep 2022 14:34:06 -0400 Received: from localhost (localhost [127.0.0.1]) by disroot.org (Postfix) with ESMTP id 927E040143 for <57540@debbugs.gnu.org>; Wed, 7 Sep 2022 20:34:05 +0200 (CEST) X-Virus-Scanned: SPAM Filter at disroot.org Received: from knopi.disroot.org ([127.0.0.1]) by localhost (disroot.org [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id QTWkB2VGviY2 for <57540@debbugs.gnu.org>; Wed, 7 Sep 2022 20:34:04 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=disroot.org; s=mail; t=1662575644; bh=Evy0AxQhHJgf8kXgl2AsfFAJqWrr0lQA/T+KV2AbKZg=; h=From:To:Subject:Date; b=cyMCzjBdK/kOhvfbcPlG1495swQoGSBj7VXabZrQ8NDqBuCY3ECv4/p98JG+tBIkV wygfZGgt1/3LQhG4KJ/3xqZeXKIdzn1Y99DhDYI1KBbhu2ycdgXa0g3vIymkIGsILQ vS0rTnS91mOVmqyPQOXz09y81iKI1r5j6Ojdrp0ykTCVDWJWFLDUYf8+jWT3XN3Xum ZSHCQPDIw061oa2wwxU7DQ5Zwu7HTPsTVcL3z7+Imzx+ljKQiISJT8HPC28IzgNAzJ ZaMcVOLVLITzLOU0iamgR3eKf9i1SbaADQzc/5ioMuVTsfmv9CBBV0riBm9moYRZk/ daO9+dj3r5Wbw== Date: Wed, 07 Sep 2022 14:34:01 -0400 Message-ID: <87fsh3vxt2.fsf@disroot.org> Mime-Version: 1.0 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+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" Reply-to: Garek Dyszel X-ACL-Warn: , Garek Dyszel via Guix-patches X-Patchwork-Original-From: Garek Dyszel via Guix-patches via From: Garek Dyszel X-getmail-retrieved-from-mailbox: Patches * gnu/packages/python-xyz.scm (python-hatchling): New variable. --- gnu/packages/python-xyz.scm | 64 +++++++++++++++++++++++++++++++++++++ 1 file changed, 64 insertions(+) diff --git a/gnu/packages/python-xyz.scm b/gnu/packages/python-xyz.scm index cc5b85c3a1..8dd8d902a5 100644 --- a/gnu/packages/python-xyz.scm +++ b/gnu/packages/python-xyz.scm @@ -30771,3 +30771,67 @@ (define-public python-version "This package provides a simple utility for checking the python version.") ;; MIT License (license license:expat)))) + +(define-public python-hatchling + (package + (name "python-hatchling") + (version "1.8.1") + (source (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/pypa/hatch") + (commit (string-append "hatchling-v" version)))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "1q25kqw71g8mjwfjz9ph0iigdqa26zzxgmqm0v0bp0z1j8rcl237")))) + ;; python-pypa-build needed for bootstrapping. + ;; Otherwise we get a circular reference: + ;; python-hatchling trying to build itself, without + ;; first having hatchling installed. + (inputs (list python + python-pypa-build + python-editables + python-importlib-metadata + python-version + python-packaging-next + python-pathspec + python-pluggy-1.0 ; TODO: Not detected by pytest? + python-tomli + python-platformdirs)) + (build-system python-build-system) + (arguments + `(#:phases (modify-phases %standard-phases + ;; Copied directly from the build process for + ;; python-jsonschema-next. + (replace 'build + (lambda _ + (chdir "backend") + ;; ZIP does not support timestamps before 1980. + (setenv "SOURCE_DATE_EPOCH" "315532800") + (invoke "python" + "-m" + "build" + "--wheel" + "--no-isolation" + "."))) + (replace 'install + (lambda* (#:key outputs #:allow-other-keys) + (let ((whl (car (find-files "dist" "\\.whl$")))) + (invoke "pip" + "--no-cache-dir" + "--no-input" + "install" + "--no-deps" + "--prefix" + (assoc-ref %outputs "out") + whl)))) + (replace 'check + (lambda* (#:key tests? #:allow-other-keys) + (when tests? + (invoke "pytest" "-vv"))))))) + (home-page "https://ofek.dev/projects/hatch/") + (synopsis "Modern, extensible Python project management") + (description "Modern, extensible Python project management") + ;; MIT License + (license license:expat))) From patchwork Wed Sep 7 18:34:08 2022 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Garek Dyszel X-Patchwork-Id: 42283 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id 2877527BBEA; Wed, 7 Sep 2022 19:37:15 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.7 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,SPF_HELO_PASS,URIBL_BLOCKED autolearn=unavailable autolearn_force=no version=3.4.6 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id C80FF27BBE9 for ; Wed, 7 Sep 2022 19:37:14 +0100 (BST) Received: from localhost ([::1]:40906 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1oVzvF-0006mn-RN for patchwork@mira.cbaines.net; Wed, 07 Sep 2022 14:37:13 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:38470) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1oVzt9-0005qG-Rk for guix-patches@gnu.org; Wed, 07 Sep 2022 14:35:03 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:39333) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1oVzt9-0005Qn-Gt for guix-patches@gnu.org; Wed, 07 Sep 2022 14:35:03 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1oVzt9-000831-C4 for guix-patches@gnu.org; Wed, 07 Sep 2022 14:35:03 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#57540] [RFC PATCH v2 11/19] gnu: Add python-hatch-vcs.* gnu/packages/python-xyz.scm (python-hatch-vcs): New variable. References: <79d544f7d8ba64b631a6f0f1d2ef0b08@disroot.org> In-Reply-To: <79d544f7d8ba64b631a6f0f1d2ef0b08@disroot.org> Resent-From: Garek Dyszel Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Wed, 07 Sep 2022 18:35:03 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 57540 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 57540@debbugs.gnu.org Received: via spool by 57540-submit@debbugs.gnu.org id=B57540.166257565730767 (code B ref 57540); Wed, 07 Sep 2022 18:35:03 +0000 Received: (at 57540) by debbugs.gnu.org; 7 Sep 2022 18:34:17 +0000 Received: from localhost ([127.0.0.1]:56240 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oVzsO-00080B-PC for submit@debbugs.gnu.org; Wed, 07 Sep 2022 14:34:17 -0400 Received: from knopi.disroot.org ([178.21.23.139]:51288) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oVzsM-000802-F6 for 57540@debbugs.gnu.org; Wed, 07 Sep 2022 14:34:14 -0400 Received: from localhost (localhost [127.0.0.1]) by disroot.org (Postfix) with ESMTP id F170749FB1 for <57540@debbugs.gnu.org>; Wed, 7 Sep 2022 20:34:13 +0200 (CEST) X-Virus-Scanned: SPAM Filter at disroot.org Received: from knopi.disroot.org ([127.0.0.1]) by localhost (disroot.org [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id dhT_3oWiKtoc for <57540@debbugs.gnu.org>; Wed, 7 Sep 2022 20:34:12 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=disroot.org; s=mail; t=1662575651; bh=7mH9haXQTE1A2E0nljjfrT8XE4r5qbehk0N38qG1914=; h=From:To:Subject:Date; b=bq9J7iKI9Si39+pujnTIyoPlWWF6mhNRdeHqNBhobkvyUce4QPNf2vhRnODcy13ov R9udAPw0kkd+IFmbuFLLvYlYjFZGTNP19JU3xdixqdsHuIsns/UgdoH1rttAzL/KWm z2TuibMEDBnjxLRCGZ8p7IZujM96ZOed41n76pMmoUBRXO2b1HSh7VQNoYoj3RwoUG qO2V1xAC5Y2hPNMTTrWAn/vcmtKk/lLrbebh4wSD3bTGia0Nw9gzVoVPaJ6uEfykCs Fod8yn40Rm2B9sLzDUE+g6zy6tf0/4sF4C5VCCmLYtZn3Q0h8Btv9mY6lHLBiHitRW dzrHn1x3mZbOQ== Date: Wed, 07 Sep 2022 14:34:08 -0400 Message-ID: <87edwnvxsv.fsf@disroot.org> Mime-Version: 1.0 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+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" Reply-to: Garek Dyszel X-ACL-Warn: , Garek Dyszel via Guix-patches X-Patchwork-Original-From: Garek Dyszel via Guix-patches via From: Garek Dyszel X-getmail-retrieved-from-mailbox: Patches * gnu/packages/python-xyz.scm (python-hatch-vcs): New variable. --- gnu/packages/python-xyz.scm | 62 +++++++++++++++++++++++++++++++++++++ 1 file changed, 62 insertions(+) diff --git a/gnu/packages/python-xyz.scm b/gnu/packages/python-xyz.scm index 8dd8d902a5..b5b319cfde 100644 --- a/gnu/packages/python-xyz.scm +++ b/gnu/packages/python-xyz.scm @@ -30835,3 +30835,65 @@ (define-public python-hatchling (description "Modern, extensible Python project management") ;; MIT License (license license:expat))) + +(define-public python-hatch-vcs + ;; Tags are not accurate; just use the commit itself. + (let ((commit "367daedb23ba906f3e0714c64392fdd6ffa69ab2") + (revision "1")) + (package + (name "python-hatch-vcs") + (version (git-version "0.2.0" revision commit)) + (source (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/ofek/hatch-vcs") + (commit commit))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "0nlnv32jqiz8ikc013h5simmiqqg0qa7pm0qcbd8yiqq1p43iw05")))) + (build-system python-build-system) + (inputs (list python + python-pypa-build + python-pathspec + python-pluggy-1.0 + python-editables + git)) + ;; python-setuptools-scm-6.4 minimum + (propagated-inputs (list python-hatchling)) + (native-inputs (list python-pytest python-setuptools-scm-7)) + (arguments + ;; Copied directly from the build process for + ;; python-jsonschema-next. + (substitute-keyword-arguments (package-arguments python-jsonschema) + ((#:phases phases) + #~(modify-phases #$phases + (replace 'build + (lambda _ + (setenv "SOURCE_DATE_EPOCH" "315532800") + (invoke "python" + "-m" + "build" + "--wheel" + "--no-isolation" + "."))) + (replace 'install + (lambda* (#:key outputs #:allow-other-keys) + (let ((whl (car (find-files "dist" "\\.whl$")))) + (invoke "pip" + "--no-cache-dir" + "--no-input" + "install" + "--no-deps" + "--prefix" + #$output + whl)))) + (replace 'check + (lambda* (#:key tests? #:allow-other-keys) + (when tests? + (invoke "pytest" "-vvv")))))))) + (home-page "https://ofek.dev/projects/hatch/") + (synopsis "Hatch plugin for versioning with your preferred VCS") + (description "Hatch plugin for versioning with your preferred VCS") + ;; MIT License + (license license:expat)))) From patchwork Wed Sep 7 18:34:13 2022 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Garek Dyszel X-Patchwork-Id: 42284 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id EBAB527BBEC; Wed, 7 Sep 2022 19:37:25 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.7 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,SPF_HELO_PASS,URIBL_BLOCKED autolearn=unavailable autolearn_force=no version=3.4.6 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id 3C4FC27BBE9 for ; Wed, 7 Sep 2022 19:37:25 +0100 (BST) Received: from localhost ([::1]:53938 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1oVzvQ-0007Jw-Cl for patchwork@mira.cbaines.net; Wed, 07 Sep 2022 14:37:24 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:38472) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1oVztA-0005r3-B4 for guix-patches@gnu.org; Wed, 07 Sep 2022 14:35:04 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:39334) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1oVzt9-0005Ud-Vv for guix-patches@gnu.org; Wed, 07 Sep 2022 14:35:04 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1oVzt9-00083A-S5 for guix-patches@gnu.org; Wed, 07 Sep 2022 14:35:03 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#57540] [RFC PATCH v2 12/19] gnu: Add python-hatch-fancy-pypi-readme.* gnu/packages/python-xyz.scm (python-hatch-fancy-pypi-readme): New variable. References: <79d544f7d8ba64b631a6f0f1d2ef0b08@disroot.org> In-Reply-To: <79d544f7d8ba64b631a6f0f1d2ef0b08@disroot.org> Resent-From: Garek Dyszel Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Wed, 07 Sep 2022 18:35:03 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 57540 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 57540@debbugs.gnu.org Received: via spool by 57540-submit@debbugs.gnu.org id=B57540.166257566030784 (code B ref 57540); Wed, 07 Sep 2022 18:35:03 +0000 Received: (at 57540) by debbugs.gnu.org; 7 Sep 2022 18:34:20 +0000 Received: from localhost ([127.0.0.1]:56243 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oVzsS-00080S-41 for submit@debbugs.gnu.org; Wed, 07 Sep 2022 14:34:20 -0400 Received: from knopi.disroot.org ([178.21.23.139]:52044) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oVzsQ-00080J-Kb for 57540@debbugs.gnu.org; Wed, 07 Sep 2022 14:34:19 -0400 Received: from localhost (localhost [127.0.0.1]) by disroot.org (Postfix) with ESMTP id 13D3949FCF for <57540@debbugs.gnu.org>; Wed, 7 Sep 2022 20:34:18 +0200 (CEST) X-Virus-Scanned: SPAM Filter at disroot.org Received: from knopi.disroot.org ([127.0.0.1]) by localhost (disroot.org [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id 2e0g15u2BZg0 for <57540@debbugs.gnu.org>; Wed, 7 Sep 2022 20:34:16 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=disroot.org; s=mail; t=1662575656; bh=GDJ8A0HgDX8SVDTjn/Y4ZhFYTfapRbQqFcb9Q8phFT0=; h=From:To:Subject:Date; b=UTlXnzpqlqv2p06gRYl0nba1+c3hQsfnWBMBzmlcU4x1Jlp6Ad0C84sF2O6+vreB2 7JgQvLj/UJnVCEl0KJG9kJdJKTxSy7tsTD+l6cKdQWqre9+zQzJfei2sOzZl9h48zW HNDM5ANGqJBiVB8/mJsCG7rOdsfihGplQdsTuoOrsX+BsIS670stc/wvQdaKqlkj1V 3i1lYYNgrJXLoNY7R8pOa6vavCk54cTrZ1p57NsCoem1kNUTpGQBG6dy5uU+OUv/3V 3r1vaGQoDkOzTbQcsF5HflD/o+FtGtWJKLNHJwhlH3L5mqUqKHv5yvPCUbRF4Gibim z40BoEsnSD4sg== Date: Wed, 07 Sep 2022 14:34:13 -0400 Message-ID: <87czc7vxsq.fsf@disroot.org> Mime-Version: 1.0 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+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" Reply-to: Garek Dyszel X-ACL-Warn: , Garek Dyszel via Guix-patches X-Patchwork-Original-From: Garek Dyszel via Guix-patches via From: Garek Dyszel X-getmail-retrieved-from-mailbox: Patches * gnu/packages/python-xyz.scm (python-hatch-fancy-pypi-readme): New variable. --- gnu/packages/python-xyz.scm | 66 +++++++++++++++++++++++++++++++++++++ 1 file changed, 66 insertions(+) diff --git a/gnu/packages/python-xyz.scm b/gnu/packages/python-xyz.scm index b5b319cfde..2c358b8c58 100644 --- a/gnu/packages/python-xyz.scm +++ b/gnu/packages/python-xyz.scm @@ -30897,3 +30897,69 @@ (define-public python-hatch-vcs (description "Hatch plugin for versioning with your preferred VCS") ;; MIT License (license license:expat)))) + +(define-public python-hatch-fancy-pypi-readme + (package + (name "python-hatch-fancy-pypi-readme") + (version "22.3.0") + (source (origin + (method url-fetch) + (uri (pypi-uri "hatch_fancy_pypi_readme" version)) + (sha256 + (base32 + "1ykfz1sbz58xbjw5k9xpmn5r6ji16w8vag47j8f969bqy3w52ikx")))) + (build-system python-build-system) + (propagated-inputs (list python-hatchling python-tomli + python-typing-extensions)) + (native-inputs (list python + python-pypa-build + python-pathspec + python-pluggy-1.0 + python-editables + python-hatchling + python-wheel + python-pytest + python-pytest-icdiff)) + (arguments + `(#:phases (modify-phases %standard-phases + (add-before 'build 'disable-broken-tests + (lambda _ + ;; Skip the tests for "building". Guix already does this, + ;; so we don't need to test it for any Guix package. + (chdir "tests") + (invoke "sed" "-i" + "11ipytest.skip('No need to test building, guix does this already', allow_module_level=True)" + "test_end_to_end.py") + (chdir "../"))) + ;; XXX: PEP 517 manual build/install procedures copied from + ;; python-isort. + (replace 'build + (lambda _ + ;; ZIP does not support timestamps before 1980. + (setenv "SOURCE_DATE_EPOCH" "315532800") + (invoke "python" + "-m" + "build" + "--wheel" + "--no-isolation" + "."))) + (replace 'install + (lambda* (#:key outputs #:allow-other-keys) + (let ((whl (car (find-files "dist" "\\.whl$")))) + (invoke "pip" + "--no-cache-dir" + "--no-input" + "install" + "--no-deps" + "--prefix" + (assoc-ref %outputs "out") + whl)))) + (replace 'check + (lambda* (#:key tests? #:allow-other-keys) + (when tests? + (invoke "pytest" "-vv"))))))) + (home-page "https://github.com/hynek/hatch-fancy-pypi-readme") + (synopsis "Fancy PyPI READMEs with Hatch") + (description "Fancy PyPI READMEs with Hatch") + ;; MIT License + (license license:expat))) From patchwork Wed Sep 7 18:34:19 2022 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Garek Dyszel X-Patchwork-Id: 42288 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id BB7BE27BBEA; Wed, 7 Sep 2022 19:38:52 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.7 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,SPF_HELO_PASS,URIBL_BLOCKED autolearn=unavailable autolearn_force=no version=3.4.6 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id 7778227BBE9 for ; Wed, 7 Sep 2022 19:38:52 +0100 (BST) Received: from localhost ([::1]:45086 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1oVzwp-0000ey-IZ for patchwork@mira.cbaines.net; Wed, 07 Sep 2022 14:38:51 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:38478) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1oVztB-0005tR-On for guix-patches@gnu.org; Wed, 07 Sep 2022 14:35:05 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:39338) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1oVztB-0005ZG-Ds for guix-patches@gnu.org; Wed, 07 Sep 2022 14:35:05 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1oVztA-00083H-9G for guix-patches@gnu.org; Wed, 07 Sep 2022 14:35:04 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#57540] [RFC PATCH v2 13/19] gnu: Add python-pprintpp.* gnu/packages/python-xyz.scm (python-pprintpp): New variable. References: <79d544f7d8ba64b631a6f0f1d2ef0b08@disroot.org> In-Reply-To: <79d544f7d8ba64b631a6f0f1d2ef0b08@disroot.org> Resent-From: Garek Dyszel Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Wed, 07 Sep 2022 18:35:04 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 57540 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 57540@debbugs.gnu.org Received: via spool by 57540-submit@debbugs.gnu.org id=B57540.166257567130807 (code B ref 57540); Wed, 07 Sep 2022 18:35:04 +0000 Received: (at 57540) by debbugs.gnu.org; 7 Sep 2022 18:34:31 +0000 Received: from localhost ([127.0.0.1]:56246 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oVzsc-00080p-JV for submit@debbugs.gnu.org; Wed, 07 Sep 2022 14:34:30 -0400 Received: from knopi.disroot.org ([178.21.23.139]:53662) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oVzsa-00080h-LO for 57540@debbugs.gnu.org; Wed, 07 Sep 2022 14:34:29 -0400 Received: from localhost (localhost [127.0.0.1]) by disroot.org (Postfix) with ESMTP id 17DB749FB4 for <57540@debbugs.gnu.org>; Wed, 7 Sep 2022 20:34:28 +0200 (CEST) X-Virus-Scanned: SPAM Filter at disroot.org Received: from knopi.disroot.org ([127.0.0.1]) by localhost (disroot.org [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id CR8qYAAhDT21 for <57540@debbugs.gnu.org>; Wed, 7 Sep 2022 20:34:26 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=disroot.org; s=mail; t=1662575662; bh=HprV3rasm0f+1iGUNKmDbme0tqHirvVG4rrHmDH3HIc=; h=From:To:Subject:Date; b=GVfmnt7IPjUgihJupcraPBRIt52gqMau+AO7wIYRC9502h1hXPIbMM3m0jVqJliDo NoKmyjxrOXrUhExBTygP2SOZg48cflBzH9F3aP7Ge4TaMnguKKX5jgAzb7HOTtLgcZ PrpctSc4dsfoz89HZ4iOo4xYVw2xCQ/I2gw+UQ7usEUvE3hGDwZ6wMAj6JqSCFf369 +jW/OGbCoM74Z53VCdVGzIpJYBP9ijQDq0rIT63r957jxeEfWTSydIwrM+26N0zsYk jmpSmBlrGnpblNvv/5EnkziBeJ85W+ee8FlsIGwXGlpYKyF41RMrmLP/HSs8HK4ODN zhNFHtDPoQBTg== Date: Wed, 07 Sep 2022 14:34:19 -0400 Message-ID: <87bkrrvxsk.fsf@disroot.org> Mime-Version: 1.0 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+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" Reply-to: Garek Dyszel X-ACL-Warn: , Garek Dyszel via Guix-patches X-Patchwork-Original-From: Garek Dyszel via Guix-patches via From: Garek Dyszel X-getmail-retrieved-from-mailbox: Patches * gnu/packages/python-xyz.scm (python-pprintpp): New variable. --- gnu/packages/python-xyz.scm | 58 +++++++++++++++++++++++++++++++++++++ 1 file changed, 58 insertions(+) diff --git a/gnu/packages/python-xyz.scm b/gnu/packages/python-xyz.scm index 2c358b8c58..90bf269341 100644 --- a/gnu/packages/python-xyz.scm +++ b/gnu/packages/python-xyz.scm @@ -30963,3 +30963,61 @@ (define-public python-hatch-fancy-pypi-readme (description "Fancy PyPI READMEs with Hatch") ;; MIT License (license license:expat))) + +(define-public python-pprintpp + ;; Git version tags are inaccurate for this package, too; use the + ;; bare commit. + (let ((commit "7ede6da1f3062bbfb32ee04353d675a5bff185e0") + (revision "1")) + (package + (name "python-pprintpp") + (version (git-version "0.3.0" revision commit)) + (source (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/wolever/pprintpp") + (commit commit))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "0nk935m3ig8sc32laqbh698vwpk037yw27gd3nvwwzdv42jal2li")))) + (inputs (list python python-pypa-build python-hypothesis python-wheel + python-parameterized)) + (native-inputs (list python-pytest python-nose)) + (build-system python-build-system) + (arguments + ;; Copied directly from the build process for + ;; python-jsonschema-next. + (substitute-keyword-arguments (package-arguments python-jsonschema) + ((#:phases phases) + #~(modify-phases #$phases + (replace 'build + (lambda _ + (setenv "SOURCE_DATE_EPOCH" "315532800") + (invoke "python" + "-m" + "build" + "--wheel" + "--no-isolation" + "."))) + (replace 'install + (lambda* (#:key outputs #:allow-other-keys) + (let ((whl (car (find-files "dist" "\\.whl$")))) + (invoke "pip" + "--no-cache-dir" + "--no-input" + "install" + "--no-deps" + "--prefix" + #$output + whl)))) + (replace 'check + (lambda* (#:key tests? #:allow-other-keys) + (when tests? + (invoke "python" "test.py")))))))) + + (home-page "https://github.com/wolever/pprintpp") + (synopsis "Drop-in replacement for pprint that's actually pretty") + (description + "This package provides a drop-in replacement for pprint that's actually pretty.") + (license license:bsd-3)))) From patchwork Wed Sep 7 18:34:29 2022 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Garek Dyszel X-Patchwork-Id: 42286 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id 3FA3E27BBEA; Wed, 7 Sep 2022 19:38:09 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.7 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,SPF_HELO_PASS,URIBL_BLOCKED autolearn=unavailable autolearn_force=no version=3.4.6 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id C76AA27BBE9 for ; Wed, 7 Sep 2022 19:38:08 +0100 (BST) Received: from localhost ([::1]:33372 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1oVzw7-00087o-TZ for patchwork@mira.cbaines.net; Wed, 07 Sep 2022 14:38:07 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:38474) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1oVztB-0005sV-70 for guix-patches@gnu.org; Wed, 07 Sep 2022 14:35:05 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:39335) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1oVztA-0005Yv-T7 for guix-patches@gnu.org; Wed, 07 Sep 2022 14:35:04 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1oVztA-00083P-OM for guix-patches@gnu.org; Wed, 07 Sep 2022 14:35:04 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#57540] [RFC PATCH v2 14/19] gnu: Add python-icdiff.* gnu/packages/python-xyz.scm (python-icdiff): New variable. References: <79d544f7d8ba64b631a6f0f1d2ef0b08@disroot.org> In-Reply-To: <79d544f7d8ba64b631a6f0f1d2ef0b08@disroot.org> Resent-From: Garek Dyszel Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Wed, 07 Sep 2022 18:35:04 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 57540 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 57540@debbugs.gnu.org Received: via spool by 57540-submit@debbugs.gnu.org id=B57540.166257568130831 (code B ref 57540); Wed, 07 Sep 2022 18:35:04 +0000 Received: (at 57540) by debbugs.gnu.org; 7 Sep 2022 18:34:41 +0000 Received: from localhost ([127.0.0.1]:56249 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oVzsm-00081C-VI for submit@debbugs.gnu.org; Wed, 07 Sep 2022 14:34:41 -0400 Received: from knopi.disroot.org ([178.21.23.139]:55618) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oVzsk-000814-Vi for 57540@debbugs.gnu.org; Wed, 07 Sep 2022 14:34:39 -0400 Received: from localhost (localhost [127.0.0.1]) by disroot.org (Postfix) with ESMTP id 6809440123 for <57540@debbugs.gnu.org>; Wed, 7 Sep 2022 20:34:38 +0200 (CEST) X-Virus-Scanned: SPAM Filter at disroot.org Received: from knopi.disroot.org ([127.0.0.1]) by localhost (disroot.org [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id UL4nB2Od0dom for <57540@debbugs.gnu.org>; Wed, 7 Sep 2022 20:34:37 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=disroot.org; s=mail; t=1662575672; bh=sdklI/rCJ+MG5pSUKtXHb0EpdH75q9qT9fwiv25+zpA=; h=From:To:Subject:Date; b=MWeM8JUC2CjUkG2UdHvoQAAbzxn77afu/7aaugYMg1JnE2GYbQ426H7ctx2IoedrM Y7TO6libCQl6zo6b/GDAk4OM96bpJWiddUhg9RpW2TJj/Sd9VHDEToworCip6uL6rg jwl8FLVM1+RslleCaE47SbH81lqcJQ7WPFdqeSeHJn4vqMD8ykp5idp57Z6n+MiDK9 yX9wNZeGtWKutfruVoWdeMLf2O85YWX55h9V0y6tnp78MYBcdGxI2WseFz9xVrpzIW EOKUSDestjGAMHW8sptZgI4ZXuXIjdvNUeallOwt+6ubGyZj0Q2pTQMh4ZlYt+EJFc kHIqk2HhRjNog== Date: Wed, 07 Sep 2022 14:34:29 -0400 Message-ID: <87a67bvxsa.fsf@disroot.org> Mime-Version: 1.0 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+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" Reply-to: Garek Dyszel X-ACL-Warn: , Garek Dyszel via Guix-patches X-Patchwork-Original-From: Garek Dyszel via Guix-patches via From: Garek Dyszel X-getmail-retrieved-from-mailbox: Patches * gnu/packages/python-xyz.scm (python-icdiff): New variable. --- gnu/packages/python-xyz.scm | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) diff --git a/gnu/packages/python-xyz.scm b/gnu/packages/python-xyz.scm index 90bf269341..1651f00054 100644 --- a/gnu/packages/python-xyz.scm +++ b/gnu/packages/python-xyz.scm @@ -31021,3 +31021,23 @@ (define-public python-pprintpp (description "This package provides a drop-in replacement for pprint that's actually pretty.") (license license:bsd-3)))) + +(define-public python-icdiff + (package + (name "python-icdiff") + (version "2.0.5") + (source (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/jeffkaufman/icdiff") + (commit (string-append "release-" version)))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "14gr9j2h7sfw47pwfzspm4zinywhqmzm4a0qz5c2k9wbixz120a4")))) + (build-system python-build-system) + (home-page "https://www.jefftk.com/icdiff") + (synopsis "Improved colored diff") + (description "Improved colored diff.") + ;; Python Software Foundation License version 2 + (license license:psfl))) From patchwork Wed Sep 7 18:34:34 2022 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Patchwork-Submitter: Garek Dyszel X-Patchwork-Id: 42287 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id DB8FC27BBEA; Wed, 7 Sep 2022 19:38:36 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.7 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,SPF_HELO_PASS,URIBL_BLOCKED autolearn=unavailable autolearn_force=no version=3.4.6 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id 9BAC327BBE9 for ; Wed, 7 Sep 2022 19:38:36 +0100 (BST) Received: from localhost ([::1]:42592 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1oVzwZ-0000Ab-PP for patchwork@mira.cbaines.net; Wed, 07 Sep 2022 14:38:35 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:38476) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1oVztB-0005t8-JT for guix-patches@gnu.org; Wed, 07 Sep 2022 14:35:05 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:39337) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1oVztB-0005Z8-7m for guix-patches@gnu.org; Wed, 07 Sep 2022 14:35:05 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1oVztB-00083W-3w for guix-patches@gnu.org; Wed, 07 Sep 2022 14:35:05 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#57540] [RFC PATCH v2 15/19] gnu: Add python-pytest-icdiff.* gnu/packages/python-check.scm (python-pytest-icdiff): New variable. References: <79d544f7d8ba64b631a6f0f1d2ef0b08@disroot.org> In-Reply-To: <79d544f7d8ba64b631a6f0f1d2ef0b08@disroot.org> Resent-From: Garek Dyszel Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Wed, 07 Sep 2022 18:35:05 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 57540 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 57540@debbugs.gnu.org Received: via spool by 57540-submit@debbugs.gnu.org id=B57540.166257568430847 (code B ref 57540); Wed, 07 Sep 2022 18:35:05 +0000 Received: (at 57540) by debbugs.gnu.org; 7 Sep 2022 18:34:44 +0000 Received: from localhost ([127.0.0.1]:56252 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oVzsq-00081S-8d for submit@debbugs.gnu.org; Wed, 07 Sep 2022 14:34:44 -0400 Received: from knopi.disroot.org ([178.21.23.139]:55938) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oVzsn-00081K-P2 for 57540@debbugs.gnu.org; Wed, 07 Sep 2022 14:34:42 -0400 Received: from localhost (localhost [127.0.0.1]) by disroot.org (Postfix) with ESMTP id 365C240143 for <57540@debbugs.gnu.org>; Wed, 7 Sep 2022 20:34:41 +0200 (CEST) X-Virus-Scanned: SPAM Filter at disroot.org Received: from knopi.disroot.org ([127.0.0.1]) by localhost (disroot.org [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id N4j_vLrocnqI for <57540@debbugs.gnu.org>; Wed, 7 Sep 2022 20:34:40 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=disroot.org; s=mail; t=1662575677; bh=lacvLdrihcFOXthMNaYMMylINg+0ZqM+R9qlLgnnYbE=; h=From:To:Subject:Date; b=AmEsDtEavI1UWaRYmU8NBe7hpHsxky0sCRbCdpOVo8CtEAvzYkiX8Eci+pFt8XSHz N2+Lv8bEhamlHHlFSQ0SlRFp1bf5vZvPAxlGM9281+eeXeSVp0V/Isa7GZJfxoy2Qs u2hsyICbXx8/oTcpzjHVhWZ51OOt4IDHjNhD8NQjw3odou0Av2vBJrK9WUV26/7oSK zKkN6J3Xmc7DdfHYylgIL7SHb2PsgqrjVu0zXlmSgEd1j0FL4dKEXH5M8xc36mdcr0 +1C2mEXRjpdwOS7OJ8SNeqMWGFdKHS9LMRR/n1ELpr3+npanq8d4nN8CaW4IYH5uSg 3Hfd63Jd8tBGw== Date: Wed, 07 Sep 2022 14:34:34 -0400 Message-ID: <878rmvvxs5.fsf@disroot.org> Mime-Version: 1.0 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+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" Reply-to: Garek Dyszel X-ACL-Warn: , Garek Dyszel via Guix-patches X-Patchwork-Original-From: Garek Dyszel via Guix-patches via From: Garek Dyszel X-getmail-retrieved-from-mailbox: Patches * gnu/packages/python-check.scm (python-pytest-icdiff): New variable. --- gnu/packages/python-check.scm | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) diff --git a/gnu/packages/python-check.scm b/gnu/packages/python-check.scm index 5ee1d41f34..6199b1e147 100644 --- a/gnu/packages/python-check.scm +++ b/gnu/packages/python-check.scm @@ -16,6 +16,7 @@ ;;; Copyright © 2022 Malte Frank Gerdes ;;; Copyright © 2022 Felix Gruber ;;; Copyright © 2022 Tomasz Jeneralczyk +;;; Copyright © 2022 Garek Dyszel ;;; ;;; This file is part of GNU Guix. ;;; @@ -2468,3 +2469,24 @@ (define-public python-xvfbwrapper physical display. Only a network layer is necessary. Xvfb is useful for running acceptance tests on headless servers.") (license license:expat))) + +(define-public python-pytest-icdiff + (package + (name "python-pytest-icdiff") + (version "0.6") + (source (origin + ;; Tests fail in git version, but not in the PyPi version. + ;; The PyPi version is also more up-to-date. + (method url-fetch) + (uri (pypi-uri "pytest-icdiff" version)) + (sha256 + (base32 + "1b8vzn2hvv6x25w1s446q1rfsbdik617lzpal3qb94x8a12yzwg8")))) + (build-system python-build-system) + (propagated-inputs (list python python-pypa-build python-icdiff + python-pprintpp)) + (native-inputs (list python-pytest)) + (home-page "https://github.com/hjwp/pytest-icdiff") + (synopsis "Use icdiff for better error messages in pytest assertions") + (description "Use icdiff for better error messages in pytest assertions.") + (license (license:non-copyleft "LICENSE")))) From patchwork Wed Sep 7 18:34:39 2022 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Patchwork-Submitter: Garek Dyszel X-Patchwork-Id: 42290 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id DF3B027BBEA; Wed, 7 Sep 2022 19:39:22 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.7 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,SPF_HELO_PASS,URIBL_BLOCKED autolearn=unavailable autolearn_force=no version=3.4.6 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id 9D6F127BBE9 for ; Wed, 7 Sep 2022 19:39:22 +0100 (BST) Received: from localhost ([::1]:37534 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1oVzxJ-0001EW-QE for patchwork@mira.cbaines.net; Wed, 07 Sep 2022 14:39:21 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:41314) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1oVztC-0005tm-0M for guix-patches@gnu.org; Wed, 07 Sep 2022 14:35:06 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:39339) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1oVztB-0005ZQ-LV for guix-patches@gnu.org; Wed, 07 Sep 2022 14:35:05 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1oVztB-00083j-HT for guix-patches@gnu.org; Wed, 07 Sep 2022 14:35:05 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#57540] [RFC PATCH v2 16/19] gnu: Add python-editables.* gnu/packages/python-build.scm (python-editables): New variable. References: <79d544f7d8ba64b631a6f0f1d2ef0b08@disroot.org> In-Reply-To: <79d544f7d8ba64b631a6f0f1d2ef0b08@disroot.org> Resent-From: Garek Dyszel Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Wed, 07 Sep 2022 18:35:05 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 57540 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 57540@debbugs.gnu.org Received: via spool by 57540-submit@debbugs.gnu.org id=B57540.166257568830864 (code B ref 57540); Wed, 07 Sep 2022 18:35:05 +0000 Received: (at 57540) by debbugs.gnu.org; 7 Sep 2022 18:34:48 +0000 Received: from localhost ([127.0.0.1]:56255 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oVzst-00081j-Kj for submit@debbugs.gnu.org; Wed, 07 Sep 2022 14:34:47 -0400 Received: from knopi.disroot.org ([178.21.23.139]:56432) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oVzss-00081c-2I for 57540@debbugs.gnu.org; Wed, 07 Sep 2022 14:34:46 -0400 Received: from localhost (localhost [127.0.0.1]) by disroot.org (Postfix) with ESMTP id 906DB49FDD for <57540@debbugs.gnu.org>; Wed, 7 Sep 2022 20:34:45 +0200 (CEST) X-Virus-Scanned: SPAM Filter at disroot.org Received: from knopi.disroot.org ([127.0.0.1]) by localhost (disroot.org [127.0.0.1]) (amavisd-new, port 10024) with UTF8SMTP id v3yQ8zMFCLk4 for <57540@debbugs.gnu.org>; Wed, 7 Sep 2022 20:34:44 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=disroot.org; s=mail; t=1662575682; bh=qmcPxoBO+OBS1rmPFD2kj+zFqmaRZA0AcMWdywJSAuM=; h=From:To:Subject:Date; b=iJvI4ZTMI5W670bGgY/vSo/QouCx/QonkP1jgsE4/jbTiVPA6TfxKEDb5gi3lZ6Hs KJn0vjwk2Uar9ZeSNIPhGiOFK/UxoRk6X+R+gf+6v10FCgn7v0souGlrKyfZ62O21R Fm+Jh6PrbL40U86kF62DBRfj3eUCHNFye09J0cRN3J8CRhH7UCJQczeVtNJPSsxbf2 xb8cOPuisSxeFmBXaBjDMNNwLA58YzKmWmQJAJrzfAirHniZx3NR6R9ONQW94OGI4/ uIZBkVfwF+nalaxRIrRcfPa/iMdAujpHSOV1xCmp+TzE9GlaGmprdOqxHGJeNlHMEF H4BWp6j6FrmXA== Date: Wed, 07 Sep 2022 14:34:39 -0400 Message-ID: <877d2fvxs0.fsf@disroot.org> Mime-Version: 1.0 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+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" Reply-to: Garek Dyszel X-ACL-Warn: , Garek Dyszel via Guix-patches X-Patchwork-Original-From: Garek Dyszel via Guix-patches via From: Garek Dyszel X-getmail-retrieved-from-mailbox: Patches * gnu/packages/python-build.scm (python-editables): New variable. --- gnu/packages/python-build.scm | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) diff --git a/gnu/packages/python-build.scm b/gnu/packages/python-build.scm index e7023aca0c..d7f93543f4 100644 --- a/gnu/packages/python-build.scm +++ b/gnu/packages/python-build.scm @@ -7,6 +7,7 @@ ;;; Copyright © 2018, 2021, 2022 Maxim Cournoyer ;;; Copyright © 2021 Tobias Geerinckx-Rice ;;; Copyright © 2021, 2022 Ricardo Wurmus +;;; Copyright © 2022 Garek Dyszel ;;; ;;; This file is part of GNU Guix. ;;; @@ -474,3 +475,22 @@ (define-public python-setuptools-scm @dfn{software configuration management} (SCM) metadata instead of declaring them as the version argument or in a SCM managed file.") (license license:expat))) + +(define-public python-editables + (package + (name "python-editables") + (version "0.3") + (source (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/pfmoore/editables") + (commit version))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "1gbfkgzmrmbd4ycshm09fr2wd4f1n9gq7s567jgkavhfkn7s2pn1")))) + (build-system python-build-system) + (home-page "https://github.com/pfmoore/editables") + (synopsis "Editable installations") + (description "Editable installations") + (license license:expat))) From patchwork Wed Sep 7 18:34:44 2022 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Garek Dyszel X-Patchwork-Id: 42291 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id 0C12227BBEA; Wed, 7 Sep 2022 19:39:41 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.7 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,SPF_HELO_PASS,URIBL_BLOCKED autolearn=unavailable autolearn_force=no version=3.4.6 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id BC5D827BBE9 for ; Wed, 7 Sep 2022 19:39:40 +0100 (BST) Received: from localhost ([::1]:45344 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1oVzxb-0001Ok-Ts for patchwork@mira.cbaines.net; Wed, 07 Sep 2022 14:39:39 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:41316) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1oVztC-0005ug-Dx for guix-patches@gnu.org; Wed, 07 Sep 2022 14:35:06 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:39340) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1oVztC-0005Zf-32 for guix-patches@gnu.org; Wed, 07 Sep 2022 14:35:06 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1oVztB-00083r-UY for guix-patches@gnu.org; Wed, 07 Sep 2022 14:35:05 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#57540] [RFC PATCH v2 17/19] gnu: Add python-pluggy-1.0.* gnu/packages/python-xyz.scm (python-pluggy-1.0): New variable. References: <79d544f7d8ba64b631a6f0f1d2ef0b08@disroot.org> In-Reply-To: <79d544f7d8ba64b631a6f0f1d2ef0b08@disroot.org> Resent-From: Garek Dyszel Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Wed, 07 Sep 2022 18:35:05 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 57540 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 57540@debbugs.gnu.org Received: via spool by 57540-submit@debbugs.gnu.org id=B57540.166257569930901 (code B ref 57540); Wed, 07 Sep 2022 18:35:05 +0000 Received: (at 57540) by debbugs.gnu.org; 7 Sep 2022 18:34:59 +0000 Received: from localhost ([127.0.0.1]:56261 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oVzt5-00082L-Ab for submit@debbugs.gnu.org; Wed, 07 Sep 2022 14:34:59 -0400 Received: from knopi.disroot.org ([178.21.23.139]:59208) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oVzt3-00082D-AK for 57540@debbugs.gnu.org; Wed, 07 Sep 2022 14:34:57 -0400 Received: from localhost (localhost [127.0.0.1]) by disroot.org (Postfix) with ESMTP id AF97149FD6 for <57540@debbugs.gnu.org>; Wed, 7 Sep 2022 20:34:56 +0200 (CEST) X-Virus-Scanned: SPAM Filter at disroot.org Received: from knopi.disroot.org ([127.0.0.1]) by localhost (disroot.org [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id btY7u-U1kctN for <57540@debbugs.gnu.org>; Wed, 7 Sep 2022 20:34:55 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=disroot.org; s=mail; t=1662575687; bh=OBlatGYCybQ3KdpAtBcmJWPWG4m2xCmIQgbQQc01lYs=; h=From:To:Subject:Date; b=fys9ccMGQHNYLsmakK8bzTxjUVSOg8quHZ6+8LrCGyP3L4wC10Vj/Zz/aDVp/euFl 4IJW4HAC1YdM1T8sZtmiXQVgpclXb42ncEHcHNV3urzeu680Ft3TidX9zktT+nzzmD qG5FjspPzzFvW1tCPumUFZQ5WywzuMyk50U7hCvyU/vmZKIqQjB0c8wl5rHBi8yOOv diI8nn/kEEpK4EOl0oLVawBUkTbKyrJ8zDtSSrxBBCZEcb9rx28Ad5kAYB16SQk6Cf PcMvwkoEnozVfKriFVfdSjFyQFfoizCThwRITj1SChbA9dcfW4jNcZU2pEb2AEBhM9 NubIY9UYrSduw== Date: Wed, 07 Sep 2022 14:34:44 -0400 Message-ID: <875yhzvxrv.fsf@disroot.org> Mime-Version: 1.0 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+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" Reply-to: Garek Dyszel X-ACL-Warn: , Garek Dyszel via Guix-patches X-Patchwork-Original-From: Garek Dyszel via Guix-patches via From: Garek Dyszel X-getmail-retrieved-from-mailbox: Patches * gnu/packages/python-xyz.scm (python-pluggy-1.0): New variable. --- gnu/packages/python-xyz.scm | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) diff --git a/gnu/packages/python-xyz.scm b/gnu/packages/python-xyz.scm index 1651f00054..7febf50286 100644 --- a/gnu/packages/python-xyz.scm +++ b/gnu/packages/python-xyz.scm @@ -14585,6 +14585,26 @@ (define-public python-pluggy (home-page "https://pypi.org/project/pluggy/") (license license:expat))) +(define-public python-pluggy-1.0 + (package + (inherit python-pluggy) + (name "python-pluggy") + (version "1.0.0") + (source (origin + ;; Won't build from github tarballs, throws error: + ;; "LookupError: setuptools-scm was unable to detect + ;; version for + ;; '/tmp/guix-build-python-pluggy-1.0-1.0.0.drv-0/source'." + ;; + ;; The PyPi version does not throw this error. + (method url-fetch) + (uri (pypi-uri "pluggy" version)) + (sha256 + (base32 + "0n8iadlas2z1b4h0fc73b043c7iwfvx9rgvqm1azjmffmhxkf922")))) + (inputs (list python python-pypa-build python-wheel)) + (native-inputs (list python-pytest python-setuptools-scm)))) + (define-public python-plumbum (package (name "python-plumbum") From patchwork Wed Sep 7 18:34:49 2022 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Garek Dyszel X-Patchwork-Id: 42285 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id 8F8F327BBEA; Wed, 7 Sep 2022 19:37:51 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.7 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,SPF_HELO_PASS,URIBL_BLOCKED autolearn=unavailable autolearn_force=no version=3.4.6 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id C4CC627BBE9 for ; Wed, 7 Sep 2022 19:37:50 +0100 (BST) Received: from localhost ([::1]:33370 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1oVzvo-0007yx-Mj for patchwork@mira.cbaines.net; Wed, 07 Sep 2022 14:37:48 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:41320) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1oVztD-0005vA-Fv for guix-patches@gnu.org; Wed, 07 Sep 2022 14:35:08 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:39344) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1oVztD-0005a2-6K for guix-patches@gnu.org; Wed, 07 Sep 2022 14:35:07 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1oVztD-00084D-1x for guix-patches@gnu.org; Wed, 07 Sep 2022 14:35:07 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#57540] [RFC PATCH v2 18/19] gnu: Add python-setuptools-scm-7.* gnu/packages/python.xyz.scm (python-setuptools-scm-7): New variable. References: <79d544f7d8ba64b631a6f0f1d2ef0b08@disroot.org> In-Reply-To: <79d544f7d8ba64b631a6f0f1d2ef0b08@disroot.org> Resent-From: Garek Dyszel Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Wed, 07 Sep 2022 18:35:07 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 57540 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 57540@debbugs.gnu.org Received: via spool by 57540-submit@debbugs.gnu.org id=B57540.166257570330937 (code B ref 57540); Wed, 07 Sep 2022 18:35:07 +0000 Received: (at 57540) by debbugs.gnu.org; 7 Sep 2022 18:35:03 +0000 Received: from localhost ([127.0.0.1]:56265 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oVzt8-00082r-Mq for submit@debbugs.gnu.org; Wed, 07 Sep 2022 14:35:03 -0400 Received: from knopi.disroot.org ([178.21.23.139]:60036) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oVzt6-00082S-CP for 57540@debbugs.gnu.org; Wed, 07 Sep 2022 14:35:00 -0400 Received: from localhost (localhost [127.0.0.1]) by disroot.org (Postfix) with ESMTP id B671640122 for <57540@debbugs.gnu.org>; Wed, 7 Sep 2022 20:34:59 +0200 (CEST) X-Virus-Scanned: SPAM Filter at disroot.org Received: from knopi.disroot.org ([127.0.0.1]) by localhost (disroot.org [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id DeafAPK9giHU for <57540@debbugs.gnu.org>; Wed, 7 Sep 2022 20:34:58 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=disroot.org; s=mail; t=1662575692; bh=BWKRHB92GdCjU7/e0hRzydKCWqahqYhmTbsVVNgtGw4=; h=From:To:Subject:Date; b=WggLOA7izDvpLeivq1gA6EITKPSKO8A6ccwvMvHf/d21I+COltUY7LG9ngSXexsG1 Z8scItE6cvQLu7U8KBF6EukgYX6xgXk+q1sk7hxiPvozCGb5U/UvYmUzYNZ1+Y3Tlp YB7upTMtIIVNOcwXk0LefysDo3nLRLE/cqbmHRar4Q6SaUnNtiikG5DjOMdsaP63S9 C20Gooew1185aPYKFEQIc/hHxJxD3jNQHDlPmhqFFfmDpGHvKY7JNSFRyDjtDY9LOX fK52c7Gy3CvttNzEcn8quNYl2K5IZ2KUNui72uvyLNpDu2El6O1YW79ctJfKCUZw4X o6a9LQJsbnmRA== Date: Wed, 07 Sep 2022 14:34:49 -0400 Message-ID: <874jxjvxrq.fsf@disroot.org> Mime-Version: 1.0 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+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" Reply-to: Garek Dyszel X-ACL-Warn: , Garek Dyszel via Guix-patches X-Patchwork-Original-From: Garek Dyszel via Guix-patches via From: Garek Dyszel X-getmail-retrieved-from-mailbox: Patches * gnu/packages/python.xyz.scm (python-setuptools-scm-7): New variable. --- gnu/packages/python-xyz.scm | 32 ++++++++++++++++++++++++++++++++ 1 file changed, 32 insertions(+) diff --git a/gnu/packages/python-xyz.scm b/gnu/packages/python-xyz.scm index 7febf50286..0e67adc95f 100644 --- a/gnu/packages/python-xyz.scm +++ b/gnu/packages/python-xyz.scm @@ -20859,6 +20859,38 @@ (define-public python-setuptools-scm-git-archive belong to tagged versions.") (license license:expat))) +(define-public python-setuptools-scm-7 + ;; The version tags are inaccurate. Use the bare commit. + (let ((commit "c4d37004ab0a16c2cacdc58ef06b36956db02a9f") + (revision "1")) + (package + (name "python-setuptools-scm") + (version (git-version "7.0.5" revision commit)) + (source (origin + ;; Won't build with git. Fails with error: + ;; "ERROR Backend subproccess exited when trying to invoke + ;; get_requires_for_build_wheel" + ;; + ;; The PyPi version has no such issue. + (method url-fetch) + (uri (pypi-uri "setuptools_scm" version)) + (sha256 + (base32 + "0i28zghzdzzkm9w8rrjwphggkfs58nh6xnqsjhmqjvqxfypi67h3")))) + (build-system python-build-system) + (propagated-inputs (list python-importlib-metadata python-packaging + python-tomli python-typing-extensions)) + (native-inputs (list python + python-pypa-build + python-pytest + python-virtualenv + git-minimal + mercurial)) + (home-page "https://github.com/pypa/setuptools_scm/") + (synopsis "The blessed package to manage your versions by scm tags") + (description "The blessed package to manage your versions by scm tags.") + (license license:expat)))) + (define-public python-setuptools-git (package (name "python-setuptools-git") From patchwork Wed Sep 7 18:34:55 2022 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Garek Dyszel X-Patchwork-Id: 42292 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id 0E14627BBEA; Wed, 7 Sep 2022 19:39:55 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.7 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,SPF_HELO_PASS,TVD_SPACE_RATIO, URIBL_BLOCKED autolearn=unavailable autolearn_force=no version=3.4.6 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id BACF927BBE9 for ; Wed, 7 Sep 2022 19:39:54 +0100 (BST) Received: from localhost ([::1]:34086 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1oVzxp-0001YR-I2 for patchwork@mira.cbaines.net; Wed, 07 Sep 2022 14:39:53 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:41322) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1oVztD-0005vB-Tj for guix-patches@gnu.org; Wed, 07 Sep 2022 14:35:08 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:39345) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1oVztD-0005aB-Ki for guix-patches@gnu.org; Wed, 07 Sep 2022 14:35:07 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1oVztD-00084K-HW for guix-patches@gnu.org; Wed, 07 Sep 2022 14:35:07 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#57540] [RFC PATCH v2 19/19] gnu: Add python-jsonschema-4.15.* gnu/packages/python-xyz.scm (python-jsonschema-4.15): New variable. References: <79d544f7d8ba64b631a6f0f1d2ef0b08@disroot.org> In-Reply-To: <79d544f7d8ba64b631a6f0f1d2ef0b08@disroot.org> Resent-From: Garek Dyszel Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Wed, 07 Sep 2022 18:35:07 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 57540 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 57540@debbugs.gnu.org Received: via spool by 57540-submit@debbugs.gnu.org id=B57540.166257570631008 (code B ref 57540); Wed, 07 Sep 2022 18:35:07 +0000 Received: (at 57540) by debbugs.gnu.org; 7 Sep 2022 18:35:06 +0000 Received: from localhost ([127.0.0.1]:56275 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oVztC-00083x-7f for submit@debbugs.gnu.org; Wed, 07 Sep 2022 14:35:06 -0400 Received: from knopi.disroot.org ([178.21.23.139]:32924) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oVztA-00083M-P5 for 57540@debbugs.gnu.org; Wed, 07 Sep 2022 14:35:05 -0400 Received: from localhost (localhost [127.0.0.1]) by disroot.org (Postfix) with ESMTP id 3CC6340121 for <57540@debbugs.gnu.org>; Wed, 7 Sep 2022 20:35:04 +0200 (CEST) X-Virus-Scanned: SPAM Filter at disroot.org Received: from knopi.disroot.org ([127.0.0.1]) by localhost (disroot.org [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id 9gu3jbYuCeZu for <57540@debbugs.gnu.org>; Wed, 7 Sep 2022 20:35:02 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=disroot.org; s=mail; t=1662575697; bh=g9vGwd9z/ETUQ9QKviACR0QH0Rz3kAjBdyhcTQ51ca0=; h=From:To:Subject:Date; b=ED9O/1swzQ+MwbkHggXC3Q4RiaL/nvOeyoxC4qQfJEWrJPFcXy1FyHO5NGROHc+t5 w+3vswpRDM6wduFktLDp+KmebT7yJEcRXBZXQSFeYpoisWwOJeahNXvr3RJ85Uta9E eT9iPj+nJ0UbzL8pmfJs4gGWICr27S5SNh9yAkmB/rww08sKWd7LSkcegf/GXt/R/M /YwsQZcxD58Xby9Dd1gYxuqXIFgxlcWL5Kw5TUMoU+rFsjHniWQsBFYxUM8nVJ1ssk k+Va9mX2d7mh4danj1Pd3L6lBJ9mMArZ5BkZNLMAdEuXwlJdnNPvEkm2TbRoR3hikS /1KRMknEa/8bA== Date: Wed, 07 Sep 2022 14:34:55 -0400 Message-ID: <8735d3vxrk.fsf@disroot.org> Mime-Version: 1.0 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+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" Reply-to: Garek Dyszel X-ACL-Warn: , Garek Dyszel via Guix-patches X-Patchwork-Original-From: Garek Dyszel via Guix-patches via From: Garek Dyszel X-getmail-retrieved-from-mailbox: Patches * gnu/packages/python-xyz.scm (python-jsonschema-4.15): New variable. --- gnu/packages/python-xyz.scm | 31 +++++++++++++++++++++++++++++++ 1 file changed, 31 insertions(+) diff --git a/gnu/packages/python-xyz.scm b/gnu/packages/python-xyz.scm index 0e67adc95f..fd470652bc 100644 --- a/gnu/packages/python-xyz.scm +++ b/gnu/packages/python-xyz.scm @@ -3661,6 +3661,37 @@ (define-public python-jsonschema-next python-pyrsistent python-typing-extensions)))) +(define-public python-jsonschema-4.15 + (package + (inherit python-jsonschema) + (name "python-jsonschema-4.15") + (version "4.15.0") + (source (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/python-jsonschema/jsonschema") + (commit (string-append "v" version)))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "1yv01id6l0s1dq6khal9jvxh9dqivy394z04y6yr5lv8cimwcx2x")))) + (native-inputs (list python-pypa-build + python-twisted + python-hatchling + python-pathspec + python-pluggy-1.0 + python-editables + python-hatch-vcs + python-setuptools-scm-7 + python-hatch-fancy-pypi-readme)) + (propagated-inputs (list python-attrs python-importlib-metadata + python-pyrsistent python-typing-extensions + python-hatch-vcs)) + (arguments + (substitute-keyword-arguments + (package-arguments python-jsonschema-next))) + (home-page "https://github.com/python-jsonschema/jsonschema"))) + (define-public python-schema (package (name "python-schema")