From 1c7cb0c8e5cb83d14c93efbf88dd9930aeec97e3 Mon Sep 17 00:00:00 2001 From: Sora Morimoto Date: Thu, 19 Nov 2020 13:23:12 +0900 Subject: [PATCH 1/2] coq: remove an unnecessary make argument 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 b896909e0033bdea71ae58d91262ca5a5ab15a98 Mon Sep 17 00:00:00 2001 From: Sora Morimoto Date: Thu, 19 Nov 2020 13:23:31 +0900 Subject: [PATCH 2/2] 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 }