diff options
Diffstat (limited to 'math/hs-Agda-stdlib')
| -rw-r--r-- | math/hs-Agda-stdlib/Makefile | 45 | ||||
| -rw-r--r-- | math/hs-Agda-stdlib/distinfo | 2 | ||||
| -rw-r--r-- | math/hs-Agda-stdlib/files/patch-lib.cabal | 18 | ||||
| -rw-r--r-- | math/hs-Agda-stdlib/files/patch-src_Size.agda | 21 | ||||
| -rw-r--r-- | math/hs-Agda-stdlib/pkg-descr | 3 |
5 files changed, 89 insertions, 0 deletions
diff --git a/math/hs-Agda-stdlib/Makefile b/math/hs-Agda-stdlib/Makefile new file mode 100644 index 000000000000..d6c852d02c01 --- /dev/null +++ b/math/hs-Agda-stdlib/Makefile @@ -0,0 +1,45 @@ +# $FreeBSD$ + +PORTNAME= Agda-stdlib +PORTVERSION= 0.9 +CATEGORIES= math haskell + +MAINTAINER= haskell@FreeBSD.org +COMMENT= Agda standard library + +LICENSE= MIT + +USE_GITHUB= yes + +GH_ACCOUNT= agda +GH_PROJECT= agda-stdlib +GH_TAGNAME= v0.9 + +USE_CABAL= Agda filemanip>=0.3 + +STANDALONE= yes + +.include "${.CURDIR}/../../lang/ghc/bsd.cabal.options.mk" + +do-build: + cd ${WRKSRC} && ( \ + ${SETENV} ${MAKE_ENV} ${SETUP_CMD} build; \ + dist/build/GenerateEverything/GenerateEverything; \ + agda -i. -isrc README.agda \ + ) +.if ${PORT_OPTIONS:MDOCS} + cd ${WRKSRC} && agda -i. -isrc --html README.agda -v0 +.endif + +do-install: + cd ${WRKSRC} && ( \ + ${MKDIR} ${STAGEDIR}${DOCSDIR} ${STAGEDIR}${DATADIR}; \ + ${INSTALL_DATA} LICENCE ${STAGEDIR}${DOCSDIR}; \ + cd src && ${COPYTREE_SHARE} \* ${STAGEDIR}${DATADIR} \ + ) +.if ${PORT_OPTIONS:MDOCS} + cd ${WRKSRC} && ${COPYTREE_SHARE} html ${STAGEDIR}${DOCSDIR} +.endif + +.include "${.CURDIR}/../../lang/ghc/bsd.cabal.mk" +.include <bsd.port.mk> diff --git a/math/hs-Agda-stdlib/distinfo b/math/hs-Agda-stdlib/distinfo new file mode 100644 index 000000000000..40cc10e4e7f9 --- /dev/null +++ b/math/hs-Agda-stdlib/distinfo @@ -0,0 +1,2 @@ +SHA256 (cabal/agda-agda-stdlib-0.9-v0.9_GH0.tar.gz) = 923b487876235863e4f778aa40c508984b26636d50d531f0f31ca9dc45ab3717 +SIZE (cabal/agda-agda-stdlib-0.9-v0.9_GH0.tar.gz) = 248895 diff --git a/math/hs-Agda-stdlib/files/patch-lib.cabal b/math/hs-Agda-stdlib/files/patch-lib.cabal new file mode 100644 index 000000000000..b2ee3bb15f56 --- /dev/null +++ b/math/hs-Agda-stdlib/files/patch-lib.cabal @@ -0,0 +1,18 @@ +--- lib.cabal.orig 2014-11-14 23:18:11 UTC ++++ lib.cabal +@@ -7,12 +7,12 @@ description: Helper programs. + executable GenerateEverything + hs-source-dirs: . + main-is: GenerateEverything.hs +- build-depends: base >= 4.2 && < 4.8, ++ build-depends: base >= 4.2 && < 4.9, + filemanip == 0.3.*, +- filepath >= 1.1 && < 1.4 ++ filepath >= 1.1 && < 1.5 + + executable AllNonAsciiChars + hs-source-dirs: . + main-is: AllNonAsciiChars.hs +- build-depends: base >= 4.2 && < 4.8, ++ build-depends: base >= 4.2 && < 4.9, + filemanip == 0.3.* diff --git a/math/hs-Agda-stdlib/files/patch-src_Size.agda b/math/hs-Agda-stdlib/files/patch-src_Size.agda new file mode 100644 index 000000000000..7b141b5a8577 --- /dev/null +++ b/math/hs-Agda-stdlib/files/patch-src_Size.agda @@ -0,0 +1,21 @@ +--- src/Size.agda.orig 2014-11-14 23:18:11 UTC ++++ src/Size.agda +@@ -6,13 +6,8 @@ + + module Size where + +-postulate +- Size : Set +- Size<_ : Size → Set +- ↑_ : Size → Size +- ∞ : Size +- +-{-# BUILTIN SIZE Size #-} +-{-# BUILTIN SIZELT Size<_ #-} +-{-# BUILTIN SIZESUC ↑_ #-} +-{-# BUILTIN SIZEINF ∞ #-} ++{-# BUILTIN SIZEUNIV SizeUniv #-} -- sort SizeUniv ++{-# BUILTIN SIZE Size #-} -- Size : SizeUniv ++{-# BUILTIN SIZELT Size<_ #-} -- Size<_ : Size → SizeUniv ++{-# BUILTIN SIZESUC ↑_ #-} -- ↑_ : Size → Size ++{-# BUILTIN SIZEINF ∞ #-} -- ∞ : Size diff --git a/math/hs-Agda-stdlib/pkg-descr b/math/hs-Agda-stdlib/pkg-descr new file mode 100644 index 000000000000..287c3e867907 --- /dev/null +++ b/math/hs-Agda-stdlib/pkg-descr @@ -0,0 +1,3 @@ +The Agda standard library. + +WWW: https://agda.github.io/agda-stdlib/ |