mbox series

[bug#60258,0/3] gnu: abc: Update to 0.0-2.70cb339.

Message ID cover.1671713787.git.simon@simonsouth.net
Headers show
Series gnu: abc: Update to 0.0-2.70cb339. | expand

Message

Simon South Dec. 22, 2022, 1:20 p.m. UTC 
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

Comments

Ludovic Courtès Dec. 27, 2022, 10:42 p.m. UTC | #1 
Hi Simon,

Simon South <simon@simonsouth.net> skribis:

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

Applied, thanks!

Ludo’.