This is a direct prerequisite for CompCert.

Tested with ocaml-4.07.1 only.
---
 testing/coq/APKBUILD | 41 +++++++++++++++++++++++++++++++++++++++++
 1 file changed, 41 insertions(+)
 create mode 100644 testing/coq/APKBUILD

diff --git a/testing/coq/APKBUILD b/testing/coq/APKBUILD
new file mode 100644
index 0000000000..26f689f9df
--- /dev/null
+++ b/testing/coq/APKBUILD
@@ -0,0 +1,41 @@
+# Contributor: alpine-mips-patches <info@mobile-stream.com>
+# Maintainer: alpine-mips-patches <info@mobile-stream.com>
+pkgname=coq
+pkgver=8.8.2
+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"
+depends="ocaml-runtime"
+makedepends="ocaml ocaml-compiler-libs ocaml-findlib ocaml-camlp5-dev ocaml-num-dev"
+options="!check"
+subpackages="$pkgname-doc $pkgname-emacs:emacs:noarch"
+source="$pkgname-$pkgver.tar.gz::https://github.com/coq/$pkgname/archive/V$pkgver.tar.gz"
+builddir="$srcdir/$pkgname-$pkgver"
+
+build() {
+	cd "$builddir"
+	./configure \
+		-prefix /usr \
+		-coqdocdir /usr/share/texmf-dist/tex/latex/misc \
+		-bytecode-compiler no \
+		-coqide no \
+		-nodebug
+	make world
+}
+
+package() {
+	cd "$builddir"
+	make OLDROOT= COQINSTALLPREFIX="$pkgdir" install
+}
+
+emacs() {
+	depends="$pkgname=$pkgver-r$pkgrel emacs"
+	pkgdesc="$pkgdesc (Emacs files)"
+
+	mkdir -p "$subpkgdir/usr/share"
+	mv "$pkgdir/usr/share/emacs" "$subpkgdir/usr/share"
+}
+
+sha512sums="b0f0480fe052fced6016014cf1872d4e004b0dacb779927376d797c279aca9d5f6f4ed3d0f5ee5d42748bbd5c29b43f7a69748564a12a116bcc7ba3b052d8954  coq-8.8.2.tar.gz"
-- 
2.20.1




---
Unsubscribe:  alpine-aports+unsubscribe@lists.alpinelinux.org
Help:         alpine-aports+help@lists.alpinelinux.org
---