File metasmt.spec of Package metasmt

#
# spec file for package metasmt
#
# Copyright (c) 2025 SUSE LLC
#
# 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 version_unconverted 0.0+20191203

Name:           metasmt
Summary:        Wrapper around various solvers
License:        MIT
Group:          Development/Languages/Other
Version:        0.0+20191203
Release:        0
URL:            https://github.com/hoangmle/metaSMT
Source0:        %{name}-%{version}.tar.xz
Patch0:         0001-CMakeLists-allow-search-for-boost-in-usr.patch
Patch1:         0002-CMakeLists-use-GNUInstallDirs-to-properly-install.patch
Patch2:         0003-CMakeLists-do-not-specify-STATIC-for-libs.patch
Patch3:         0004-lib-proper-soversion.patch
Patch4:         0005-CMakeLists-no-quiet-when-finding.patch
BuildRequires:  cmake
BuildRequires:  gcc-c++
BuildRequires:  ninja
BuildRequires:  stp-devel
BuildRequires:  xz
BuildRequires:  z3-devel
BuildRequires:  zlib-devel

%description
KLEE is a symbolic virtual machine built on top of the LLVM compiler
infrastructure, and available under the UIUC open source license. For more
information on what KLEE is and what it can do, see the OSDI 2008 paper.

%package -n libmetaSMT4_0
Summary:        Wrapper around various solvers
Group:          System/Libraries

%description -n libmetaSMT4_0
KLEE is a symbolic virtual machine built on top of the LLVM compiler
infrastructure, and available under the UIUC open source license. For more
information on what KLEE is and what it can do, see the OSDI 2008 paper.

%package devel
Summary:        Devel files for metasmt
Group:          Development/Languages/C and C++
Requires:       %{name} = %{version}
Requires:       libmetaSMT4_0 = %{version}
Requires:       stp-devel
Requires:       z3-devel
Provides:       pkgconfig(metasmt)

%description devel
Development files for metasmt library.

%prep
%autosetup -p1

%build
%define __builder ninja
%cmake \
	-DmetaSMT_ENABLE_TESTS=off
%cmake_build

%install
%cmake_install

%post -n libmetaSMT4_0 -p /sbin/ldconfig

%postun -n libmetaSMT4_0 -p /sbin/ldconfig

%files
%defattr(-,root,root)
%doc ChangeLog LICENSE README.md

%files -n libmetaSMT4_0
%defattr(-,root,root)
%{_libdir}/libmetaSMT.so.*

%files devel
%defattr(-,root,root)
%{_libdir}/libmetaSMT.so
%{_includedir}/metaSMT/
%{_prefix}/lib/pkgconfig/metaSMT.pc
%dir %{_datadir}/metaSMT/
%{_datadir}/metaSMT/*.cmake
%{_datadir}/metaSMT/*.env
%{_datadir}/metaSMT/*.makefile

%changelog