Sign Up
Log In
Log In
or
Sign Up
Places
All Projects
Status Monitor
Collapse sidebar
openSUSE:Leap:15.0:Update
minisat
minisat.spec
Overview
Repositories
Revisions
Requests
Users
Attributes
Meta
File minisat.spec of Package minisat
# # 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
Locations
Projects
Search
Status Monitor
Help
OpenBuildService.org
Documentation
API Documentation
Code of Conduct
Contact
Support
@OBShq
Terms
openSUSE Build Service is sponsored by
The Open Build Service is an
openSUSE project
.
Sign Up
Log In
Places
Places
All Projects
Status Monitor