e951cb6d07
audio/hs-ALUT, audio/hs-OpenAL, benchmarks/hs-criterion
converters/hs-json, devel/hs-DeepArrow, devel/hs-FileManip
devel/hs-MemoTrie, devel/hs-MissingH, devel/hs-MonadCatchIO-mtl
devel/hs-ObjectName, devel/hs-QuickCheck, devel/hs-StateVar
devel/hs-Tensor, devel/hs-TypeCompose, devel/hs-arrows
devel/hs-checkers, devel/hs-convertible, devel/hs-datetime
devel/hs-deepseq, devel/hs-fgl, devel/hs-ghc-mtl, devel/hs-ghc-paths
devel/hs-ghc-paths-docs, devel/hs-haskeline
devel/hs-haskell-src-exts, devel/hs-hint, devel/hs-hoogle
devel/hs-hslogger, devel/hs-mmap, devel/hs-mueval, devel/hs-reactive
devel/hs-readline, devel/hs-safe, devel/hs-show, devel/hs-smallcheck
devel/hs-split, devel/hs-testpack, devel/hs-transformers
devel/hs-unamb, devel/hs-uniplate, devel/hs-unix-compat
devel/hs-utility-ht, devel/hs-uuagc, devel/hs-uulib
devel/hs-uvector, devel/hs-uvector-algorithms, graphics/hs-HGL
lang/hs-brainfuck, lang/hs-unlambda, mail/hs-mime, math/hs-Agda
math/hs-Agda-executable, math/hs-category-extras, math/hs-erf
math/hs-mwc-random, math/hs-probability, math/hs-statistics
math/hs-vector-space, print/hs-hscolour, print/hs-hscolour-docs
science/hs-bio, textproc/hs-Diff, textproc/hs-feed
textproc/hs-tagsoup, textproc/hs-texmath, textproc/hs-xml
www/hs-HTTP, www/hs-cgi, www/hs-fastcgi, www/hs-http-server
www/hs-oeis, www/hs-scgi, www/hs-url, x11-toolkits/hs-GLURaw
x11-toolkits/hs-OpenGLRaw
Approved by: pgj (mentor)
33 lines
756 B
Makefile
33 lines
756 B
Makefile
# New ports collection makefile for: hs-Agda
|
|
# Date created: December 20 2009
|
|
# Whom: Giuseppe Pilichi aka Jacula Modyun <jacula@gmail.com>
|
|
#
|
|
# $FreeBSD$
|
|
#
|
|
|
|
PORTNAME= Agda
|
|
PORTVERSION= 2.2.6
|
|
PORTREVISION= 1
|
|
CATEGORIES= math haskell
|
|
|
|
MAINTAINER= haskell@FreeBSD.org
|
|
COMMENT= A functional programming language and proof assistant
|
|
|
|
CABAL_SETUP= Setup.hs
|
|
USE_HACKAGE= binary>=0.4.4 haskeline>=0.3 QuickCheck>=2.1.0.2 \
|
|
zlib>=0.4.0.1
|
|
|
|
USE_ALEX= yes
|
|
USE_HAPPY= yes
|
|
USE_ICONV= yes
|
|
|
|
EXECUTABLE= agda-mode
|
|
|
|
PORTDATA= *
|
|
INSTALL_PORTDATA= (cd ${WRKSRC} && ${INSTALL_DATA} README ${DATADIR}; \
|
|
cd ${WRKSRC}/doc && ${COPYTREE_SHARE} \* ${DATADIR})
|
|
|
|
SHOW_PKGMSG= yes
|
|
|
|
.include "${.CURDIR}/../../lang/ghc/bsd.cabal.mk"
|
|
.include <bsd.port.mk>
|