From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp10.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms9.migadu.com with LMTPS id 6AglEspTJmQWAAAASxT56A (envelope-from ) for ; Fri, 31 Mar 2023 05:30:18 +0200 Received: from aspmx1.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp10.migadu.com with LMTPS id ODtYEcpTJmSFYQAAG6o9tA (envelope-from ) for ; Fri, 31 Mar 2023 05:30:18 +0200 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id B621F36612 for ; Fri, 31 Mar 2023 05:30:17 +0200 (CEST) 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 Content-Transfer-Encoding: 8bit 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 From: Antero Mejr via Guix-patches via Errors-To: guix-patches-bounces+larch=yhetil.org@gnu.org Sender: guix-patches-bounces+larch=yhetil.org@gnu.org X-Migadu-Country: US X-Migadu-Flow: FLOW_IN ARC-Seal: i=1; s=key1; d=yhetil.org; t=1680233418; a=rsa-sha256; cv=none; b=g3T504Y0yHHKE/Qr9Zr8OM4PlmJwXNFSnfyEOxNQg8DTcYkCxMDAuVmPm2wNqRFaACnq+0 dsSQFY6/YJgR0NfdYFV5qfxNBTH9qkbi/ZqXI7gJPE5mLYf59bld362Bxl0u0OonX9o8+q 6dR17PbvK3X1f+7LiJbo+gAXcS2xOVxVEFirop+Wbvfvfbiva9YaRwk7A69/VGwdDkZWII oRWWoZvijETVthqLogi5ywLE/ZLIkz6D1JzNmjq3DrzvHEEPjcoQUsCaao2qvfUqLPWC2g 323nR/84M0zFE3FFHiqHEoQ3xQQzYBviiKign5lyZEqmnUdpg4RCWv9+LKkrmQ== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=mailbox.org header.s=mail20150812 header.b=n5CqYr8c; dmarc=pass (policy=none) header.from=gnu.org; spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org" ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1680233418; h=from:from:sender:sender:reply-to:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:mime-version:mime-version: content-transfer-encoding:content-transfer-encoding:resent-cc: resent-from:resent-sender:resent-message-id:list-id:list-help: list-unsubscribe:list-subscribe:list-post:dkim-signature; bh=3xH1KojNnpTy0JPXrI5Wr4w7W2tYluB/pNTMgtKehcg=; b=rXpvLmUESFBlfMR9u4JVon3VD+wKbR4agAvze2bH1R4nTabLnU5eqWL43NBfF3kkNaLBbP DhyKKPPHBIQPCROEiTumsANx5hci69RS7MItT/3inpW2EJEjcdP866zuvuTbx3/KlHxYlZ Zl7LvnQmhs1Er0/PjBhtFGGMiIgqFIJyh4Q25G4Et4pQfTEc0tE1y+AJXeghQxHtc/dfjp NxGbjcxyB/qeu6sIarZY0vO+CN1u+pMIyxfnq/xJXbLnceEz/jvssTIKN/jAX5P0gu2c+u 7cMlJEXR037LyflG8FYfkyOLL3YTt3BrMUjQanpSqhIzGDUqy6uIyNWURTsbPg== Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=mailbox.org header.s=mail20150812 header.b=n5CqYr8c; dmarc=pass (policy=none) header.from=gnu.org; spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org" X-Migadu-Scanner: scn0.migadu.com X-Migadu-Spam-Score: -3.52 X-Spam-Score: -3.52 X-Migadu-Queue-Id: B621F36612 X-TUID: tDkqtcHDftZc * 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")))) -- 2.38.1