diff options
| author | alpine-mips-patches <info@mobile-stream.com> | 2019-02-22 12:53:47 +0000 |
|---|---|---|
| committer | Leonardo Arena <rnalrd@alpinelinux.org> | 2019-03-06 07:33:40 +0000 |
| commit | 7a56281cbb8ed2d94dadb843ecc25a9420a8c74c (patch) | |
| tree | a949897a20bf579cb29126f8d58df2d453181d17 /testing/coq | |
| parent | 75e7eae7022c26b900b9bcd235e807a384365190 (diff) | |
| download | aports-7a56281cbb8ed2d94dadb843ecc25a9420a8c74c.tar.bz2 aports-7a56281cbb8ed2d94dadb843ecc25a9420a8c74c.tar.xz | |
testing/coq: new aport
This is a direct prerequisite for CompCert.
Tested with ocaml-4.07.1 only.
Diffstat (limited to 'testing/coq')
| -rw-r--r-- | testing/coq/APKBUILD | 41 |
1 files changed, 41 insertions, 0 deletions
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" |