diff options
Diffstat (limited to 'math')
| -rw-r--r-- | math/hs-Agda/Makefile | 14 |
1 files changed, 1 insertions, 13 deletions
diff --git a/math/hs-Agda/Makefile b/math/hs-Agda/Makefile index 917aab226795..f23a76084086 100644 --- a/math/hs-Agda/Makefile +++ b/math/hs-Agda/Makefile @@ -11,23 +11,11 @@ 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 +USES= cabal 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> |