diff --git a/Agda.spec b/Agda.spec
index 5e8d058..e30d303 100644
--- a/Agda.spec
+++ b/Agda.spec
@@ -41,6 +41,7 @@ BuildRequires:  alex
 BuildRequires:  happy
 # End cabal-rpm deps
 BuildRequires:  chrpath
+BuildRequires:  emacs(bin)
 ExcludeArch:    armv7hl
 Requires:       ghc-%{name}-devel = %{version}-%{release}
 Requires:       emacs-agda = %{version}-%{release}