From 5441fa5eda5795a1baf40c1e5bac8d4b05b148bb Mon Sep 17 00:00:00 2001 From: Bernhard M. Wiedemann Date: Sep 13 2019 14:29:36 +0000 Subject: restructure files to remain below github limit of 1000 entries --- diff --git a/4ti2-docdir.diff b/4ti2-docdir.diff new file mode 100644 index 0000000..72b0efc --- /dev/null +++ b/4ti2-docdir.diff @@ -0,0 +1,24 @@ +From 0ec32ea7cc2f9947ede1c87d079f6f34c221cb45 Mon Sep 17 00:00:00 2001 +From: Jan Engelhardt +Date: Wed, 5 Feb 2014 00:33:39 +0100 +Subject: [PATCH] build: stop misplacing documentation + +docdir must not be statically set as it would override what the +user gave to ./configure --docdir=... +--- + doc/Makefile.am | 2 -- + 1 file changed, 2 deletions(-) + +diff --git a/doc/Makefile.am b/doc/Makefile.am +index 78abbd6..ea73e88 100644 +--- a/doc/Makefile.am ++++ b/doc/Makefile.am +@@ -1,5 +1,3 @@ +-docdir = $(pkgdatadir)/doc +- + doc_DATA = 4ti2_manual.pdf + + ## Manual sources. +-- +2.19.0 + diff --git a/4ti2.changes b/4ti2.changes new file mode 100644 index 0000000..4cd2af3 --- /dev/null +++ b/4ti2.changes @@ -0,0 +1,64 @@ +------------------------------------------------------------------- +Fri Oct 19 08:46:44 UTC 2018 - Jan Engelhardt + +- Update to new upstream release 1.6.9 + * Fix out of bounds vector access in circuits. +- Remove 4ti2-missing-libs.diff (not needed) + +------------------------------------------------------------------- +Fri Mar 11 22:53:38 UTC 2016 - jengelh@inai.de + +- Update to new upstream release 1.6.7 +* Add tests for "walk -p arb" to testsuite +* Fix division-by-zero in "walk -p arb" for testcase 344 + +------------------------------------------------------------------- +Mon Oct 26 22:37:32 UTC 2015 - p.drouand@gmail.com + +- Update to version 1.6.6 + * Fix segfault in graver when a matrix with trivial kernel is input + (testcase graver/trivial-kernel). +- Changes from version 1.6.5 + * Fix build failure with gcc 4.9.2. +- Changes from version 1.6.4 + * Improved error checking while reading zsolve input files. + * The PDF manual has been updated to include a reference to commands + and their options and a reference to the API. The command + reference on www.4ti2.de has also been updated. + * Better option handling. Make long options available in non-GNU + platforms such as Mac OS X. All commands now support the + standard --help and --version options. + * Minor fix to the test suite. +- Changes from version 1.6.3 + * The manual has been updated. + * Minor build fixes. + +------------------------------------------------------------------- +Fri Apr 18 09:33:38 UTC 2014 - jengelh@inai.de + +- Update to new upstream release 1.6.2 +* Support for newer libglpk API "glp_" + (which replaced the "lpx_" API) + +------------------------------------------------------------------- +Tue Feb 4 18:39:35 UTC 2014 - jengelh@inai.de + +- Update to new upstream release 1.6 +* Restore the functionality of "hilbert" to accept "rel" files +* When the cone is not pointed, "hilbert" now outputs a "zfree" file, + containing a lattice basis, in addition to the "hil" file. +- Remove 4ti2-gcc.diff, 4ti2-nonvoid-return.diff, 4ti2-libtool.diff + (merged upstream) + +------------------------------------------------------------------- +Wed Apr 17 08:05:30 UTC 2013 - jengelh@inai.de + +- Combine shared library packages lib4ti2{gmp0,int32-0,int64-0} + as they are updated in lockstep + +------------------------------------------------------------------- +Fri Dec 7 09:02:56 UTC 2012 - jengelh@inai.de + +- Initial package (version 1.3.2) for build.opensuse.org +- Add 4ti2-missing-libs.diff, 4ti2-docdir.diff to address build + problems diff --git a/4ti2.spec b/4ti2.spec new file mode 100644 index 0000000..96ad2ec --- /dev/null +++ b/4ti2.spec @@ -0,0 +1,120 @@ +# +# spec file for package 4ti2 +# +# Copyright (c) 2018 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 https://bugs.opensuse.org/ +# + + +Name: 4ti2 +Version: 1.6.9 +Release: 0 +Summary: Package for algebraic, geometric and combinatorial problems on linear spaces +License: GPL-2.0-or-later +Group: Productivity/Scientific/Math +Url: https://4ti2.github.io/ + +Source: https://github.com/4ti2/4ti2/releases/download/Release_1_6_9/4ti2-1.6.9.tar.gz +Patch1: 4ti2-docdir.diff +BuildRoot: %{_tmppath}/%{name}-%{version}-build +BuildRequires: autoconf >= 2.59 +BuildRequires: automake +BuildRequires: gcc-c++ >= 4.3 +BuildRequires: glpk-devel >= 4.52 +BuildRequires: gmp-devel >= 4.1.4 +BuildRequires: libtool + +%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 -q +%patch -P 1 -p1 + +%build +autoreconf -fi; +%configure --enable-shared --disable-static \ + --includedir="%_includedir/pkg/%name" --docdir="%_docdir/%name" +make %{?_smp_mflags} + +%install +%make_install +b="%buildroot" +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 *; do + ln -s "%_libexecdir/%name/$i" "$b/%_bindir/4ti2_$i" +done +rm -f doc/Makefile* + +%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) +%doc COPYING doc/* +%_bindir/4ti2* +%_libexecdir/%name/ + +%files -n lib4ti2-0 +%defattr(-,root,root) +%_libdir/lib4ti2gmp.so.0* +%_libdir/lib4ti2int32.so.0* +%_libdir/lib4ti2int64.so.0* +%_libdir/lib4ti2common.so.0* +%_libdir/lib4ti2util.so.0* + +%files -n libzsolve0 +%defattr(-,root,root) +%_libdir/libzsolve.so.0* + +%files devel +%defattr(-,root,root) +%_includedir/pkg/ +%_libdir/lib*.so + +%changelog