coq: broken on ppc32

2020-01-09 18:34:20 +01:00
parent 383ea0cb64
commit d5aee8e1d4
1 changed files with 5 additions and 0 deletions
--- 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
 }