GNU bug report logs - #67075
[PATCH] build: zig-build-system: Add CPU option

Previous Next

Package: guix-patches;

Reported by: Ekaitz Zarraga <ekaitz <at> elenq.tech>

Date: Sat, 11 Nov 2023 13:11:02 UTC

Severity: normal

Tags: patch

Done: Efraim Flashner <efraim <at> flashner.co.il>

Bug is archived. No further changes may be made.

Full log


Message #17 received at 67075 <at> debbugs.gnu.org (full text, mbox):

From: Ekaitz Zarraga <ekaitz <at> elenq.tech>
To: 67075 <at> debbugs.gnu.org
Subject: [PATCH] build: zig-build-system: Add CPU option
Date: Sat, 18 Nov 2023 17:52:48 +0100
[Message part 1 (text/plain, inline)]
Hi,

Following Efraim's suggestion I arranged a new patch around the tuning 
option. I needed to patch Zig itself to use baseline cpu by default, 
which is safer in general for us.

If anyone need a more specific cpu, can use the tuning option to choose it.

Maybe I should split the changes in Zig and the tuning system, but if I 
do they wont appear together, and they mostly only make sense if applied 
at once.

Please let me know if you like this one better.

Hope it's cool.

Cheers,
Ekaitz
[0001-gnu-zig-Make-compiler-tunable.patch (text/x-patch, attachment)]

This bug report was last modified 1 year and 176 days ago.

Previous Next


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