From 4ced4ff02694bf5e829b7ee99ac452aaba0b7df1 Mon Sep 17 00:00:00 2001
From: omni <omni+alpine@hack.org>
Date: Sat, 13 Feb 2021 18:21:25 +0000
Subject: [PATCH] testing/coq: upgrade to 8.15.1

target all archs but riscv64
---
 testing/coq/APKBUILD | 32 ++++++++++++++++++++------------
 1 file changed, 20 insertions(+), 12 deletions(-)

diff --git a/testing/coq/APKBUILD b/testing/coq/APKBUILD
index 1a2167db623..d37c87c022a 100644
--- a/testing/coq/APKBUILD
+++ b/testing/coq/APKBUILD
@@ -1,32 +1,40 @@
 # Contributor: alpine-mips-patches <info@mobile-stream.com>
+# Contributor: omni <omni+alpine@hack.org>
 # Maintainer: alpine-mips-patches <info@mobile-stream.com>
 pkgname=coq
-pkgver=8.13.2
+pkgver=8.15.1
 pkgrel=0
 pkgdesc="A formal proof management system"
 url="https://coq.inria.fr"
-arch="aarch64 ppc64le x86_64"  # reflect ocaml aport platforms
-license="LGPL-2.1"
+arch="all !riscv64" # limited by ocaml aport
+license="LGPL-2.1-or-later"
 depends="ocaml-runtime"
-makedepends="ocaml ocaml-findlib ocaml-compiler-libs ocaml-zarith dune gmp-dev bash"
-options="!check"
+makedepends="ocaml ocaml-findlib ocaml-compiler-libs ocaml-zarith dune ocaml-num-dev bash"
+options="!check" # many tests in 'make test-suite' fail
 subpackages="$pkgname-doc"
-source="coq-$pkgver.tar.gz::https://github.com/coq/coq/archive/V$pkgver.tar.gz"
+source="$pkgname-$pkgver.tar.gz::https://github.com/coq/coq/archive/V$pkgver.tar.gz"
+
+# 32bit archs
+case "$CARCH" in
+armv7|armhf|mips|x86) options="$options textrels" ;;
+esac
 
 build() {
 	./configure \
 		-prefix /usr \
-		-coqdocdir /usr/share/texmf-dist/tex/latex/misc \
 		-bytecode-compiler no \
-		-coqide no \
-		-nodebug
-	make world
+		-coqide no
+
+	case "$CARCH" in
+		s390x) OCAMLPATH=/usr/lib/ocaml CAML_LD_LIBRARY_PATH=/usr/lib/ocaml/zarith/ make -j1;;
+		*) OCAMLPATH=/usr/lib/ocaml CAML_LD_LIBRARY_PATH=/usr/lib/ocaml/zarith/ make;;
+	esac
 }
 
 package() {
-	make -j1 COQINSTALLPREFIX="$pkgdir" install
+	make -j1 DESTDIR="$pkgdir" install
 }
 
 sha512sums="
-d5c16689a3a08d9be58e15d502e5c9bbe13ce8b9755334d1c096307260a804eeb59116c3a7b5fd85910e7f468ee728c69d04735769998a6e6369bf5352f5ec05  coq-8.13.2.tar.gz
+8ae7bde19b4c098c0fad4206a349c50c7fc2537cbeae68e03d38020fd73f15df46e248b1e7cbbf297c1ccf44f9dd62b1179148588fcb5d397e30141cca954a3c  coq-8.15.1.tar.gz
 "