CVS commit: pkgsrc/lang/coq

["Taylor R Campbell" <riastradh%netbsd.org@localhost>]

Module Name:    pkgsrc
Committed By:   riastradh
Date:           Tue Apr 28 05:46:53 UTC 2020

Modified Files:
        pkgsrc/lang/coq: Makefile

Log Message:
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


To generate a diff of this commit:
cvs rdiff -u -r1.131 -r1.132 pkgsrc/lang/coq/Makefile

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

Modified files:

Index: pkgsrc/lang/coq/Makefile
diff -u pkgsrc/lang/coq/Makefile:1.131 pkgsrc/lang/coq/Makefile:1.132
--- pkgsrc/lang/coq/Makefile:1.131      Tue Mar 10 22:10:24 2020
+++ pkgsrc/lang/coq/Makefile    Tue Apr 28 05:46:53 2020
@@ -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 @@ LICENSE=      gnu-lgpl-v2.1
 
 WRKSRC=                ${WRKDIR}/${GITHUB_PROJECT}-${PKGVERSION_NOREV:S/+/-/}
 
+USE_TOOLS+=            bash
 USE_TOOLS+=            gmake
 HAS_CONFIGURE=         yes
 CONFIGURE_ARGS+=       -prefix ${PREFIX}