From f3e5c1802d30df8728e6333544cfe30004c8b402 Mon Sep 17 00:00:00 2001
From: Jerry James <loganjerry@gmail.com>
Date: Mon, 9 Nov 2020 17:30:57 -0700
Subject: [PATCH] Explicitly BR make.

---
 stp.spec | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/stp.spec b/stp.spec
index de065fe..1face99 100644
--- a/stp.spec
+++ b/stp.spec
@@ -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