mirror of
https://gitlab.alpinelinux.org/alpine/aports.git
synced 2025-07-25 12:15:32 +03:00
41 lines
1.2 KiB
Text
41 lines
1.2 KiB
Text
# 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"
|