From 6c3215ab191e75ea50b0b7c07cd717c0dec21ea6 Mon Sep 17 00:00:00 2001
From: Celeste <20312-Celeste@users.gitlab.alpinelinux.org>
Date: Fri, 14 Mar 2025 04:07:37 +0000
Subject: [PATCH] community/rocq-stdlib: new aport

---
 community/rocq-stdlib/APKBUILD | 43 ++++++++++++++++++++++++++++++++++
 community/rocq/APKBUILD        |  2 +-
 2 files changed, 44 insertions(+), 1 deletion(-)
 create mode 100644 community/rocq-stdlib/APKBUILD

diff --git a/community/rocq-stdlib/APKBUILD b/community/rocq-stdlib/APKBUILD
new file mode 100644
index 00000000000..9301616cdda
--- /dev/null
+++ b/community/rocq-stdlib/APKBUILD
@@ -0,0 +1,43 @@
+# Maintainer: Celeste <cielesti@protonmail.com>
+maintainer="Celeste <cielesti@protonmail.com>"
+pkgname=rocq-stdlib
+pkgver=9.0.0
+pkgrel=0
+pkgdesc="Formal proof management system (split-off standard library)"
+url="https://rocq-prover.org/"
+arch="all !armhf !armv7 !x86 !s390x !riscv64 !loongarch64" # follow rocq
+license="LGPL-2.1-only"
+depends="rocq~$pkgver"
+makedepends="
+	bash
+	dune
+	linux-headers
+	ocaml
+	ocaml-compiler-libs
+	ocaml-findlib-dev
+	ocaml-zarith
+	"
+options="!check" # many tests in 'make test-suite' fail
+subpackages="$pkgname-doc"
+source="$pkgname-$pkgver.tar.gz::https://github.com/coq/stdlib/releases/download/V$pkgver/stdlib-$pkgver.tar.gz"
+builddir="$srcdir/stdlib-$pkgver"
+
+install_if="rocq~$pkgver"
+replaces="coq"
+
+build() {
+	dune build -p rocq-stdlib
+}
+
+package() {
+	dune install rocq-stdlib \
+		--prefix=/usr \
+		--destdir="$pkgdir" \
+		--mandir=/usr/share/man \
+		--docdir=/usr/share/doc \
+		--libdir="$(ocamlc -where)"
+}
+
+sha512sums="
+97faa80d63a398c2c6872e043d65b1b907bb01ec3ea42f35cf757b3457b8fa2b64475d1577000ce2dea2c3f93e59e36cc5af9864adacf47f92db96ecbe307a45  rocq-stdlib-9.0.0.tar.gz
+"
diff --git a/community/rocq/APKBUILD b/community/rocq/APKBUILD
index 4caa30c6f20..79c729c50d5 100644
--- a/community/rocq/APKBUILD
+++ b/community/rocq/APKBUILD
@@ -4,7 +4,7 @@
 # Maintainer: Celeste <cielesti@protonmail.com>
 maintainer="Celeste <cielesti@protonmail.com>"
 pkgname=rocq
-pkgver=9.0.0
+pkgver=9.0.0	# upgrade together with rocq-stdlib
 pkgrel=0
 pkgdesc="Formal proof management system"
 url="https://rocq-prover.org/"