gnu: linux-libre: Remove obsolete workaround.
authorMarius Bakke <mbakke@fastmail.com>
Fri, 7 Feb 2020 16:06:07 +0000 (17:06 +0100)
committerMarius Bakke <mbakke@fastmail.com>
Sat, 15 Feb 2020 21:02:54 +0000 (22:02 +0100)
* gnu/packages/linux.scm (make-linux-libre*)[arguments]: Do not change CPATH
or CROSS_CPATH.

gnu/packages/linux.scm

index 06ef1fa..7793bf4 100644 (file)
@@ -684,27 +684,6 @@ for ARCH and optionally VARIANT, or #f if there is no such configuration."
              #t))
          (replace 'configure
            (lambda* (#:key inputs native-inputs target #:allow-other-keys)
-             ;; On AArch64 (at least), we need to remove glibc headers from
-             ;; CPATH (they are still available as "system headers"), so that
-             ;; the kernel can override uint64_t.  See
-             ;; <https://bugs.gnu.org/37593>. This is also true when
-             ;; cross-compiling, except in that case, cross-libc must be
-             ;; removed from CROSS_CPATH.
-             (let ((var ,(if (%current-target-system)
-                             "CROSS_CPATH"
-                             "CPATH"))
-                   (libc ,(if (%current-target-system)
-                              "cross-libc"
-                              "libc")))
-               (setenv var
-                       (string-join
-                        (remove
-                         (cut string-prefix? (assoc-ref inputs libc) <>)
-                         (string-split (getenv var) #\:))
-                        ":"))
-               (format #t "environment variable `~a' changed to `~a'~%"
-                       var (getenv var)))
-
              ;; Avoid introducing timestamps
              (setenv "KCONFIG_NOTIMESTAMP" "1")
              (setenv "KBUILD_BUILD_TIMESTAMP" (getenv "SOURCE_DATE_EPOCH"))