gnu: abc: Convey license information.

* gnu/packages/fpga.scm (abc)[arguments]: Add #:license-file-regexp so license
information is included in package output.
[license]: Specify URI of actual package license.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
This commit is contained in:
Simon South 2022-12-22 12:09:52 -05:00 committed by Ludovic Courtès
parent e4f39ace86
commit c10238966e
No known key found for this signature in database
GPG key ID: 090B11993D9AEBB5

View file

@ -84,7 +84,8 @@ (define-public abc
(inputs
(list readline))
(arguments
`(#:tests? #f ; no check target
`(#:license-file-regexp "copyright.txt"
#:tests? #f ; no check target
#:phases
(modify-phases %standard-phases
(delete 'configure)
@ -98,7 +99,8 @@ (define-public abc
(description "ABC is a program for sequential logic synthesis and
formal verification.")
(license
(license:non-copyleft "https://fedoraproject.org/wiki/Licensing:MIT#Modern_Variants")))))
(license:non-copyleft
"https://people.eecs.berkeley.edu/~alanmi/abc/copyright.htm")))))
(define-public iverilog
(package