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

Fix the help2man invocation.

This commit is contained in:
Jerry James 2019-07-31 19:40:34 -06:00
parent c8eb57b4af
commit 6821f5a877
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
stp.spec
View File

@ -82,6 +82,10 @@ export CXXFLAGS="%{optflags} -I %{_includedir}/minisat"
-DPYTHON_EXECUTABLE:FILEPATH=%{_bindir}/python%{python3_version} \
-DPYTHON_LIBRARY:FILEPATH=%{_libdir}/libpython%{python3_version}.so \
-DPYTHON_INCLUDE_DIR:FILEPATH=%{_includedir}/python%{python3_version} .
# Fix the help2man invocation
sed -i "s,help2man,LD_LIBRARY_PATH=$PWD/lib &," CMakeFiles/man_stp.dir/build.make
# FIXME: %%{?_smp_mflags} doesn't work due to running genkinds.pl too late
make