From f1208c60f3f83b16d1ea0b6fc1863b9216655e91 Mon Sep 17 00:00:00 2001
From: Celeste <20312-Celeste@users.gitlab.alpinelinux.org>
Date: Sun, 10 Sep 2023 04:19:05 +0000
Subject: [PATCH] testing/coq: upgrade to 8.18.0
Also, fix runtime dependencies, and move Coq stublibs
to a path that is listed in `/usr/lib/ocaml/ld.conf`.
---
testing/coq/APKBUILD | 12 +++++++-----
1 file changed, 7 insertions(+), 5 deletions(-)
diff --git a/testing/coq/APKBUILD b/testing/coq/APKBUILD
index e87044416cc2..dee6fd07d7dd 100644
--- a/testing/coq/APKBUILD
+++ b/testing/coq/APKBUILD
@@ -2,8 +2,8 @@
# Contributor: omni <omni+alpine@hack.org>
# Maintainer: alpine-mips-patches <info@mobile-stream.com>
pkgname=coq
-pkgver=8.17.1
-pkgrel=1
+pkgver=8.18.0
+pkgrel=0
pkgdesc="Formal proof management system"
url="https://coq.inria.fr"
# riscv64: ocaml
@@ -11,7 +11,7 @@ url="https://coq.inria.fr"
# 32-bit: huge package and nobody would use it there
arch="all !armhf !armv7 !x86 !s390x !riscv64"
license="LGPL-2.1-or-later"
-depends="ocaml-runtime"
+depends="ocaml-findlib ocaml-runtime ocaml-zarith"
makedepends="
bash
dune
@@ -19,7 +19,6 @@ makedepends="
ocaml-compiler-libs
ocaml-findlib-dev
ocaml-num-dev
- ocaml-zarith
"
options="!check" # many tests in 'make test-suite' fail
subpackages="$pkgname-doc"
@@ -36,8 +35,11 @@ package() {
--destdir="$pkgdir" \
--mandir=/usr/share/man \
--docdir=/usr/share/doc
+
+ mkdir -vp "$pkgdir"/usr/lib/ocaml
+ mv -v "$pkgdir"/usr/lib/stublibs "$pkgdir"/usr/lib/ocaml/
}
sha512sums="
-9a35311acec2a806730b94ac7dceabc88837f235c52a14c026827d9b89433bd7fa9555a9fc6829aa49edfedb24c8bbaf1411ebf463b74a50aeb17cba47745b6b coq-8.17.1.tar.gz
+46922d5f2eb6802a148a52fd3e7f0be8370c93e7bc33cee05cf4a2044290845b10ccddbaa306f29c808e7c5019700763e37e45ff6deb507b874a4348010fed50 coq-8.18.0.tar.gz
"
--
GitLab