diff options
author | riastradh <riastradh@pkgsrc.org> | 2020-04-28 05:46:53 +0000 |
---|---|---|
committer | riastradh <riastradh@pkgsrc.org> | 2020-04-28 05:46:53 +0000 |
commit | 9f6dacd78a93981aca5a876cef0a5d5906e718b7 (patch) | |
tree | de293de4d39dfe7b6c012df3d6e9fb42f5d9d246 /lang/coq | |
parent | e86e5145216f0739ea43f211179a38d3a1c6ceeb (diff) | |
download | pkgsrc-9f6dacd78a93981aca5a876cef0a5d5906e718b7.tar.gz |
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 (limited to 'lang/coq')
-rw-r--r-- | lang/coq/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lang/coq/Makefile b/lang/coq/Makefile index 5b136659b41..f3ff32e729f 100644 --- a/lang/coq/Makefile +++ b/lang/coq/Makefile @@ -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} |