openSUSE Build Service

Overview Repositories Revisions Requests Users Attributes Meta

File minisat.spec of Package minisat (Revision 54db0e21e44114c8a4bda334cd5e6c92)

Currently displaying revision 54db0e21e44114c8a4bda334cd5e6c92 , Show latest

#
# spec file for package minisat
#
# Copyright (c) 2015 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:           minisat
Url:            http://minisat.se/MiniSat.html
Version:        2.2.0+20130925
Release:        0
Summary:        SAT solver
License:        MIT
Group:          Development/Tools/Other
Source0:        %{name}-%{version}.tar.xz
Patch0:         Makefile_lib_rule.patch
BuildRoot:      %{_tmppath}/%{name}-%{version}-build
BuildRequires:  gcc-c++
BuildRequires:  zlib-devel

%description
MiniSat is a comparatively small SAT solver with documentation
(through the following paper). The first version was just above 600
lines while containing many then-desirable features (conflict-clause
recording, conflict-driven backjumping, VSIDS dynamic variable order,
two-literal watch scheme), and even extensions for incremental SAT
and for non-clausal constraints over boolean variables.

The current MiniSat v2 supports variable elimination style
simplification, too.

%package -n libminisat2
Summary:        SAT solver
Group:          System/Libraries

%description -n libminisat2
MiniSat is a comparatively small SAT solver. It can do
conflict-clause recording, conflict-driven backjumping, VSIDS dynamic
variable order, two-literal watch scheme, non-clausal constraints
over boolean variables, and variable elimination style
simplification.

%package devel
Summary:        Devel files for minisat
Group:          Development/Libraries/C and C++
Requires:       libminisat2 = %{version}
Requires:       zlib-devel

%description devel
Headers and libraries for the minisat package.

%prep
%setup -q
%patch0 -p1

%build
export CXXFLAGS="%optflags"
make %{?_smp_mflags} sh lsh \
	MINISAT_REL="-D NDEBUG" \
	VERB=

%install
make DESTDIR=%{buildroot} prefix=%{_prefix} install-headers

# lib
install -d %{buildroot}/%{_libdir}
# links
cp -dp build/dynamic/lib/libminisat.so* %{buildroot}/%{_libdir}/

# binaries
install -d %{buildroot}/%{_bindir}
install -m 0755 build/dynamic/bin/%{name} %{buildroot}/%{_bindir}/%{name}

%post   -n libminisat2 -p /sbin/ldconfig
%postun -n libminisat2 -p /sbin/ldconfig

%files
%defattr(-,root,root)
%doc LICENSE README
%{_bindir}/%{name}

%files -n libminisat2
%defattr(-,root,root)
%{_libdir}/lib%{name}.so.*

%files devel
%defattr(-,root,root)
%{_includedir}/%{name}/
%{_libdir}/lib%{name}.so

%changelog

Places

File minisat.spec of Package minisat (Revision 54db0e21e44114c8a4bda334cd5e6c92)

Places