From 8e73c9cd4e6132e3d40d5a94a4707cb2a058d3ed Mon Sep 17 00:00:00 2001
From: Tom Stellard <tstellar@redhat.com>
Date: Dec 17 2020 03:22:00 +0000
Subject: Add BuildRequires: make


https://fedoraproject.org/wiki/Changes/Remove_make_from_BuildRoot

---

diff --git a/cbmc.spec b/cbmc.spec
index b2a4d1c..ac81774 100644
--- a/cbmc.spec
+++ b/cbmc.spec
@@ -40,6 +40,7 @@ BuildRequires:  glpk-devel
 BuildRequires:  graphviz
 BuildRequires:  minisat2-devel
 BuildRequires:  zlib-devel
+BuildRequires: make
 
 Requires:       gcc-c++
 Requires:       sed