From 8189c9f892886e20d0ab96c2da99df8fb1dd10df Mon Sep 17 00:00:00 2001 From: Sora Morimoto Date: Tue, 17 Nov 2020 00:40:28 +0900 Subject: [PATCH 1/3] coq: update to 8.12.1 Signed-off-by: Sora Morimoto --- srcpkgs/coq/template | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/srcpkgs/coq/template b/srcpkgs/coq/template index 01a7829b50f..469975f5119 100644 --- a/srcpkgs/coq/template +++ b/srcpkgs/coq/template @@ -22,7 +22,7 @@ do_configure() { } do_build() { - make PR_O= + make } do_install() { From 8dd796faceba8851390c4b4b82b3a71c388d8805 Mon Sep 17 00:00:00 2001 From: Sora Morimoto Date: Thu, 19 Nov 2020 13:19:57 +0900 Subject: [PATCH 2/3] ocaml-num: fix xlint errors and license type Signed-off-by: Sora Morimoto --- srcpkgs/ocaml-num/template | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/srcpkgs/ocaml-num/template b/srcpkgs/ocaml-num/template index 1a9282ac2e5..736c1361b3d 100644 --- a/srcpkgs/ocaml-num/template +++ b/srcpkgs/ocaml-num/template @@ -2,22 +2,23 @@ pkgname=ocaml-num version=1.4 revision=1 +wrksrc="num-${version}" build_style=gnu-makefile -makedepends="ocaml ocaml-findlib" make_install_target="findlib-install" +makedepends="ocaml ocaml-findlib" short_desc="OCaml legacy Num library for arbitrary-precision integers" maintainer="Leah Neukirchen " -license="LGPL-2.1" +license="custom: LGPL-2.1-only with OCaml-LGPL-linking-exception" homepage="https://github.com/ocaml/num" distfiles="https://github.com/ocaml/num/archive/v${version}.tar.gz" checksum=015088b68e717b04c07997920e33c53219711dfaf36d1196d02313f48ea00f24 -wrksrc="num-${version}" nocross=yes pre_install() { export OCAMLFIND_DESTDIR=${DESTDIR}/usr/lib/ocaml vmkdir /usr/lib/ocaml/stublibs } + post_install() { vlicense LICENSE } From 3ba12a519927ef8371a18972349f26d96c998c2b Mon Sep 17 00:00:00 2001 From: Sora Morimoto Date: Thu, 19 Nov 2020 13:21:03 +0900 Subject: [PATCH 3/3] coccinelle: revbump for ocaml-num Signed-off-by: Sora Morimoto --- srcpkgs/coccinelle/template | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/srcpkgs/coccinelle/template b/srcpkgs/coccinelle/template index 310f9d43261..ef90eaf5e6d 100644 --- a/srcpkgs/coccinelle/template +++ b/srcpkgs/coccinelle/template @@ -1,7 +1,7 @@ # Template file for 'coccinelle' pkgname=coccinelle version=1.0.8 -revision=5 +revision=6 build_style=gnu-configure configure_args="--without-pdflatex --enable-release --with-python=/usr/bin/python3"