Package libminisat: Specfile
Name: libminisat Version: 2.2.0 Release: alt5 Packager: Michael Pozhidaev <msp@altlinux.ru> License: BSD style URL: http://minisat.se Summary: The library for Boolean satisfiability problem solving Group: System/Libraries Source: %name-%version.tar.gz BuildRequires: gcc-c++ zlib-devel %package devel Summary: C/C++ development files for %name Group: Development/C Requires: %name = %version-%release %package devel-static Summary: The static library with %name functions Group: Development/C Requires: %name-devel = %version-%release %description This package contains libminisat library as Deepsolver engine for SAT solving. You can find original library at http://minisat.se. %description devel C/C++ development files for lib%name. %description devel-static The static library with %name functions. %prep %setup -q %build ./autogen.sh %configure %make_build %install make DESTDIR=%buildroot install %__rm -f %buildroot%_libdir/lib%name.la %files %doc AUTHORS COPYING README %_libdir/%name-*.so* %files devel %_includedir/minisat.h %_libdir/%name.so %files devel-static %_libdir/%name.a %changelog * Thu Dec 05 2013 Michael Pozhidaev <msp@altlinux.ru> 2.2.0-alt5 - Fixed building bug with missed m4 directory * Fri Mar 01 2013 Michael Pozhidaev <msp@altlinux.ru> 2.2.0-alt4 - Proper collisions support - Assumptions support is removed * Sat Jan 19 2013 Michael Pozhidaev <msp@altlinux.ru> 2.2.0-alt3 - Conflicts analyzing is added * Sat Dec 22 2012 Michael Pozhidaev <msp@altlinux.ru> 2.2.0-alt2 - Variable value assumption support added * Sun Oct 28 2012 Michael Pozhidaev <msp@altlinux.ru> 2.2.0-alt1 - Initial package |