diff options
| author | pgj <pgj@FreeBSD.org> | 2012-08-03 10:30:07 +0800 |
|---|---|---|
| committer | pgj <pgj@FreeBSD.org> | 2012-08-03 10:30:07 +0800 |
| commit | c375ed37df92a6e58eaf54cf831525f3a49c9629 (patch) | |
| tree | 8ee3a15fcf61eb9a77ce79ffe7cc567f6e56e480 /math/hs-Agda | |
| parent | 9c52697bc371ab647ee6cd5811c6ca220c7f6e11 (diff) | |
| download | freebsd-ports-gnome-c375ed37df92a6e58eaf54cf831525f3a49c9629.tar.gz freebsd-ports-gnome-c375ed37df92a6e58eaf54cf831525f3a49c9629.tar.zst freebsd-ports-gnome-c375ed37df92a6e58eaf54cf831525f3a49c9629.zip | |
- Teach the Haskell Cabal ports to use the new options framework
- Remove some cruft
Obtained from: FreeBSD Haskell
Diffstat (limited to 'math/hs-Agda')
| -rw-r--r-- | math/hs-Agda/Makefile | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/math/hs-Agda/Makefile b/math/hs-Agda/Makefile index 3214dd20d9c2..4077c6d640bd 100644 --- a/math/hs-Agda/Makefile +++ b/math/hs-Agda/Makefile @@ -7,12 +7,12 @@ PORTNAME= Agda PORTVERSION= 2.3.0.1 +PORTREVISION= 1 CATEGORIES= math haskell MAINTAINER= haskell@FreeBSD.org COMMENT= A dependently typed functional programming language and proof assistant - CABAL_SETUP= Setup.hs USE_CABAL= hashable hashtables haskeline>=0.6.3.2 \ @@ -29,19 +29,20 @@ INSTALL_PORTDATA= (cd ${WRKSRC} && ${INSTALL_DATA} README ${DATADIR}; \ SHOW_PKGMSG= yes -OPTIONS= USE_LOCALE "Use encoding specified by the locale" off \ - EPIC "Install the Epic compiler" off +OPTIONS_DEFINE= USE_LOCALE EPIC + +USE_LOCALE_DESC= Use encoding specified by the locale +EPIC_DESC= Install the Epic compiler -.include "${.CURDIR}/../../lang/ghc/bsd.cabal.options.mk" .include <bsd.port.options.mk> -.if defined(WITH_USE_LOCALE) +.if ${PORT_OPTIONS:MUSE_LOCALE} CONFIGURE_ARGS+= --flags="use-locale" .else CONFIGURE_ARGS+= --flags="-use-locale" .endif -.if defined(WITH_EPIC) +.if ${PORT_OPTIONS:MEPIC} CONFIGURE_ARGS+= --flags="epic" USE_CABAL+= epic>=0.1.13 .else |