openSUSE Build Service

Overview Repositories Revisions Requests Users Attributes Meta

File plantri.spec of Package plantri (Revision ac14ec85b7bbdb0525f318e24ef07f53)

Currently displaying revision ac14ec85b7bbdb0525f318e24ef07f53 , Show latest

#
# spec file for package plantri
#
# Copyright (c) 2024 SUSE LLC
#
# All modifications and additions to the file contributed by third parties
# remain the property of their copyright owners, unless otherwise agreed
# upon. The license for this file, and modifications and additions to the
# file, is the same license as for the pristine package itself (unless the
# license for the pristine package is not an Open Source License, in which
# case the license is the MIT License). An "Open Source License" is a
# license that conforms to the Open Source Definition (Version 1.9)
# published by the Open Source Initiative.

# Please submit bugfixes or comments via https://bugs.opensuse.org/
#

Name:           plantri
Version:        5.4
Release:        0
Summary:        Programs for generating certain types of planar graphs
License:        Apache-2.0
Group:          Productivity/Scientific/Math
URL:            https://users.cecs.anu.edu.au/~bdm/plantri/
Source:         https://users.cecs.anu.edu.au/~bdm/plantri/plantri54.tar.gz
# changelog is in plantri-guide.txt appendix F
BuildRequires:  c_compiler

%description
plantri is a program that generates certain types of graphs that are
embedded on the sphere.

Exactly one member of each isomorphism class is output, using an
amount of memory almost independent of the number of graphs produced.
Isomorphisms are defined with respect to the imbeddings, so in some
cases outputs may be isomorphic as abstract graphs.

%prep
%autosetup -n plantri54

%build
%make_build CC="%__cc" CFLAGS="%optflags"

%install
mkdir -p "%buildroot/%_bindir"
cp -a plantri fullgen "%buildroot/%_bindir/"

%files
%_bindir/*
%doc plantri-guide.txt
%license LICENSE*

%changelog

Places

File plantri.spec of Package plantri (Revision ac14ec85b7bbdb0525f318e24ef07f53)

Places