rpms/stp
3
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Disable rpath.

Browse Source
This commit is contained in:
Jerry James 2019-07-20 11:54:13 -06:00
parent 6b2e3b5a1a
commit 06b1f0bab2
1 changed files with 7 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
stp.spec
View File

@ -7,7 +7,7 @@ License: MIT
URL: http://stp.github.io/
Source0: https://github.com/stp/stp/archive/%{version}/%{name}-%{version}.tar.gz
# Fix some format specifier problems
Patch0: %{name}-format.patch
Patch0: %{name}-format.patch
BuildRequires: bison
BuildRequires: boost-devel
@ -77,7 +77,9 @@ rm -f include/stp/Sat/CryptoMinisat5.h.orig
%build
export CFLAGS="%{optflags} -I %{_includedir}/minisat"
export CXXFLAGS="%{optflags} -I %{_includedir}/minisat"
%cmake -DPYTHON_EXECUTABLE:FILEPATH=%{_bindir}/python%{python3_version} \
%cmake -DCMAKE_SKIP_RPATH:BOOL=YES \
-DCMAKE_SKIP_INSTALL_RPATH:BOOL=YES \
-DPYTHON_EXECUTABLE:FILEPATH=%{_bindir}/python%{python3_version} \
-DPYTHON_LIBRARY:FILEPATH=%{_libdir}/libpython%{python3_version}.so \
-DPYTHON_INCLUDE_DIR:FILEPATH=%{_includedir}/python%{python3_version} .
# FIXME: %%{?_smp_mflags} doesn't work due to running genkinds.pl too late
@ -106,6 +108,9 @@ mv %{buildroot}%{_prefix}/man %{buildroot}%{_datadir}/man
%{python3_sitelib}/%{name}/
%changelog
* Sat Jul 20 2019 Jerry James <loganjerry@gmail.com> - 2.3.3-1
- Disable rpath
* Wed Apr 17 2019 Jerry James <loganjerry@gmail.com> - 2.3.3-1
- New upstream version