diff --git a/srcpkgs/coq/template b/srcpkgs/coq/template
index 3357f1e02f3..ca47730beac 100644
--- a/srcpkgs/coq/template
+++ b/srcpkgs/coq/template
@@ -12,6 +12,11 @@ checksum=693c188f045d21f83114239dbb8af8def01b42a157c7d828087d055c32ec6e86
 nopie=yes
 nocross=yes
 
+case "$XBPS_TARGET_MACHINE" in
+	ppc64*) ;;
+	ppc*) broken="R_PPC_REL24 relocation out of range";;
+esac
+
 do_configure() {
 	./configure -prefix ${DESTDIR}/usr -coqide no
 }