unofficial mirror of guix-patches@gnu.org 
 help / color / mirror / code / Atom feed
* [bug#60258] [PATCH 0/3] gnu: abc: Update to 0.0-2.70cb339.
@ 2022-12-22 13:20 Simon South
  2022-12-22 17:09 ` [bug#60258] [PATCH 1/3] gnu: abc: Convey license information Simon South
                   ` (3 more replies)
  0 siblings, 4 replies; 5+ messages in thread
From: Simon South @ 2022-12-22 13:20 UTC (permalink / raw)
  To: 60258

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@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





^ permalink raw reply	[flat|nested] 5+ messages in thread

end of thread, other threads:[~2022-12-27 22:43 UTC | newest]

Thread overview: 5+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2022-12-22 13:20 [bug#60258] [PATCH 0/3] gnu: abc: Update to 0.0-2.70cb339 Simon South
2022-12-22 17:09 ` [bug#60258] [PATCH 1/3] gnu: abc: Convey license information Simon South
2022-12-22 17:09 ` [bug#60258] [PATCH 2/3] gnu: abc: Use gexps Simon South
2022-12-22 17:09 ` [bug#60258] [PATCH 3/3] gnu: abc: Update to 0.0-2.70cb339 Simon South
2022-12-27 22:42 ` bug#60258: [PATCH 0/3] " Ludovic Courtès

Code repositories for project(s) associated with this public inbox

	https://git.savannah.gnu.org/cgit/guix.git

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).