aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/fsf.scm
blob: b38fa9ef34ee476e2480e7284bd7dd5fee847f10 (about) (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
;;; GNU Guix --- Functional package management for GNU
;;; Copyright © 2023 宋文武 <iyzsong@envs.net>
;;;
;;; This file is part of GNU Guix.
;;;
;;; GNU Guix is free software; you can redistribute it and/or modify it
;;; under the terms of the GNU General Public License as published by
;;; the Free Software Foundation; either version 3 of the License, or (at
;;; your option) any later version.
;;;
;;; GNU Guix is distributed in the hope that it will be useful, but
;;; WITHOUT ANY WARRANTY; without even the implied warranty of
;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
;;; GNU General Public License for more details.
;;;
;;; You should have received a copy of the GNU General Public License
;;; along with GNU Guix.  If not, see <http://www.gnu.org/licenses/>.

(define-module (gnu packages fsf)
  #:use-module (gnu packages tex)
  #:use-module (guix build-system copy)
  #:use-module (guix download)
  #:use-module (guix gexp)
  #:use-module (guix packages)
  #:use-module ((guix licenses) #:prefix license:))

(define-public book-faif
  (package
    (name "book-faif")
    (version "2.0")
    (source (origin
              (method url-fetch)
              (uri (string-append "https://www.fsf.org/faif/faif-" version
                                  ".tar.bz2"))
              (sha256
               (base32
                "0qf14d0n6k1dn9z0fdnx9qkhn4iq685xd443w7l7w54bm931p7dw"))))
    (build-system copy-build-system)
    (native-inputs
     (list (texlive-updmap.cfg
            (list texlive-caption
                  texlive-endnotes
                  texlive-etoolbox
                  texlive-fncychap
                  texlive-helvetic
                  texlive-times
                  texlive-ucs))))
    (arguments
     (list
      #:install-plan #~'(("faif-2.0.pdf" "share/doc/faif/"))
      #:phases
      #~(modify-phases %standard-phases
          (add-before 'install 'build
            (lambda _
              (invoke "pdflatex" "faif-2.0.tex"))))))
    (home-page "https://www.fsf.org/faif")
    (synopsis "Free as in Freedom (2.0)")
    (description
     "In 2002, Sam Williams wrote Free as in Freedom, a biography of Richard
M. Stallman.  In its epilogue, Williams expressed hope that choosing to
distribute his book under the GNU Free Documentation License would enable and
encourage others to share corrections and their own perspectives through
modifications to his work.  Free as in Freedom (2.0) is Stallman's revision of
the original biography.  While preserving Williams's viewpoint, it includes
factual corrections and extensive new commentary by Stallman, as well as new
prefaces by both authors written for the occasion.  It is a rare kind of
biography, where the reader has the benefit of both the biographer's original
words and the subject's response.")
    (license license:fdl1.3+)))
9 +0100'>2024-12-11gnu: openblas: Fix description....* gnu/packages/maths.scm (openblas)[description]: Write BLAS acronym in full before using it. Change-Id: Ieff4f6c4d69882b3afc826da8283cd7ce0263c74 Janneke Nieuwenhuizen 2024-12-11gnu: Add perl-pgplot....* gnu/packages/maths.scm (perl-pgplot): New variable. Change-Id: Iac06caf5f0c1b142153c011e46aa4fda7704d672 Danny Milosavljevic 2024-12-10gnu: Add python-mathics-pygments....* gnu/packages/maths.scm (python-mathics-pygments): New variable. Change-Id: If90c2d306929a9596590d4625f41939b440f4aa9 Danny Milosavljevic 2024-12-10gnu: Add python-mathics-core....* gnu/packages/maths.scm (python-mathics-core): New variable. Change-Id: I0e2571569e07ff89aa9bd1fa2638ff3d807bd4ec Danny Milosavljevic 2024-12-10gnu: Add python-mathics-scanner....* gnu/packages/maths.scm (python-mathics-scanner): New variable. Change-Id: I62aabc48e691dba587be0ddf34dac42a2d316b3d Danny Milosavljevic 2024-12-09gnu: units: Update to 2.24....* gnu/packages/maths.scm (units): Update to 2.24. Change-Id: I4c201729788dd1e2d98a981f47906d606663bbde Signed-off-by: Ludovic Courtès <ludo@gnu.org> Andy Tai 2024-12-03gnu: gsl: Update to 2.8....* gnu/packages/maths.scm (gsl): Update to 2.8. Change-Id: I7a7af6af46b0be57a435a09460cb1237c65c6ff8 Ludovic Courtès 2024-12-03gnu: gsl: Build with ‘-O2 -g’ unconditionally....Fixes a regression introduced in 53bec65c51c3f2b7e318db4dc7a5c3a09ad00214 that would cause gsl to be built without optimizations and without debugging symbols (equivalent to “-O0 -g0”). * gnu/packages/maths.scm (gsl)[arguments]: Remove #:make-flags. Change-Id: I5297e3602bffbb7655d655622cc3d7595f82b25a Ludovic Courtès 2024-12-03gnu: gsl: Add debug output....* gnu/packages/maths.scm (gsl)[outputs]: Add "debug". Signed-off-by: Ludovic Courtès <ludo@gnu.org> Artyom Bologov 2024-11-29gnu: petsc: Remove store references on make and gcc....Reduces closure size from 970 MB to around 700 MB for petsc-openmpi package and also makes `guix pack` packages containing petsc bit-reproducible (by removing make it removes implicit guile dependency). * gnu/packages/maths.scm (petsc)[arguments]: Add patterns in ’clean-local-references’ and ‘clear-reference-to-compiler’. Change-Id: I465c325b152b09befdb746e5bc47fbeaf9a061dc Signed-off-by: Ludovic Courtès <ludo@gnu.org> Lars Bilke 2024-11-29gnu: petsc: Remove arch version from uname output....Enables reproducible building on machines with have a different arch-suffix in uname output, e.g.: Machine·characteristics:·Linux-x.x.x-arch1-1-x86_64-with-glibc2.39 vs. Machine·characteristics:·Linux-x.x.x-arch2-1-x86_64-with-glibc2.39 Will become Machine·characteristics:·Linux-x.x.x-archx-x-x86_64-with-glibc2.39 * gnu/packages/maths.scm (petsc)[arguments]: Adjust machine regexp in ‘clean-local-references’. Change-Id: Icc37a298c0c2d16e96f2c8eaf5aa4781cc4e5ac4 Signed-off-by: Ludovic Courtès <ludo@gnu.org> Lars Bilke 2024-11-22gnu: dune-functions: Update to 2.10.0....* gnu/packages/maths.scm (dune-functions): Update to 2.10.0. Change-Id: I022a75f9c66adf50b5b074594d50eed98f316634 Signed-off-by: Andreas Enge <andreas@enge.fr> Felix Gruber 2024-11-22gnu: dune-typetree: Update to 2.10.0....* gnu/packages/maths.scm (dune-typetree): Update to 2.10.0. Change-Id: I5f41fd6a1f8401283d6fa1831d8af96cd751907e Signed-off-by: Andreas Enge <andreas@enge.fr> Felix Gruber 2024-11-22gnu: dune-subgrid: Update to 2.10.0....* gnu/packages/maths.scm (dune-subgrid): Update to 2.10.0. Change-Id: I447398849731713a4f56e22139b829cb835e97ce Signed-off-by: Andreas Enge <andreas@enge.fr> Felix Gruber 2024-11-22gnu: dune-alugrid: Update to 2.10.0....* gnu/packages/maths.scm (dune-alugrid): Update to 2.10.0. Change-Id: I316d27b7da3e07398d12a156fa9b3b24675b7fad Signed-off-by: Andreas Enge <andreas@enge.fr> Felix Gruber 2024-11-22gnu: dune-localfunctions: Update to 2.10.0....* gnu/packages/maths.scm (dune-localfunctions): Update to 2.10.0. Change-Id: If3a92b213d0c94b15035b937e9d0fd96bdf13554 Signed-off-by: Andreas Enge <andreas@enge.fr> Felix Gruber 2024-11-22gnu: dune-istl: Update to 2.10.0....* gnu/packages/maths.scm (dune-istl): Update to 2.10.0. [source]: Remove patch that has been applied upstream. * gnu/packages/patches/dune-istl-fix-solver-playground.patch: Remove file. * gnu/local.mk (dist_patch_DATA): Remove it. Change-Id: Ifbbb6f2dea815159a1743ae6e622c154cf1cc9b0 Signed-off-by: Andreas Enge <andreas@enge.fr> Felix Gruber 2024-11-22gnu: dune-grid: Update to 2.10.0....* gnu/packages/maths.scm (dune-grid): Update to 2.10.0. [source]: Remove patch that has been applied upstream. * gnu/packages/patches/dune-grid-add-missing-include-cassert.patch: Remove file. * gnu/local.mk (dist_patch_DATA): Remove it. Change-Id: I793f9151ace3c5104fd2b8d74ace128e73133cf3 Signed-off-by: Andreas Enge <andreas@enge.fr> Felix Gruber 2024-11-22gnu: dune-uggrid: Update to 2.10.0....* gnu/packages/maths.scm (dune-uggrid): Update to 2.10.0. [source]: Download as tarball. Change-Id: I3b89ad16dffe6bb64bc343bda4b27868720551f4 Signed-off-by: Andreas Enge <andreas@enge.fr> Felix Gruber 2024-11-22gnu: dune-geometry: Update to 2.10.0....* gnu/packages/maths.scm (dune-geometry): Update to 2.10.0. Change-Id: I4643e3f2c558abbe56f8dbd5e3ff59b334c00912 Signed-off-by: Andreas Enge <andreas@enge.fr> Felix Gruber 2024-11-22gnu: dune-common: Update to 2.10.0....* gnu/packages/maths.scm (dune-common): Update to 2.10.0. Change-Id: I9294c8cb03933533ca05d574320fbfcb8fc711fd Signed-off-by: Andreas Enge <andreas@enge.fr> Felix Gruber 2024-11-18gnu: hdf5: Remove machine info from libraries....* gnu/packages/maths.scm (hdf5-1.14)[arguments]: Add ‘patch-configure-build-settings’. Change-Id: I1435b866babeb95af48e0fd970d931f022c8bc67 Signed-off-by: Ludovic Courtès <ludo@gnu.org> Lars Bilke 2024-11-15gnu: scilab: Update to 2025.0.0....* gnu/packages/maths.scm (scilab): Update to 2025.0.0. [inputs]: Replace hdf5-1.1.0 by hdf5-1.14. Signed-off-by: Andreas Enge <andreas@enge.fr> Change-Id: If70812525226bb1e9968b1f1042d822d56908f8b Nicolas Graves 2024-10-31gnu: boolector: Fix build....gnu/packages/maths.scm (boolector)[inputs]: Add gmp. Change-Id: I008360baed99d02d55bff76d683136ff505e2742 Zheng Junjie 2024-10-31gnu: louvain-community: Fix home-page....* gnu/packages/maths.scm (louvain-community)[home-page]: Use the right link. Change-Id: Idb1f54511f63bf62a9bf29cfb9177cd9f31b2390 Zheng Junjie 2024-10-31gnu: louvain-community: Don't tune native....* gnu/packages/maths.scm (louvain-community)[arguments]<#:phases>: Add no-tune-native phase. [properties]: Add tunable? field. Change-Id: Idb1f54511f63bf62a9bf29cfb9177cd9f31b2390 Zheng Junjie 2024-10-24gnu: Add python-primecountpy....* gnu/packages/maths.scm (python-primecountpy): New variable. Change-Id: Id775a672c104162965825d8d44e599df0c26f11a Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com> Vinicius Monego 2024-10-24gnu: primecount: Update to 7.14....* gnu/packages/maths.scm (primecount): Update to 7.14. [argumetns]<#configure-flags>: Build man pages, link to existing primesieve package. [inputs]: Add primesieve. [native-inputs]: Add asciidoc. Change-Id: Ia6405274c86c3f996bcaa533cb86226da047fbfa Sharlatan Hellseher 2024-10-24gnu: Add primecount....* gnu/packages/maths.scm (primecount): New variable. Change-Id: I03692a1be46cc4d0f3eabe95a3f76719a5c63d83 Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com> Vinicius Monego 2024-10-24gnu: packages/maths: Sort alphabetically....* gnu/packages/maths.scm: (python-blis, python-blis-for-thinc, python-cvxopt, python-kiwisolver, python-libensemble, python-petsc4py): Sort variables alphabetically. Change-Id: Ie00bea4d51ded909e9852e8565b1e26b1412c644 Sharlatan Hellseher 2024-10-24gnu: packages/maths: Sort alphabetically....* gnu/packages/maths.scm: (pnetcdf, popf, ppl, primesieve): Sort variables alphabetically. Change-Id: I49653934a3a7149ef51975c6f757d2dcd2f84fb5 Sharlatan Hellseher 2024-10-06gnu: cryptominisat: Update to 5.11.22....* gnu/packages/maths.scm (cryptominisat): Update to 5.11.22. [source]: Patch include for cadiback. [inputs]: Add cadical, cadiback-for-cryptominisat and gmp. Liliana Marie Prikler 2024-10-06gnu: Add cadiback-for-cryptominisat....* gnu/packages/maths.scm (cadiback-for-cryptominisat): New variable. Liliana Marie Prikler 2024-10-06gnu: Add cadiback....* gnu/packages/maths.scm (cadiback): New variable. Liliana Marie Prikler 2024-10-06gnu: Add cadical....* gnu/packages/patches/cadical-add-shared-library.patch: New file. * gnu/local.mk (dist_patch_DATA): Register it here. * gnu/packages/maths.scm (cadical): New variable. Liliana Marie Prikler 2024-10-06gnu: lingeling: Update to 1.0.0....* gnu/packages/maths.scm (lingeling): Update to 1.0.0. [#:phases]<hard-code-commit>: Adjust accordingly. Liliana Marie Prikler 2024-10-06gnu: z3: Update to 4.13.0....* gnu/packages/maths.scm (z3): Update to 4.13.0. Liliana Marie Prikler 2024-10-06gnu: kissat: Update to 4.0.1....* gnu/packages/maths.scm (kissat): Update to 4.0.1. [#:phases]<patch-source>: Relax regexp to fix test. Liliana Marie Prikler