From d5aee8e1d42a3a2b0a843b69db855ae5ce20b001 Mon Sep 17 00:00:00 2001
From: q66 <daniel@octaforge.org>
Date: Thu, 9 Jan 2020 18:34:20 +0100
Subject: [PATCH] coq: broken on ppc32

---
 srcpkgs/coq/template | 5 +++++
 1 file changed, 5 insertions(+)

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
 }