From 7f12f3fe35f732df20b88fa38909cd63d262ea373bc7592463b87ad0720c0203 Mon Sep 17 00:00:00 2001 From: Dmitry Roshchin Date: Thu, 23 May 2013 16:06:01 +0000 Subject: [PATCH] Accepting request 176405 from home:jengelh:branches:science used by polymake OBS-URL: https://build.opensuse.org/request/show/176405 OBS-URL: https://build.opensuse.org/package/show/science/azove?expand=0&rev=1 --- .gitattributes | 23 ++++++++++++++++++ azove-2.0.tar.gz | 3 +++ azove-cpp.diff | 24 +++++++++++++++++++ azove.changes | 4 ++++ azove.spec | 62 ++++++++++++++++++++++++++++++++++++++++++++++++ 5 files changed, 116 insertions(+) create mode 100644 .gitattributes create mode 100644 azove-2.0.tar.gz create mode 100644 azove-cpp.diff create mode 100644 azove.changes create mode 100644 azove.spec diff --git a/.gitattributes b/.gitattributes new file mode 100644 index 0000000..9b03811 --- /dev/null +++ b/.gitattributes @@ -0,0 +1,23 @@ +## Default LFS +*.7z filter=lfs diff=lfs merge=lfs -text +*.bsp filter=lfs diff=lfs merge=lfs -text +*.bz2 filter=lfs diff=lfs merge=lfs -text +*.gem filter=lfs diff=lfs merge=lfs -text +*.gz filter=lfs diff=lfs merge=lfs -text +*.jar filter=lfs diff=lfs merge=lfs -text +*.lz filter=lfs diff=lfs merge=lfs -text +*.lzma filter=lfs diff=lfs merge=lfs -text +*.obscpio filter=lfs diff=lfs merge=lfs -text +*.oxt filter=lfs diff=lfs merge=lfs -text +*.pdf filter=lfs diff=lfs merge=lfs -text +*.png filter=lfs diff=lfs merge=lfs -text +*.rpm filter=lfs diff=lfs merge=lfs -text +*.tbz filter=lfs diff=lfs merge=lfs -text +*.tbz2 filter=lfs diff=lfs merge=lfs -text +*.tgz filter=lfs diff=lfs merge=lfs -text +*.ttf filter=lfs diff=lfs merge=lfs -text +*.txz filter=lfs diff=lfs merge=lfs -text +*.whl filter=lfs diff=lfs merge=lfs -text +*.xz filter=lfs diff=lfs merge=lfs -text +*.zip filter=lfs diff=lfs merge=lfs -text +*.zst filter=lfs diff=lfs merge=lfs -text diff --git a/azove-2.0.tar.gz b/azove-2.0.tar.gz new file mode 100644 index 0000000..849e26b --- /dev/null +++ b/azove-2.0.tar.gz @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:98727bc8ec8ef4ed2aafd3ae0f2bd145d8aa7215e8d5cab6ef6688979242f33c +size 18026 diff --git a/azove-cpp.diff b/azove-cpp.diff new file mode 100644 index 0000000..2322393 --- /dev/null +++ b/azove-cpp.diff @@ -0,0 +1,24 @@ +From: Jan Engelhardt +2013-05-23 10:58:06.612359124 +0200 + +build: resolve compiler error due to missing includes + +conBDD.cpp: In member function 'void conBDD::build()': +conBDD.cpp:59:20: error: 'numeric_limits' was not declared in this scope + +--- + conBDD.cpp | 1 + + 1 file changed, 1 insertion(+) + +Index: azove-2.0/conBDD.cpp +=================================================================== +--- azove-2.0.orig/conBDD.cpp ++++ azove-2.0/conBDD.cpp +@@ -21,6 +21,7 @@ + + #include "conBDD.hpp" + ++#include + #include + + diff --git a/azove.changes b/azove.changes new file mode 100644 index 0000000..6f8c20a --- /dev/null +++ b/azove.changes @@ -0,0 +1,4 @@ +------------------------------------------------------------------- +Thu May 23 09:00:55 UTC 2013 - jengelh@inai.de + +- Initial package (version 2.0) for build.opensuse.org diff --git a/azove.spec b/azove.spec new file mode 100644 index 0000000..0324c6d --- /dev/null +++ b/azove.spec @@ -0,0 +1,62 @@ +# +# spec file for package azove +# +# 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: azove +Version: 2.0 +Release: 0 +Summary: Another Zero One Vertex Enumeration tool +License: GPL-2.0+ +Group: Productivity/Scientific/Math +Url: http://www.mpi-inf.mpg.de/~behle/azove.html + +Source: http://www.mpi-inf.mpg.de/~behle/azove-2.0.tar.gz +Patch1: azove-cpp.diff +BuildRequires: gcc-c++ +BuildRequires: gmp-devel +BuildRoot: %{_tmppath}/%{name}-%{version}-build + +%description +azove is a tool designed for counting (without explicit enumeration) +and enumeration of 0/1 vertices. + +Given a polytope by a linear relaxation or facet description P = {x | +Ax <= b}, all 0/1 points lying in P can be counted or enumerated. +This is done by intersecting the polytope P with the unit-hypercube +[0,1]^d. The integral vertices (no fractional ones) of this +intersection will be enumerated. If P is a 0/1 polytope, azove solves +the vertex enumeration problem. In fact, it can also solve the 0/1 +knapsack problem and the 0/1 subset sum problem. + +%prep +%setup -q +%patch -P 1 -p1 + +%build +make %{?_smp_mflags} COMPILER_FLAGS="%optflags" + +%install +c="%buildroot/%_bindir"; +mkdir -p "$c" +install -pm0755 azove2 "$c" + +%files +%defattr(-,root,root) +%_bindir/azove2 +%doc COPYING + +%changelog