diff options
| author | Vinicius Monego <monego@posteo.net> | 2025-02-09 01:52:32 +0000 |
|---|---|---|
| committer | Andreas Enge <andreas@enge.fr> | 2025-02-10 14:27:57 +0100 |
| commit | 5098bacd41522b2b191378c69bec620cd2de8ebc (patch) | |
| tree | df383bcaaabaf0eebd004009df1ae7aa64fdce2d /gnu/packages/graph.scm | |
| parent | afdb696d37638944470c7a082cb5b49b462d7864 (diff) | |
gnu: Add plantri.
* gnu/packages/graph.scm (plantri): New variable.
Change-Id: I976eb88437b47bc06d7b2c2f8703da217e85cc7e
Signed-off-by: Andreas Enge <andreas@enge.fr>
Diffstat (limited to 'gnu/packages/graph.scm')
| -rw-r--r-- | gnu/packages/graph.scm | 36 |
1 files changed, 35 insertions, 1 deletions
diff --git a/gnu/packages/graph.scm b/gnu/packages/graph.scm index c8bd25af9c..f29a71c0d7 100644 --- a/gnu/packages/graph.scm +++ b/gnu/packages/graph.scm @@ -6,7 +6,7 @@ ;;; Copyright © 2019 Andreas Enge <andreas@enge.fr> ;;; Copyright © 2020 Alexander Krotov <krotov@iitp.ru> ;;; Copyright © 2020 Pierre Langlois <pierre.langlos@gmx.com> -;;; Copyright © 2021, 2023 Vinicius Monego <monego@posteo.net> +;;; Copyright © 2021, 2023, 2025 Vinicius Monego <monego@posteo.net> ;;; Copyright © 2021 Alexandre Hannud Abdo <abdo@member.fsf.org> ;;; Copyright © 2021, 2022, 2023 Maxim Cournoyer <maxim.cournoyer@gmail.com> ;;; Copyright © 2022 Marius Bakke <marius@gnu.org> @@ -783,6 +783,40 @@ isolating planarity obstructions.") (home-page "https://github.com/graph-algorithms/edge-addition-planarity-suite"))) +(define-public plantri + (package + (name "plantri") + (version "5.5") + (source (origin + (method url-fetch) + (uri (string-append "https://users.cecs.anu.edu.au/~bdm/plantri/" + "plantri" (string-join + (string-split version #\.) + "") ".tar.gz")) + (sha256 + (base32 + "1vbxpjih293d9nmb65fsh6xgg0w12kygwycg1yw4wad7ridxy74i")))) + (build-system gnu-build-system) + (arguments + (list + #:tests? #f ; there are no tests + #:phases #~(modify-phases %standard-phases + (delete 'configure) + (replace 'install + (lambda _ + (for-each + (lambda (bin) + (install-file bin (string-append #$output "/bin"))) + '("fullgen" "plantri"))))))) + (home-page "https://users.cecs.anu.edu.au/~bdm/plantri/") + (synopsis "Generate certain types of planar graphs") + (description + "@code{plantri} and @code{fullgen} (contained in the same package) +are programs for the generation of certain types of planar graphs. Graphs +are generated in such a way that exactly one member of each isomorphism +class is output without the need for storing them.") + (license license:asl2.0))) + (define-public rw (package (name "rw") |