Source-Changes-HG archive

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]

[pkgsrc/trunk]: pkgsrc/lang/coq lang/coq: needs bash as tool



details:   https://anonhg.NetBSD.org/pkgsrc/rev/df9523db0199
branches:  trunk
changeset: 428459:df9523db0199
user:      riastradh <riastradh%pkgsrc.org@localhost>
date:      Tue Apr 28 05:46:53 2020 +0000

description:
lang/coq: needs bash as tool

Otherwise build fails with:

   OCAMLOPT -o bin/coqide
   CHECK revision
   env: bash: No such file or directory
   gmake[1]: *** [Makefile.dev:34: revision] Error 127
   gmake[1]: Leaving directory '/tmp/pkgbuild/2020Q1/lang/coq/work/coq-8.10.2'
   gmake: *** [Makefile:179: submake] Error 2

diffstat:

 lang/coq/Makefile |  3 ++-
 1 files changed, 2 insertions(+), 1 deletions(-)

diffs (17 lines):

diff -r ff4c32379f1b -r df9523db0199 lang/coq/Makefile
--- a/lang/coq/Makefile Tue Apr 28 05:46:44 2020 +0000
+++ b/lang/coq/Makefile Tue Apr 28 05:46:53 2020 +0000
@@ -1,4 +1,4 @@
-# $NetBSD: Makefile,v 1.131 2020/03/10 22:10:24 wiz Exp $
+# $NetBSD: Makefile,v 1.132 2020/04/28 05:46:53 riastradh Exp $
 #
 
 DISTNAME=      coq-8.10.2
@@ -14,6 +14,7 @@
 
 WRKSRC=                ${WRKDIR}/${GITHUB_PROJECT}-${PKGVERSION_NOREV:S/+/-/}
 
+USE_TOOLS+=            bash
 USE_TOOLS+=            gmake
 HAS_CONFIGURE=         yes
 CONFIGURE_ARGS+=       -prefix ${PREFIX}



Home | Main Index | Thread Index | Old Index