diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2020-10-09 23:31:18 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2020-10-09 23:59:14 +0200 |
| commit | 2f4b51ab22b312b11656f70e2dd08290592358d3 (patch) | |
| tree | c5d08b9ffe27e38be6e4462b7f4b9697a44e64e6 | |
| parent | 7b7b468ea401caca306f01c679d39ee09ef99be7 (diff) | |
| download | guix-2f4b51ab22b312b11656f70e2dd08290592358d3.tar.gz | |
gnu: source-highlight: Allow cross-compilation.
* gnu/packages/pretty-print.scm (source-highlight)[arguments]: Add 'skip-doc-directory' when (%current-target-system) is true.
| -rw-r--r-- | gnu/packages/pretty-print.scm | 14 |
1 files changed, 13 insertions, 1 deletions
diff --git a/gnu/packages/pretty-print.scm b/gnu/packages/pretty-print.scm index 12ec1f7889..b247cf21e1 100644 --- a/gnu/packages/pretty-print.scm +++ b/gnu/packages/pretty-print.scm @@ -2,7 +2,7 @@ ;;; Copyright © 2016, 2019, 2020 Efraim Flashner <efraim@flashner.co.il> ;;; Copyright © 2016 Ricardo Wurmus <rekado@elephly.net> ;;; Copyright © 2017 Marius Bakke <mbakke@fastmail.com> -;;; Copyright © 2017 Ludovic Courtès <ludo@gnu.org> +;;; Copyright © 2017, 2020 Ludovic Courtès <ludo@gnu.org> ;;; Copyright © 2017, 2018, 2019, 2020 Tobias Geerinckx-Rice <me@tobias.gr> ;;; Copyright © 2019 Meiyo Peng <meiyo@riseup.net> ;;; Copyright © 2020 Paul Garlick <pgarlick@tourbillion-technology.com> @@ -230,6 +230,18 @@ to @code{IOStreams}.") #:parallel-tests? #f ;There appear to be race conditions #:phases (modify-phases %standard-phases + ,@(if (%current-target-system) + ;; 'doc/Makefile.am' tries to run stuff even when + ;; cross-compiling. Explicitly skip it. + ;; XXX: Inline this on next rebuild cycle. + `((add-before 'build 'skip-doc-directory + (lambda _ + (substitute* "Makefile" + (("^SUBDIRS = (.*) doc(.*)$" _ before after) + (string-append "SUBDIRS = " before + " " after "\n"))) + #t))) + '()) (add-before 'check 'patch-test-files (lambda _ ;; Unpatch shebangs in test input so that source-highlight |