File cadical.spec of Package cadical

#
# spec file for package lean4
#
# Copyright (c) 2025 Xu Zhao (i@xuzhao.net)
#
# 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 https://bugs.opensuse.org/
#
%define         srcext             tar.zst
Name:           cadical
Version:        2.1.1
Release:        0
Summary:        Simplified Satisfiability Solver
License:        MIT
URL:            https://github.com/arminbiere/cadical 
Source:         cadical-%{version}.%{srcext}
BuildRequires:  make
BuildRequires:  gcc-c++


%description
Simplified Satisfiability Solver

%package devel
Summary:        Simplified Satisfiability Solver header files

%description devel
Simplified Satisfiability Solver header files

%prep
%autosetup

%build
./configure -p
%make_build

%install
install -Dm755 build/cadical %{buildroot}%{_bindir}/cadical
install -Dm755 build/mobical %{buildroot}%{_bindir}/mobical
install -Dm644 build/libcadical.a %{buildroot}%{_libdir}/libcadical.a
install -Dm644 src/cadical.hpp %{buildroot}%{_includedir}/cadical.hpp

%check
%make_build test

%files devel
%{_includedir}/cadical.hpp
%{_libdir}/libcadical.a

%files
%{_bindir}/cadical
%{_bindir}/mobical

%changelog