[bug#40218] linux-libre patch to support pinebook pro

[Vagrant Cascadian]

On 2020-03-24, Vagrant Cascadian wrote:
> The one reason I haven't pushed the patch is it would cause useless
> rebuilds of linux-libre for x86_64, i686 and armhf; I've been trying to
> make that conditional for aarch64 and not been very successful at it; if
> someone could help with that, or give me the go-ahead to merge as is
> ... that'd be great!

FWIW, this is one of the permutations I've tried so far:

--- a/gnu/packages/linux.scm
+++ b/gnu/packages/linux.scm
@@ -432,12 +432,16 @@ corresponding UPSTREAM-SOURCE (an origin), using
the given DEBLOB-SCRIPTS."

 (define-public linux-libre-5.4-source
   (source-with-patches linux-libre-5.4-pristine-source
-                       (list %boot-logo-patch
-                             %linux-libre-arm-export-__sync_icache_dcache-patch
-                             ;; Pinebook Pro patch from linux-next,
-                             ;; can be dropped for linux-libre 5.7
-                             (search-patch
-                              
"linux-libre-Add-initial-support-for-Pinebook-.patch"))))
+                       (cons* %boot-logo-patch
+                             %linux-libre-arm-export-__sync_icache_dcache-patch
+                             (if (let ((system (or
   (%current-target-system)
+                                                   (%current-system))))
+                                   (string-prefix? "aarch64" system))
+                                 ;; Pinebook Pro patch from linux-next,
+                                 ;; can be dropped for linux-libre 5.7
+                                 '((search-patch
+                                    
"linux-libre-Add-initial-support-for-Pinebook-.patch"))
+                                 '()))))

 (define-public linux-libre-4.19-source
   (source-with-patches linux-libre-4.19-pristine-source


But with this, I get the source without the patch applied in all
cases...

live well,
  vagrant

signature.asc
Description: PGP signature