diff options
Diffstat (limited to 'lang/idris/Makefile')
| -rw-r--r-- | lang/idris/Makefile | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/lang/idris/Makefile b/lang/idris/Makefile index 828a6b983e7..f37b389101f 100644 --- a/lang/idris/Makefile +++ b/lang/idris/Makefile @@ -1,8 +1,8 @@ -# $NetBSD: Makefile,v 1.2 2020/03/08 16:50:20 wiz Exp $ +# $NetBSD: Makefile,v 1.3 2020/10/13 16:35:44 pho Exp $ DISTNAME= idris-1.3.2 PKGNAME= ${DISTNAME} -PKGREVISION= 1 +PKGREVISION= 2 CATEGORIES= lang MAINTAINER= pho@cielonegro.org @@ -17,7 +17,7 @@ USE_TOOLS+= gmake SUBST_CLASSES+= tools SUBST_STAGE.tools= pre-configure SUBST_FILES.tools= Setup.hs -SUBST_VARS.tools= GMAKE PKGSRC_SETENV +SUBST_VARS.tools= GMAKE PKGMANDIR PKGSRC_SETENV # ${WRKSRC}/src/IRTS/System.hs has several hardcoded paths to be used at # run time. |