X-Original-To: alpine-aports@lists.alpinelinux.org Received: from mx12.valuehost.ru (mx12.valuehost.ru [217.112.42.215]) by lists.alpinelinux.org (Postfix) with ESMTP id 34DABF831AD for ; Fri, 22 Feb 2019 13:25:12 +0000 (UTC) Received: from mx7.valuehost.ru (unknown [127.0.0.255]) by mx12.valuehost.ru (Postfix) with ESMTP id 6EA7458712 for ; Fri, 22 Feb 2019 16:25:11 +0300 (MSK) From: alpine-mips-patches Date: Fri, 22 Feb 2019 12:53:47 +0000 Subject: [alpine-aports] [PATCH 6/x] testing/coq: new aport To: alpine-aports@lists.alpinelinux.org Message-Id: <20190222132511.6EA7458712@mx12.valuehost.ru> X-Mailinglist: alpine-aports Precedence: list List-Id: Alpine Development List-Unsubscribe: List-Post: List-Help: List-Subscribe: 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 +# Maintainer: alpine-mips-patches +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 ---