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

Explicitly BR make.

Browse Source
This commit is contained in:
Jerry James 2020-11-09 17:30:57 -07:00
parent c027a67982
commit f3e5c1802d
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
stp.spec
View File

@ -14,10 +14,11 @@ BuildRequires: boost-devel
BuildRequires: cmake
BuildRequires: cryptominisat
BuildRequires: cryptominisat-devel
BuildRequires: flex
BuildRequires: gcc-c++
BuildRequires: help2man
BuildRequires: make
BuildRequires: minisat2-devel
BuildRequires: flex
BuildRequires: perl(Getopt::Long)
BuildRequires: python3-devel
@ -77,7 +78,7 @@ export CXXFLAGS="%{optflags} -I %{_includedir}/minisat"
# Fix the help2man invocation
sed -i "s,help2man,LD_LIBRARY_PATH=$PWD/lib &," \
%{__cmake_builddir}/CMakeFiles/man_stp.dir/build.make
%{_vpath_builddir}/CMakeFiles/man_stp.dir/build.make
%cmake_build