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