diff --git a/z3.spec b/z3.spec
index f1dc084..bc78674 100644
--- a/z3.spec
+++ b/z3.spec
@@ -15,6 +15,7 @@ BuildRequires:  graphviz
 BuildRequires:  help2man
 BuildRequires:  java-devel
 BuildRequires:  javapackages-tools
+BuildRequires:  make
 BuildRequires:  ninja-build
 BuildRequires:  ocaml
 BuildRequires:  ocaml-findlib