openSUSE Build Service

Overview Repositories Revisions Requests Users Attributes Meta

File z3.spec of Package z3 (Revision af9a64652c95e183dab820220cef2105)

Currently displaying revision af9a64652c95e183dab820220cef2105 , Show latest

#
# spec file for package z3
#
# 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:           z3
BuildRequires:  cmake
BuildRequires:  gcc-c++
BuildRequires:  make
BuildRequires:  python
BuildRequires:  xz
Summary:        Theorem prover from Microsoft Research
License:        MIT
Group:          Productivity/Scientific/Other
Version:        20151009
Release:        0
Url:            https://github.com/Z3Prover/z3/wiki
BuildRoot:      %{_tmppath}/%{name}-%{version}-build
Source0:        %{name}-%{version}.tar.xz
Patch0:         0001-cmake-add-base-files.patch

%description
Z3 is a high-performance theorem prover being developed at Microsoft Research.

%package devel
Summary:        Devel files for z3
Group:          Development/Languages/C and C++
Requires:       %{name} = %{version}

%description devel
Developmnet files for z3 library.

#%%package python
#Summary:        Python bindings for stp
#Group:          Development/Languages/Python
#Requires:       %{name} = %{version}
#
#%%description python
#Python bindings for stp library.

%prep
%setup -q
%patch0 -p1

%build
python scripts/mk_make.py
cmake . -DCMAKE_CXX_FLAGS="%optflags" \
	-DBUILD_SHARED_LIBS=true \
%ifarch x86_64
	-DZ3_LIBDIR_SUFFIX=64 \
%endif
	-DCMAKE_INSTALL_PREFIX=%{_prefix}
make VERBOSE=1 %{?_smp_mflags}

%install
%makeinstall

%post -p /sbin/ldconfig
%postun -p /sbin/ldconfig

%files
%defattr(-,root,root)
%doc LICENSE.txt README RELEASE_NOTES
%{_bindir}/z3
%{_libdir}/libz3.so

%files devel
%defattr(-,root,root)
%{_includedir}/z3*.h

#%%files python
#%%defattr(-,root,root)
#%%{python_sitelib}/*

%changelog

Places

File z3.spec of Package z3 (Revision af9a64652c95e183dab820220cef2105)

Places