[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: ABI break!
From: |
John Darrington |
Subject: |
Re: ABI break! |
Date: |
Wed, 18 Jan 2017 07:17:04 +0100 |
User-agent: |
Mutt/1.5.23 (2014-03-12) |
On Tue, Jan 17, 2017 at 11:52:35PM +0100, Ludovic Court??s wrote:
address@hidden (Ludovic Court??s) skribis:
> Pushed with tests as 384344198dcaa97847e66d3dd82f279ede08d690.
And if you get a weird error when running ???make??? about
???file-system-needed-for-boot????, just run:
rm gnu/system.go && make
This is because of an ABI break: ???file-system-needed-for-boot???? was a
macro and now is a procedure.
Surely this means that the Makefile is wrong?
It should recognise that gnu/system.scm has changed and rebuild gnu/system.go
accordingly.
J'
--
Avoid eavesdropping. Send strong encrypted email.
PGP Public key ID: 1024D/2DE827B3
fingerprint = 8797 A26D 0854 2EAB 0285 A290 8A67 719C 2DE8 27B3
See http://sks-keyservers.net or any PGP keyserver for public key.
signature.asc
Description: Digital signature
- Re: [PATCH] gnu: Mark /gnu/store as needed for boot., (continued)
- Re: [PATCH] gnu: Mark /gnu/store as needed for boot., Chris Marusich, 2017/01/13
- Re: [PATCH] gnu: Mark /gnu/store as needed for boot., Ludovic Courtès, 2017/01/14
- Re: [PATCH] gnu: Mark /gnu/store as needed for boot., Ludovic Courtès, 2017/01/15
- Re: [PATCH] gnu: Mark /gnu/store as needed for boot., John Darrington, 2017/01/16
- Re: [PATCH] gnu: Mark /gnu/store as needed for boot., Ludovic Courtès, 2017/01/16
- ABI break!, Ludovic Courtès, 2017/01/17
- Re: ABI break!,
John Darrington <=
- Re: ABI break!, David Craven, 2017/01/18
- Re: ABI break!, Ludovic Courtès, 2017/01/18