mirror of
https://git.FreeBSD.org/ports.git
synced 2025-01-09 06:51:44 +00:00
e2c3fdc1fd
As usual, it is recommended to rebuild or reinstall all the dependent ports and the lang/ghc port itself in one of the following ways: # portmaster -w -r ghc or # portupgrade -fr lang/ghc In case of pkg(8), it is probably safer to remove all the GHC-dependent packages along with GHC and reinstall everything from scratch. For example: # pkg query "%ro" ghc > ghc-pkgs.txt # pkg delete -y lang/ghc # pkg install -y `cat ghc-pkgs.txt` During update some hs-* ports got two PORTREVISION bumps in a row. Other ports got a PORTVERSION update together with one PORTREVISION bump. This is caused by bulk-bumping PORTREVISION of all hs-* ports. There are a lot of them updated, so figuring out which ones require a bump and which are not is too tedious. Approved by: tcberner (mentor) Differential Revision: https://reviews.freebsd.org/D18707
33 lines
804 B
Makefile
33 lines
804 B
Makefile
# Created by: Giuseppe Pilichi aka Jacula Modyun <jacula@gmail.com>
|
|
# $FreeBSD$
|
|
|
|
PORTNAME= Agda
|
|
PORTVERSION= 2.5.4.2
|
|
PORTREVISION= 1
|
|
CATEGORIES= math haskell
|
|
|
|
MAINTAINER= haskell@FreeBSD.org
|
|
COMMENT= Dependently typed functional programming language and proof assistant
|
|
|
|
BROKEN= Doesn't build with recent GHC
|
|
|
|
USE_CABAL= async EdisonCore blaze-html boxes data-hash edit-distance \
|
|
equivalence filemanip geniplate-mirror gitrev hashable \
|
|
hashtables ieee754 mtl murmur-hash parallel regex-tdfa strict \
|
|
unordered-containers uri-encode zlib
|
|
|
|
USE_ALEX= yes
|
|
USE_HAPPY= yes
|
|
USE_CPPHS= yes
|
|
USES= iconv:translit
|
|
|
|
EXECUTABLE= agda-mode agda
|
|
|
|
FLAGS_ENABLE= cpphs
|
|
|
|
SUB_FILES= pkg-install pkg-deinstall
|
|
SUB_LIST= DATADIR=${DATADIR}
|
|
|
|
.include "${.CURDIR}/../../lang/ghc/bsd.cabal.mk"
|
|
.include <bsd.port.mk>
|