git: c6c7d0dca167 - main - games/hedgewars-server: Switch to GHC 8.10.7
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Thu, 07 Jul 2022 10:26:06 UTC
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