diff --git a/srcpkgs/ProofGeneral/template b/srcpkgs/ProofGeneral/template
index ac70c288c6..208e58f8d6 100644
--- a/srcpkgs/ProofGeneral/template
+++ b/srcpkgs/ProofGeneral/template
@@ -5,7 +5,7 @@ revision=2
 wrksrc="PG-${version}"
 archs=noarch
 build_style=gnu-makefile
-hostmakedepends="emacs"
+hostmakedepends="emacs which"
 depends="emacs perl"
 short_desc="Generic Emacs front-end for proof assistants"
 maintainer="Leah Neukirchen <leah@vuxu.org>"