blob: 26f689f9df9fc7e8152842a96649c17de805b719 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
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"
|
