diff options
| author | Gleb Popov <arrowd@FreeBSD.org> | 2019-01-06 12:18:06 +0000 |
|---|---|---|
| committer | Gleb Popov <arrowd@FreeBSD.org> | 2019-01-06 12:18:06 +0000 |
| commit | e2c3fdc1fdeca1ffbdfef680e3e712ddc2e7e06f (patch) | |
| tree | ec6e8ffeefbf83bfc231412c2c7a6b883ecd5bd8 /math/hs-Agda/Makefile | |
| parent | e8d137116e2942f75f1fed8f603384210db17ec0 (diff) | |
| download | ports-e2c3fdc1fdeca1ffbdfef680e3e712ddc2e7e06f.tar.gz ports-e2c3fdc1fdeca1ffbdfef680e3e712ddc2e7e06f.zip | |
Notes
Diffstat (limited to 'math/hs-Agda/Makefile')
| -rw-r--r-- | math/hs-Agda/Makefile | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/math/hs-Agda/Makefile b/math/hs-Agda/Makefile index 9c991387bc79..ceb1959b89f8 100644 --- a/math/hs-Agda/Makefile +++ b/math/hs-Agda/Makefile @@ -2,15 +2,18 @@ # $FreeBSD$ PORTNAME= Agda -PORTVERSION= 2.5.4 +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 geniplate-mirror gitrev hashable hashtables ieee754 \ - mtl murmur-hash parallel regex-tdfa strict \ + equivalence filemanip geniplate-mirror gitrev hashable \ + hashtables ieee754 mtl murmur-hash parallel regex-tdfa strict \ unordered-containers uri-encode zlib USE_ALEX= yes |