You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
91 lines
3.0 KiB
91 lines
3.0 KiB
## |
|
## minisat.spec -- OpenPKG RPM Package Specification |
|
## Copyright (c) 2000-2020 OpenPKG Project <http://openpkg.org/> |
|
## |
|
## Permission to use, copy, modify, and distribute this software for |
|
## any purpose with or without fee is hereby granted, provided that |
|
## the above copyright notice and this permission notice appear in all |
|
## copies. |
|
## |
|
## THIS SOFTWARE IS PROVIDED ``AS IS'' AND ANY EXPRESSED OR IMPLIED |
|
## WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF |
|
## MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. |
|
## IN NO EVENT SHALL THE AUTHORS AND COPYRIGHT HOLDERS AND THEIR |
|
## CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, |
|
## SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT |
|
## LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF |
|
## USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND |
|
## ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, |
|
## OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT |
|
## OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF |
|
## SUCH DAMAGE. |
|
## |
|
|
|
# package version |
|
%define V_base 2.2.0 |
|
%define V_snap 20190724 |
|
|
|
# package information |
|
Name: minisat |
|
Summary: SAT Solver |
|
URL: http://minisat.se/ |
|
Vendor: Niklas Een, Niklas Sorensson |
|
Packager: OpenPKG Project |
|
Distribution: OpenPKG Community |
|
Class: EVAL |
|
Group: Algorithm |
|
License: MIT |
|
Version: %{V_base}.%{V_snap} |
|
Release: 20190725 |
|
|
|
# list of sources |
|
Source0: http://download.openpkg.org/components/versioned/minisat/minisat-%{V_snap}.tar.xz |
|
|
|
# build information |
|
BuildPreReq: OpenPKG, openpkg >= 20160101, gcc, gcc::with_cxx = yes, cmake |
|
PreReq: OpenPKG, openpkg >= 20160101 |
|
|
|
%description |
|
MiniSAT is a minimalistic and high-performance SAT solver. |
|
|
|
%track |
|
prog minisat:base = { |
|
version = %{V_base} |
|
url = https://github.com/master-keying/minisat/releases |
|
regex = (__VER__)\.tar\.gz |
|
} |
|
prog minisat:snap = { |
|
version = %{V_snap} |
|
url = http://download.openpkg.org/components/versioned/minisat/ |
|
regex = minisat-(__VER__)\.tar\.xz |
|
} |
|
|
|
%prep |
|
%setup -q -n minisat |
|
|
|
%build |
|
mkdir build |
|
cd build |
|
cmake \ |
|
-DCMAKE_BUILD_TYPE="Release" \ |
|
-DCMAKE_INSTALL_PREFIX="%{l_prefix}" \ |
|
-DCMAKE_EXE_LINKER_FLAGS="%{l_ldflags}" \ |
|
-DCMAKE_CXX_COMPILER="%{l_cxx}" \ |
|
-DCMAKE_CXX_FLAGS="%{l_cxxflags} %{l_cppflags} -Wno-class-memaccess" \ |
|
-DMINISAT_BUILD_TESTING=OFF \ |
|
.. |
|
%{l_make} %{l_mflags} |
|
|
|
%install |
|
%{l_shtool} mkdir -f -p -m 755 \ |
|
$RPM_BUILD_ROOT%{l_prefix}/bin |
|
%{l_shtool} install -c -s -m 755 \ |
|
build/minisat $RPM_BUILD_ROOT%{l_prefix}/bin/ |
|
%{l_shtool} install -c -s -m 755 \ |
|
build/minisat-simp $RPM_BUILD_ROOT%{l_prefix}/bin/ |
|
%{l_rpmtool} files -v -ofiles -r$RPM_BUILD_ROOT %{l_files_std} |
|
|
|
%files -f files |
|
|
|
%clean |
|
|
|
|