Skip site navigation (1)Skip section navigation (2)
Date:      Thu, 7 Jul 2022 10:26:06 GMT
From:      Gleb Popov <arrowd@FreeBSD.org>
To:        ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org
Subject:   git: c6c7d0dca167 - main - games/hedgewars-server: Switch to GHC 8.10.7
Message-ID:  <202207071026.267AQ6N5096378@gitrepo.freebsd.org>

next in thread | raw e-mail | index | archive | help
The branch main has been updated by arrowd:

URL: https://cgit.FreeBSD.org/ports/commit/?id=c6c7d0dca167d8e87b079a968ab2bcd60e29085e

commit c6c7d0dca167d8e87b079a968ab2bcd60e29085e
Author:     Gleb Popov <arrowd@FreeBSD.org>
AuthorDate: 2022-07-04 18:49:26 +0000
Commit:     Gleb Popov <arrowd@FreeBSD.org>
CommitDate: 2022-07-07 10:24:42 +0000

    games/hedgewars-server: Switch to GHC 8.10.7
---
 games/hedgewars-server/Makefile | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/games/hedgewars-server/Makefile b/games/hedgewars-server/Makefile
index eafcbabd98f7..86a5a83dc99e 100644
--- a/games/hedgewars-server/Makefile
+++ b/games/hedgewars-server/Makefile
@@ -1,6 +1,6 @@
 PORTNAME=	hedgewars
 PORTVERSION=	1.0.0
-PORTREVISION=	4
+PORTREVISION=	5
 CATEGORIES=	games
 MASTER_SITES=	http://www.hedgewars.org/download/releases/ \
 		http://mirror.amdmi3.ru/distfiles/
@@ -14,6 +14,8 @@ COMMENT=	Server part of free Worms-like turn based strategy game
 
 LICENSE=	GPLv2
 
+BUILD_DEPENDS=	ghc-8.10.7:lang/ghc810
+
 USES=		cabal:nodefault tar:bzip2
 
 WRKSRC_SUBDIR=	gameServer



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202207071026.267AQ6N5096378>