GNU bug report logs - #60258
[PATCH 0/3] gnu: abc: Update to 0.0-2.70cb339.

Previous Next

Full log

View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Ludovic Courtès <ludo <at> gnu.org>
Cc: tracker <at> debbugs.gnu.org
Subject: bug#60258: closed ([PATCH 0/3] gnu: abc: Update to 0.0-2.70cb339.)
Date: Tue, 27 Dec 2022 22:43:01 +0000

[Message part 1 (text/plain, inline)]

Your message dated Tue, 27 Dec 2022 23:42:44 +0100
with message-id <875ydwbh97.fsf <at> gnu.org>
and subject line Re: bug#60258: [PATCH 0/3] gnu: abc: Update to 0.0-2.70cb339.
has caused the debbugs.gnu.org bug report #60258,
regarding [PATCH 0/3] gnu: abc: Update to 0.0-2.70cb339.
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs <at> gnu.org.)


-- 
60258: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=60258
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems

[Message part 2 (message/rfc822, inline)]

From: Simon South <simon <at> simonsouth.net>
To: guix-patches <at> gnu.org
Subject: [PATCH 0/3] gnu: abc: Update to 0.0-2.70cb339.
Date: Thu, 22 Dec 2022 08:20:15 -0500

Here's a patch series that aims to improve the package for abc, "a program for
sequential logic synthesis and formal verification", by

- properly conveying license information in its "license" field and its
  output;

- updating it to the modern style using gexps; and

- updating abc itself to commit 70cb339 (not quite the latest, but the
  revision expected by the current version of its one direct dependent,
  yosys---patches to follow), which includes updating the location of its
  source-code repository.

I've tested building the package and its dependents on x86-64 and AArch64 and
everything seems okay.  Note arachne-pnr fails to build in any case and will
need further attention.

--
Simon South
simon <at> simonsouth.net


Simon South (3):
  gnu: abc: Convey license information.
  gnu: abc: Use gexps.
  gnu: abc: Update to 0.0-2.70cb339.

 gnu/packages/fpga.scm | 37 ++++++++++++++++++-------------------
 1 file changed, 18 insertions(+), 19 deletions(-)


base-commit: c1d543203e6de2ca31da82097f23b31a4250315e
-- 
2.38.1

[Message part 3 (message/rfc822, inline)]

From: Ludovic Courtès <ludo <at> gnu.org>
To: Simon South <simon <at> simonsouth.net>
Cc: 60258-done <at> debbugs.gnu.org
Subject: Re: bug#60258: [PATCH 0/3] gnu: abc: Update to 0.0-2.70cb339.
Date: Tue, 27 Dec 2022 23:42:44 +0100

Hi Simon,

Simon South <simon <at> simonsouth.net> skribis:

>   gnu: abc: Convey license information.
>   gnu: abc: Use gexps.
>   gnu: abc: Update to 0.0-2.70cb339.

Applied, thanks!

Ludo’.

Previous Next

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