gap-float/gap-float.spec

69 lines
2.1 KiB
RPMSpec
Raw Normal View History

#
# spec file for package gap-float
#
# Copyright (c) 2017 SUSE LINUX GmbH, Nuernberg, Germany.
#
# 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 http://bugs.opensuse.org/
#
Name: gap-float
Version: 0.7.6
Release: 0
Summary: GAP: Integration of mpfr, mpfi, mpc, fplll and cxsc in GAP
License: GPL-3.0+
Group: Productivity/Scientific/Math
Url: http://laurentbartholdi.github.com/float/
#Git-Clone: git://github.com/laurentbartholdi/float/
Source: https://www.gap-system.org/pub/gap/gap4/tar.bz2/packages/float-%version.tar.bz2
BuildRoot: %{_tmppath}/%{name}-%{version}-build
BuildRequires: autoconf
BuildRequires: automake
BuildRequires: cxsc-devel
BuildRequires: gap-devel >= 4.7
BuildRequires: gap-rpm-devel
BuildRequires: gcc-c++
BuildRequires: libtool
BuildRequires: mpc-devel
BuildRequires: mpfi-devel
BuildRequires: mpfr-devel
BuildRequires: pkgconfig(fplll)
Requires: gap-core >= 4.7
Requires: gap-gapdoc >= 1.0
%description
The Float package allows GAP to manipulate floating-point numbers
with arbitrary precision. It is based on MPFR, MPFI, MPC, CXSC,
FPLLL.
%prep
%setup -qn float-%version
%build
autoreconf -fi
%configure --with-gaproot="%gapdir" --with-cxsc-include="%_includedir/cxsc" \
--with-fplll="%_prefix"
make %{?_smp_mflags}
%install
rm -Rf bin/*/.libs
find bin -type f ! -name float.so -delete
rm -Rf {aclocal.m4,autom4*,build-aux,config.*,configu*,libtool*,m4,src}
find . -type f -name "Makefile*" -delete
%gappkg_simple_install
%files -f %name.files
%defattr(-,root,root)
%changelog