diff --git a/cadical.spec b/cadical.spec index e985b54..291e001 100644 --- a/cadical.spec +++ b/cadical.spec @@ -14,6 +14,7 @@ BuildRequires: drat-trim-tools BuildRequires: gcc-c++ BuildRequires: glibc-langpack-en BuildRequires: help2man +BuildRequires: make BuildRequires: zlib-devel Requires: %{name}-libs%{?_isa} = %{epoch}:%{version}-%{release}