diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2022-08-03 15:33:32 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2022-08-03 17:43:26 +0200 |
| commit | e8ed95ddf884d1b958eed0da37d5b843c5e40dfe (patch) | |
| tree | 2e58824ea52a89463d3921403a22aba518e3e21e /gnu | |
| parent | f2d86db81d028b751bb9742f0ab495f2b44543b0 (diff) | |
| download | guix-e8ed95ddf884d1b958eed0da37d5b843c5e40dfe.tar.gz guix-e8ed95ddf884d1b958eed0da37d5b843c5e40dfe.zip | |
gnu: xscreensaver: Don't read /proc/interrupts at configure time.
Fixes a bug whereby, on some machines, ./configure would fail with:
Warning: Checking of /proc/interrupts was requested, but it's bogus.
* gnu/packages/xdisorg.scm (xscreensaver)[arguments]: Pass
'--without-proc-interrupts'.
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/packages/xdisorg.scm | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/gnu/packages/xdisorg.scm b/gnu/packages/xdisorg.scm index 1ce0886c2f..7d0c4d3482 100644 --- a/gnu/packages/xdisorg.scm +++ b/gnu/packages/xdisorg.scm @@ -1655,7 +1655,13 @@ less if you are working in front of the screen at night.") (("@GTK_DATADIR@") "@datadir@") (("@PO_DATADIR@") "@datadir@")) #t))) - #:configure-flags '("--with-pam" "--with-proc-interrupts" + #:configure-flags '("--with-pam" + + ;; Don't check /proc/interrupts in the build + ;; environment to avoid non-deterministic failures + ;; of the 'configure' script. + "--without-proc-interrupts" + "--without-readdisplay") #:make-flags (list (string-append "AD_DIR=" (assoc-ref %outputs "out") |