From patchwork Fri Mar 31 03:28:41 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Antero Mejr X-Patchwork-Id: 48834 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 DC6A0172AB; Fri, 31 Mar 2023 04:30:18 +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=-1.8 required=5.0 tests=DKIM_INVALID,DKIM_SIGNED, MAILING_LIST_MULTI,RCVD_IN_MSPIKE_H2,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 8F24A17299 for ; Fri, 31 Mar 2023 04:30:17 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1pi5Sn-0005nE-En; Thu, 30 Mar 2023 23:30:05 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1pi5Sk-0005mg-Jo for guix-patches@gnu.org; Thu, 30 Mar 2023 23:30:03 -0400 Received: from debbugs.gnu.org ([209.51.188.43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1pi5Sk-0004y3-7Q for guix-patches@gnu.org; Thu, 30 Mar 2023 23:30:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1pi5Sk-0006BY-2y for guix-patches@gnu.org; Thu, 30 Mar 2023 23:30:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#62554] [PATCH] gnu: Add book-r5rs. Resent-From: Antero Mejr Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Fri, 31 Mar 2023 03:30:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 62554 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 62554@debbugs.gnu.org X-Debbugs-Original-To: guix-patches@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.168023334423683 (code B ref -1); Fri, 31 Mar 2023 03:30:01 +0000 Received: (at submit) by debbugs.gnu.org; 31 Mar 2023 03:29:04 +0000 Received: from localhost ([127.0.0.1]:59946 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pi5Ro-00069v-9f for submit@debbugs.gnu.org; Thu, 30 Mar 2023 23:29:04 -0400 Received: from lists.gnu.org ([209.51.188.17]:49858) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pi5Rm-00069m-Kn for submit@debbugs.gnu.org; Thu, 30 Mar 2023 23:29:03 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1pi5Rm-0005i1-53 for guix-patches@gnu.org; Thu, 30 Mar 2023 23:29:02 -0400 Received: from mout-p-202.mailbox.org ([80.241.56.172]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_CHACHA20_POLY1305:256) (Exim 4.90_1) (envelope-from ) id 1pi5Rj-0004qc-L2 for guix-patches@gnu.org; Thu, 30 Mar 2023 23:29:01 -0400 Received: from smtp102.mailbox.org (smtp102.mailbox.org [10.196.197.102]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange ECDHE (P-384) server-signature RSA-PSS (4096 bits) server-digest SHA256) (No client certificate requested) by mout-p-202.mailbox.org (Postfix) with ESMTPS id 4Pnm3S6wFtz9sZX for ; Fri, 31 Mar 2023 05:28:52 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=mailbox.org; s=mail20150812; t=1680233332; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version: content-transfer-encoding:content-transfer-encoding; bh=3xH1KojNnpTy0JPXrI5Wr4w7W2tYluB/pNTMgtKehcg=; b=n5CqYr8cne3XqaveuLLCXcxK2gFJtgxu7P97trPDKOGyDu+IJT9J27rBh8FcgJElybG9EC of6EpmTCR83Fp+I6V8ij+W+YJTjUaCk/ud37ILdnV5pT7Axshr1O0LgQhadzMPLXddAQgm 1zMGGPVAbpPjvpj8OlO/K2s4xc73ZujYYufNiNkYcsysbzHwlBqyUhrqgaWOS/Ay9gtVa2 ViA0qUvwKtSVR1VkHCzug4cCPPEW9kK3fchd5aE8DdNSubeB3NuX002m/AtfsUjvIYglq4 ZGZQT12ASalpdnW0abACpf7q6zSy4N51S3vE/aaj05/WmNiVTywjo0JE70tc7g== Date: Fri, 31 Mar 2023 03:28:41 +0000 Message-Id: <20230331032841.27505-1-antero@mailbox.org> MIME-Version: 1.0 X-MBO-RS-ID: bbfe51e510d5b9a005e X-MBO-RS-META: ms9j5qsutjyzzwe7gj1y3yjbz9axhjip Received-SPF: pass client-ip=80.241.56.172; envelope-from=antero@mailbox.org; helo=mout-p-202.mailbox.org X-Spam_score_int: -10 X-Spam_score: -1.1 X-Spam_bar: - X-Spam_report: (-1.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, RCVD_IN_DNSWL_LOW=-0.7, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, URI_DOTEDU=1.678 autolearn=no autolearn_force=no X-Spam_action: no action 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: , Reply-to: Antero Mejr X-ACL-Warn: , Antero Mejr via Guix-patches X-Patchwork-Original-From: Antero Mejr via Guix-patches via From: Antero Mejr Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches * gnu/packages/book-software.scm (book-r5rs): New variable. --- Please apply this patch last. This patch is for the R5RS spec document, in PDF and Info formats. Not sure what conventions would work best, but here I used: 1. package definitions for books/documents go into the file "book-[type].scm". 2. package definition names are formatted "book-[shortname]". 3. PDF is installed into share/doc/shortname. 4. other formats go into the appropriate path for their file type, or share/doc/shortname. I think distributing books and documentation through Guix, especially technical or FOSS-related, is an interesting idea. Maybe these packages could go in the same .scm file as iyzsong's package for the book "Free as in Freedom": https://issues.guix.gnu.org/62545 I would be interested to hear what others think about books in Guix. Would we want to limit to technical books? What about translations? Has this already been proposed somewhere? gnu/packages/book-software.scm | 38 ++++++++++++++++++++++++++++++++++ 1 file changed, 38 insertions(+) diff --git a/gnu/packages/book-software.scm b/gnu/packages/book-software.scm index ca4e47b89e..35ad76399e 100644 --- a/gnu/packages/book-software.scm +++ b/gnu/packages/book-software.scm @@ -48,3 +48,41 @@ (define-public rrrs2txi translates the LaTeX r3rs, r4rs, and r5rs to texinfo format (r3rs.txi, r4rs.txi, and r5rs.txi).") (license license:bsd-3))) + +(define-public book-r5rs + (package + (name "book-r5rs") + (version "5") + (source (origin + (method url-fetch) + (uri + "https://groups.csail.mit.edu/mac/ftpdir/scheme-reports/r5rs.tar.gz") + (sha256 + (base32 + "12c6087zdffigmdl9bx1xv71si9jfpffsbpimivx3j80j8hvxrci")))) + (build-system copy-build-system) + (arguments + (list #:phases #~(modify-phases %standard-phases + (add-before 'install 'build + (lambda _ + (invoke "pdflatex" "r5rs.tex") + (invoke "pdflatex" "r5rs.tex") + (system* "scm" "-f" ;expected to fail + (string-append + #$(this-package-native-input "rrrs2txi") + "/lib/rrrs2txi.scm") + "-e" "(go)") + ;; forcing because the online txi is broken too + (invoke "makeinfo" "--force" "r5rs.txi")))) + #:install-plan #~'(("r5rs.pdf" "share/doc/r5rs/") + ("r5rs.info" "share/info/")))) + (native-inputs (list rrrs2txi scm texinfo + (texlive-updmap.cfg (list texlive-fonts-ec)))) + (home-page "https://people.csail.mit.edu/jaffer/Scheme.html") + (synopsis "Specification for the R5RS implementation of Scheme") + (description + "The report gives a defining description of the programming language +Scheme. Scheme is a statically scoped and properly tail-recursive dialect of +the Lisp programming language.") + (license (license:non-copyleft + "https://people.csail.mit.edu/jaffer/Scheme_TERMS.html"))))