From mboxrd@z Thu Jan  1 00:00:00 1970
From: pkill9 <pkill9@runbox.com>
Subject: bug#40713: Guix fails to build a system when specifying an inferior
 package for the kernel
Date: Sun, 19 Apr 2020 22:46:20 +0100
Message-ID: <20200419224620.38a724d0@runbox.com>
References: <20200419115345.6468b36a@runbox.com>
	<87lfmrh8wx.fsf@devup.no>
Mime-Version: 1.0
Content-Type: multipart/mixed; boundary="MP_/MU/9rfYlT.QJXFWcWAxOydG"
Return-path: <bug-guix-bounces+gcggb-bug-guix=m.gmane-mx.org@gnu.org>
Received: from eggs.gnu.org ([2001:470:142:3::10]:58738 helo=eggs1p.gnu.org)
 by lists.gnu.org with esmtp (Exim 4.90_1)
 (envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1jQHmJ-0000ic-BY
 for bug-guix@gnu.org; Sun, 19 Apr 2020 17:47:06 -0400
Received: from Debian-exim by eggs1p.gnu.org with spam-scanned (Exim 4.90_1)
 (envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1jQHmI-0001qv-Q7
 for bug-guix@gnu.org; Sun, 19 Apr 2020 17:47:03 -0400
Received: from debbugs.gnu.org ([209.51.188.43]:34572)
 by eggs1p.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128)
 (Exim 4.90_1) (envelope-from <Debian-debbugs@debbugs.gnu.org>)
 id 1jQHmI-0001pv-CO
 for bug-guix@gnu.org; Sun, 19 Apr 2020 17:47:02 -0400
Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2)
 (envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1jQHmI-0001Vg-7J
 for bug-guix@gnu.org; Sun, 19 Apr 2020 17:47:02 -0400
Sender: "Debbugs-submit" <debbugs-submit-bounces@debbugs.gnu.org>
Resent-Message-ID: <handler.40713.B40713.15873328115783@debbugs.gnu.org>
In-Reply-To: <87lfmrh8wx.fsf@devup.no>
List-Id: Bug reports for GNU Guix <bug-guix.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/bug-guix>,
 <mailto:bug-guix-request@gnu.org?subject=unsubscribe>
List-Archive: <https://lists.gnu.org/archive/html/bug-guix>
List-Post: <mailto:bug-guix@gnu.org>
List-Help: <mailto:bug-guix-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/bug-guix>,
 <mailto:bug-guix-request@gnu.org?subject=subscribe>
Errors-To: bug-guix-bounces+gcggb-bug-guix=m.gmane-mx.org@gnu.org
Sender: "bug-Guix" <bug-guix-bounces+gcggb-bug-guix=m.gmane-mx.org@gnu.org>
To: Marius Bakke <mbakke@fastmail.com>
Cc: 40713@debbugs.gnu.org

--MP_/MU/9rfYlT.QJXFWcWAxOydG
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

Hi Marius,

> Can you provide a config.scm that reproduces this issue?

Yes, I've attached a basic config.scm that reproduces the error.

--MP_/MU/9rfYlT.QJXFWcWAxOydG
Content-Type: text/x-scheme
Content-Transfer-Encoding: 7bit
Content-Disposition: attachment; filename=config.scm

(use-modules (gnu)
             (guix inferior) (guix channels)
             (srfi srfi-1))   ;for 'first'

(define channels
  ;; This is the old revision from which we want to
  ;; extract guile-json.
  (list (channel
         (name 'guix)
         (url "https://git.savannah.gnu.org/git/guix.git")
         (commit
          "ea6594e08e2724c64bc07724a07479fc1633dede"))))

(define inferior
  ;; An inferior representing the above revision.
  (inferior-for-channels channels))

(define inferior-linux
  (first (lookup-inferior-packages inferior "linux-libre")))

(define-public base-system-config
  (operating-system

   (kernel inferior-linux)
   
   (host-name "antelope")

   (timezone "Europe/London")

   (bootloader
    (bootloader-configuration
     (bootloader grub-efi-bootloader)))
   
   (file-systems
    %base-file-systems)))

base-system-config

--MP_/MU/9rfYlT.QJXFWcWAxOydG--