diff options
| author | Maxim Cournoyer <maxim@guixotic.coop> | 2025-11-18 23:29:55 +0900 |
|---|---|---|
| committer | Maxim Cournoyer <maxim@guixotic.coop> | 2025-11-19 09:42:13 +0900 |
| commit | 93177e35e3eac86937a88bc23f1600c5595bc426 (patch) | |
| tree | 0bf9a5936971539bd213c6b08164ee2dcfdf01c1 | |
| parent | 6c270f46bb9d2ce0320b9268b7d603f83938b4db (diff) | |
build/gnu-build-system: Zstd compress Texinfo files.
* guix/build/gnu-build-system.scm (compress-documentation)
<info-compressor, info-compressor-flags>
<info-compressor-file-extension>: Default to zstd if available.
Change-Id: I837c6e2eda6db8dd963dee39af251b2619e8bce8
| -rw-r--r-- | guix/build/gnu-build-system.scm | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/guix/build/gnu-build-system.scm b/guix/build/gnu-build-system.scm index 1b15fe59b2a..2f0b74811e5 100644 --- a/guix/build/gnu-build-system.scm +++ b/guix/build/gnu-build-system.scm | |||
| @@ -736,23 +736,23 @@ and 'man/'. This phase moves directories to the right place if needed." | |||
| 736 | (define* (compress-documentation #:key | 736 | (define* (compress-documentation #:key |
| 737 | outputs | 737 | outputs |
| 738 | (compress-documentation? #t) | 738 | (compress-documentation? #t) |
| 739 | (info-compressor "gzip") | 739 | (info-compressor (if (which "zstd") |
| 740 | "zstd" | ||
| 741 | "gzip")) | ||
| 740 | (info-compressor-flags | 742 | (info-compressor-flags |
| 741 | '("--best" "--no-name")) | ||
| 742 | (info-compressor-file-extension ".gz") | ||
| 743 | (man-compressor (if (which "zstd") | ||
| 744 | "zstd" | ||
| 745 | info-compressor)) | ||
| 746 | (man-compressor-flags | ||
| 747 | (if (which "zstd") | 743 | (if (which "zstd") |
| 748 | (list "-19" "--rm" | 744 | (list "-19" "--rm" |
| 749 | "--threads" (number->string | 745 | "--threads" (number->string |
| 750 | (parallel-job-count))) | 746 | (parallel-job-count))) |
| 751 | info-compressor-flags)) | 747 | '("--best" "--no-name"))) |
| 752 | (man-compressor-file-extension | 748 | (info-compressor-file-extension |
| 753 | (if (which "zstd") | 749 | (if (which "zstd") |
| 754 | ".zst" | 750 | ".zst" |
| 755 | info-compressor-file-extension)) | 751 | ".gz")) |
| 752 | (man-compressor info-compressor) | ||
| 753 | (man-compressor-flags info-compressor-flags) | ||
| 754 | (man-compressor-file-extension | ||
| 755 | info-compressor-file-extension) | ||
| 756 | #:allow-other-keys) | 756 | #:allow-other-keys) |
| 757 | "When COMPRESS-INFO-MANUALS? is true, compress Info files found in OUTPUTS | 757 | "When COMPRESS-INFO-MANUALS? is true, compress Info files found in OUTPUTS |
| 758 | using INFO-COMPRESSOR, called with INFO-COMPRESSOR-FLAGS. Similarly, when | 758 | using INFO-COMPRESSOR, called with INFO-COMPRESSOR-FLAGS. Similarly, when |
