GNU bug report logs - #62307
[PATCH core-updates 00/15] Update Hurd and fix build failures

Previous Next

Full log

View this message in rfc822 format

From: Josselin Poiret <dev <at> jpoiret.xyz>
To: 62307 <at> debbugs.gnu.org, Josselin Poiret <dev <at> jpoiret.xyz>
Subject: [bug#62307] [PATCH core-updates 13/15] mig/32-bit: Remove.
Date: Mon, 20 Mar 2023 23:10:49 +0100

* gnu/packages/hurd.scm (mig/32-bit): Remove unneeded variant.
---
 gnu/packages/hurd.scm | 11 -----------
 1 file changed, 11 deletions(-)

diff --git a/gnu/packages/hurd.scm b/gnu/packages/hurd.scm
index 4f85d10237..ed08418e94 100644
--- a/gnu/packages/hurd.scm
+++ b/gnu/packages/hurd.scm
@@ -150,17 +150,6 @@ (define-public mig
 communication.")
     (license gpl2+)))
 
-(define-public mig/32-bit
-  ;; When cross-compiling from x86_64-linux to i586-gnu, we need this 32-bit
-  ;; native MIG.
-  (package
-    (inherit mig)
-    (arguments
-     (substitute-keyword-arguments (package-arguments mig)
-       ((#:system _ #f)
-        "i686-linux")))
-    (properties `((hidden? . #t)))))
-
 (define-public hurd-headers
   ;; This commit is now slightly behind 0.9.git20220818 as this one needs a
   ;; newer glibc
-- 
2.39.2

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.