4ti2/4ti2.spec

#
# spec file for package 4ti2
#
# Copyright (c) 2013 SUSE LINUX Products 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:           4ti2
Version:        1.3.2
Release:        0
Summary:        Package for algebraic, geometric and combinatorial problems on linear spaces
License:        GPL-2.0+
Group:          Productivity/Scientific/Math
Url:            http://4ti2.de/

Source:         %name-%version.tar.xz
Source2:        %name-doc.tar.xz
Patch1:         4ti2-gcc.diff
Patch2:         4ti2-missing-libs.diff
Patch3:         4ti2-nonvoid-return.diff
Patch4:         4ti2-libtool.diff
BuildRoot:      %{_tmppath}/%{name}-%{version}-build
BuildRequires:  autoconf >= 2.59
BuildRequires:  automake
BuildRequires:  gcc-c++ >= 3.4
BuildRequires:  glpk-devel
BuildRequires:  gmp-devel >= 4.1.4
BuildRequires:  libtool
BuildRequires:  xz

%description
4ti2 is a collection of programs that compute and solve algebraic,
geometric and combinational problems on linear spaces.

%package -n lib4ti2-0
Summary:        Library for computation of Gröbner bases with 4ti2
Group:          System/Libraries

%description -n lib4ti2-0
This package contains the 4ti2 program library, which comes in three
flavors:
- 32-bit precision integers
- 64-bit precision integers
- arbitrary precision integer support through use of GNU MP

%package -n libzsolve0
Summary:        Library for solving linear systems over integers for 4ti2
Group:          System/Libraries

%description -n libzsolve0
This package contains the 4ti2 library for solving systems linear systems over
integers (\mathbb{Z}).

%package devel
Summary:        Development files for 4ti2
Group:          Development/Libraries/C and C++
Requires:       lib4ti2-0 = %version
Requires:       libzsolve0 = %version

%description devel
This subpackage contains the include files and library links for
developing against 4ti2's libraries.

%prep
%setup -qa2
%patch -P 1 -P 2 -P 3 -P 4 -p1

%build
autoreconf -fi;
if [ ! -e libtool ]; then
	# m4/glpk-check.m4 is funny... it requires libtool before
	# libtool is created.
	cp "$(which libtool)" ./;
fi;
%configure --enable-shared --disable-static \
	--includedir="%_includedir/pkg/%name"
make %{?_smp_mflags};

%install
b="%buildroot";
make install DESTDIR="$b";
rm -f "$b/%_libdir"/*.la;
mkdir -p "$b/%_bindir" "$b/%_libexecdir/%name";
mv "$b/%_bindir"/* "$b/%_libexecdir/%name/";
pushd "$b/%_libexecdir/%name";
for i in 4ti2*; do
	ln -s "%_libexecdir/%name/$i" "$b/%_bindir/$i";
done;

%post   -n lib4ti2-0 -p /sbin/ldconfig
%postun -n lib4ti2-0 -p /sbin/ldconfig
%post   -n libzsolve0 -p /sbin/ldconfig
%postun -n libzsolve0 -p /sbin/ldconfig

%files
%defattr(-,root,root)
%_bindir/4ti2*
%_libexecdir/%name
%doc COPYING doc/*

%files -n lib4ti2-0
%defattr(-,root,root)
%_libdir/lib4ti2gmp.so.0*
%_libdir/lib4ti2int32.so.0*
%_libdir/lib4ti2int64.so.0*

%files -n libzsolve0
%defattr(-,root,root)
%_libdir/libzsolve.so.0*

%files devel
%defattr(-,root,root)
%_includedir/pkg/
%_libdir/lib*.so

%changelog