From 30cef697d1cd77580d1cf23e42f6a3a410fd726f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ludovic=20Court=C3=A8s?= <ludo@gnu.org>
Date: Sat, 12 Oct 2024 18:59:16 +0200
Subject: [PATCH] =?UTF-8?q?gnu:=20linux-libre:=20Add=20=E2=80=98timeout?=
 =?UTF-8?q?=E2=80=99=20property.?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

This changes adds a ‘timeout’ property, which is necessary when building
either ‘linux-libre’ or ‘linux-libre-headers’ on aarch64-linux, where
deblobbing takes more than 5 hours (the default timeout for Cuirass
jobs).

* gnu/packages/linux.scm (%linux-libre-timeout-properties): New
variable.
(make-linux-libre-headers*): Use it.
(make-linux-libre*): Likewise.

Change-Id: I0c398e06f1b9b1d217fa82493b79bca8589408c0
---
 gnu/packages/linux.scm | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/gnu/packages/linux.scm b/gnu/packages/linux.scm
index 375915bdb3..5888ea470e 100644
--- a/gnu/packages/linux.scm
+++ b/gnu/packages/linux.scm
@@ -697,6 +697,11 @@ (define-public linux-libre-4.19-source
 ;;; Kernel headers.
 ;;;
 
+(define %linux-libre-timeout-properties
+  ;; Package properties for 'linux-libre' and 'linux-libre-headers' packages.
+  `((timeout . ,(* 8 3600))                       ;deblob takes >5h on AArch64
+    (max-silent-time . ,(* 3 3600))))             ;don't time out on blob scan
+
 (define (make-linux-libre-headers version gnu-revision hash-string)
   (make-linux-libre-headers* version gnu-revision
                              (origin
@@ -765,6 +770,7 @@ (define (make-linux-libre-headers* version gnu-revision source)
        #:allowed-references ()
        #:tests? #f))
     (supported-systems (delete "i586-gnu" %supported-systems))
+    (properties %linux-libre-timeout-properties)
     (home-page "https://www.gnu.org/software/linux-libre/")
     (synopsis "GNU Linux-Libre kernel headers")
     (description "Headers of the Linux-Libre kernel.")
@@ -1129,7 +1135,7 @@ (define* (make-linux-libre* version gnu-revision source supported-systems
     (description "GNU Linux-Libre is a free (as in freedom) variant of the
 Linux kernel.  It has been modified to remove all non-free binary blobs.")
     (license license:gpl2)
-    (properties '((max-silent-time . 10800))))) ;don't timeout on blob scan
+    (properties %linux-libre-timeout-properties)))
 
 
 ;;;