diff options
Diffstat (limited to 'sci-mathematics/agda-stdlib')
6 files changed, 167 insertions, 0 deletions
diff --git a/sci-mathematics/agda-stdlib/Manifest b/sci-mathematics/agda-stdlib/Manifest new file mode 100644 index 000000000000..7851500504bb --- /dev/null +++ b/sci-mathematics/agda-stdlib/Manifest @@ -0,0 +1,9 @@ +AUX 50agda-stdlib-gentoo.el 58 SHA256 e14091719568a863fdcdeb032b398b47cc5dc22d44c5552ade66daff2cd10946 SHA512 f45f0e59a1becd5d2b13b452219cc77b553dad9480a848ea62f276e106ab911ed1594e826fe487b886fe9b6e8aadcfde47de4fb1b0ab144ae98b6ac9eb385cfd WHIRLPOOL b03e7359f9576887f35167b208cb9e6c4b599afa9bf963a51fbd8b1c13d636b56d2b20d769a78f567f1c9f956e048185eb5dd45b6281931e1e0cb04d11b6adce +AUX standard-library.agda-lib 55 SHA256 72951ff077635d93ac576039441cedad9e1d20cfcee881190e87b0ef80386a45 SHA512 b1e2cbffe4b99157661fe6f4685580c7524890735db0a20ae1942e076b00d0df13624f587ea7584319e5665484da63beb3e0e5c77226bdbe02a4a80fa33a17b4 WHIRLPOOL e5cee4e35151979f4c33d32b82195694ad621591fbe9d4b53a7281c6d595e42313721458be88ec7e6d3671cf3285070d01656c5219ed8296d80f09570527578d +DIST agda-stdlib-2.4.2.5.tar.gz 253379 SHA256 9b46956e88a886cd08a8e6e83bea6115844860d7e927279abacc52e84b302b16 SHA512 b15ed5838916240c8602fe7a4bccddf43c71ab3a18ecb5a6dc85199b908e261b04cf794a4d93c90af0a9263a36603c392280639ace7fecead0c39269c2623302 WHIRLPOOL 6414b268a813309e7315d6e2ff9345efdb95d1559966f8755607045a685d4b7cf521750ac7efa8dd90001357d7c825d31589dfd2fe771d379f45d79739c7d66c +DIST agda-stdlib-2.5.2.0.13.tar.gz 264701 SHA256 e7cffc2b8b168c3584b6d1e760d2b49850835444e4777caa69eb29b3677ef8bb SHA512 340a7b9cb15793cdbe99f558a32eaab3476b94b4d43d45bdc92c6b368197d075c977fd2f6ce0c5b0baf584289a2218b07dd030ad2b83f6d9e4bc7effee91eece WHIRLPOOL 9e888be7ef5e09d678f64b487cff457381d417db475e7445b47afb415b80fcd0d3cbef756d9a13de22d704c243d7222429d3fcf1e9cd28776b0a54f7d278b0d0 +EBUILD agda-stdlib-2.4.2.5.ebuild 1916 SHA256 4767ca7be43a85f3fd643c2194e23682bb99667793afb2608a2a640c6d31e7a4 SHA512 83c74eee1022fda2fcf36346aa3017d3f0a73994037187ef674723ccb90f761c37ed5d75294452d88074e8e44541452edccbc4bf5c3286147f3067923eabbdfa WHIRLPOOL 3e8418e25dfb3cf524a36b565c77bc127caf67713775ad18ced620a95245b3b3daec00d3dc4811714c5989e2b417ccbbf36bdcc675b47311d08f5ccba59f99af +EBUILD agda-stdlib-2.5.2.0.13.ebuild 2177 SHA256 4b5c31fbf0c2faa71a88b70529fd94ab2d13f677ebc76c2e28149353c2a34214 SHA512 bf10ddd12a01feb400944e0b63d6575dc6c2cfd54f8651f333bb8577e03ef6ce714581dd5ffe077f906746babf65b511df0b1f6e87f5bbf51ce4e6e0e6dcfec5 WHIRLPOOL a3af1d00e8802330237c73cbe34435dc89fe627d019a099c5f88cb32a2c77341953b34decf62c8b0e9fc314a5c8159afdee19184981ea9f1a14b778ea857c22e +MISC ChangeLog 3314 SHA256 75b1bf493e1f3bf3b2504a672a3b426b4c0abd8460ab35a75ed17aeec4bbc4ae SHA512 ae0b25132515e38d877955b5c1fc0f6b984903b9f28ba7ae5fff2ffc0d79894f9f3999c24cd74805614e780cc51d9817c33c2d4eb1cfce3cb3ec13adce4cbb93 WHIRLPOOL 94370a1c983bf5024686cfa99ac88e96b11e95ad65217fb499ab81f5b35bbf0dfbf2f1699a89ad494c744e5832ddc36bc51e749ee4b9cae8c963e8b9e5f7c2b4 +MISC ChangeLog-2015 2275 SHA256 723429902a29ca158b7dacce676b84e5485adf65bc082268afbf17eaff2a4e85 SHA512 4f2ea98a6e7b5906dd62418da0ffdc67b287716185ad7e0c29e8e935abe602959a92d5c4e242cd22e3eb2abdeceaf565eff99cadb38521fc9266e4c4d7e77f94 WHIRLPOOL 9596803784c97fa9c83c183056d6b47c11fe34626d4d58ceaa928b0ed35d73adf54fb1cde396173dcc7b5fe01aefda7bd6bcad96f13485d6c4ad062f1ff3dd2c +MISC metadata.xml 658 SHA256 bf71547b6e8c89c3cea08016ee5e74068bc644c6b9d70d1d38682b678881defb SHA512 d1afae7ae946e667e796060d28ef006a47823de3b30c5e493dcba4a606a585b52308e4740b780f88fb7a9b69d1e534bc35514d31b030eed74b6439507e1239c3 WHIRLPOOL d47d2c43de46ade534e3da529846809bee56c38a41dbc69205e8bab89c7c44830f56f275d6134fd6abc8cfc6e541a33aa180c71d28d1ad5f39b938bce51e8ea3 diff --git a/sci-mathematics/agda-stdlib/agda-stdlib-2.4.2.5.ebuild b/sci-mathematics/agda-stdlib/agda-stdlib-2.4.2.5.ebuild new file mode 100644 index 000000000000..f4be8e1439ec --- /dev/null +++ b/sci-mathematics/agda-stdlib/agda-stdlib-2.4.2.5.ebuild @@ -0,0 +1,66 @@ +# Copyright 1999-2016 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 + +EAPI=6 + +CABAL_FEATURES="bin" +inherit haskell-cabal elisp-common + +DESCRIPTION="Agda standard library" +HOMEPAGE="http://wiki.portal.chalmers.se/agda/" +SRC_URI="https://github.com/agda/${PN}/archive/${PV}.tar.gz -> ${P}.tar.gz" + +LICENSE="MIT" +SLOT="0" +KEYWORDS="~amd64 ~x86" +IUSE="profile +ffi" + +# filemanip is used in lib.cabal to make the GenerateEverything and +# AllNonAsciiChars executables, so agda-stdlib does not require a subslot +# dependency on filemanip. + +RDEPEND="~sci-mathematics/agda-${PV}:=[profile?] + >=dev-haskell/filemanip-0.3.6.2[profile?] <dev-haskell/filemanip-0.4[profile?] + >=dev-lang/ghc-6.12.1 + ffi? ( sci-mathematics/agda-lib-ffi ) +" +DEPEND="${RDEPEND} + >=dev-haskell/cabal-1.8.0.2 +" + +SITEFILE="50${PN}-gentoo.el" + +src_prepare() { + cabal-mksetup + eapply_user +} + +src_compile() { + haskell-cabal_src_compile + "${S}"/dist/build/GenerateEverything/GenerateEverything \ + || die "GenerateEverything failed" + local prof + use profile && prof="--ghc-flag=-prof" + agda +RTS -K1G -RTS ${prof} \ + -i "${S}" -i "${S}"/src "${S}"/Everything.agda || die + # Although my agda-9999 build has + # /var/tmp/portage/sci-mathematics/agda-9999/work/agda-9999/dist/build/autogen/Paths_Agda.hs + # containing: + # datadir = "/usr/share/agda-9999/ghc-7.6.1" + # it fails without the --css option like: + # /usr/share/agda-9999/ghc-7.4.1/Agda.css: copyFile: does not exist + local cssdir=$(egrep 'datadir *=' "${S}/dist/build/autogen/Paths_lib.hs" | sed -e 's@datadir = \(.*\)@\1@') + agda --html -i "${S}" -i "${S}"/src --css="${cssdir}/Agda.css" "${S}"/README.agda || die +} + +src_test() { + agda -i "${S}" -i "${S}"/src README.agda || die +} + +src_install() { + insinto usr/share/agda-stdlib + insopts --preserve-timestamps + doins -r src/* + dodoc -r html/* + elisp-site-file-install "${FILESDIR}/${SITEFILE}" || die +} diff --git a/sci-mathematics/agda-stdlib/agda-stdlib-2.5.2.0.13.ebuild b/sci-mathematics/agda-stdlib/agda-stdlib-2.5.2.0.13.ebuild new file mode 100644 index 000000000000..e1dcba466e3a --- /dev/null +++ b/sci-mathematics/agda-stdlib/agda-stdlib-2.5.2.0.13.ebuild @@ -0,0 +1,68 @@ +# Copyright 1999-2017 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 + +EAPI=6 + +CABAL_FEATURES="bin" +inherit haskell-cabal elisp-common + +## shared with sci-mathematics/agda +# upstream does not maintain version ordering: +# https://github.com/agda/agda-stdlib/releases +# 0.11 -> 2.5.0.20160213 -> 2.5.0.20160412 -> 0.12 -> 0.13 +# As Agda-stdlib is tied to Agda version we encode +# both versions in gentoo version. +## +MY_UPSTREAM_AGDA_STDLIB_V="0.13" +MY_GENTOO_AGDA_STDLIB_V="${PV}.${MY_UPSTREAM_AGDA_STDLIB_V}" +MY_UPSTREAM_AGDA_V="${PV%.${MY_UPSTREAM_AGDA_STDLIB_V}}" + +DESCRIPTION="Agda standard library" +HOMEPAGE="http://wiki.portal.chalmers.se/agda/" +SRC_URI="https://github.com/agda/${PN}/archive/v${MY_UPSTREAM_AGDA_STDLIB_V}.tar.gz -> ${P}.tar.gz" + +LICENSE="MIT" +SLOT="0" +KEYWORDS="~amd64 ~x86" +IUSE="profile +ffi" + +RDEPEND=">=sci-mathematics/agda-${MY_UPSTREAM_AGDA_V}:=[profile?] + ffi? ( sci-mathematics/agda-lib-ffi ) +" +DEPEND="${RDEPEND} + >=dev-haskell/cabal-1.16.0 + >=dev-haskell/filemanip-0.3.6.2[profile?] <dev-haskell/filemanip-0.4[profile?] + >=dev-lang/ghc-7.6.3 +" + +S=${WORKDIR}/${PN}-${MY_UPSTREAM_AGDA_STDLIB_V} + +src_compile() { + haskell-cabal_src_compile + "${S}"/dist/build/GenerateEverything/GenerateEverything \ + || die "GenerateEverything failed" + local prof + use profile && prof="--ghc-flag=-prof" + agda +RTS -K1G -RTS ${prof} \ + -i "${S}" -i "${S}"/src "${S}"/Everything.agda || die + # Although my agda-9999 build has + # /var/tmp/portage/sci-mathematics/agda-9999/work/agda-9999/dist/build/autogen/Paths_Agda.hs + # containing: + # datadir = "/usr/share/agda-9999/ghc-7.6.1" + # it fails without the --css option like: + # /usr/share/agda-9999/ghc-7.4.1/Agda.css: copyFile: does not exist + local cssdir=$(egrep 'datadir *=' "${S}/dist/build/autogen/Paths_lib.hs" | sed -e 's@datadir = \(.*\)@\1@') + agda --html -i "${S}" -i "${S}"/src --css="${cssdir}/Agda.css" "${S}"/README.agda || die +} + +src_test() { + agda -i "${S}" -i "${S}"/src README.agda || die +} + +src_install() { + insinto usr/share/agda-stdlib + insopts --preserve-timestamps + doins -r src/* + dodoc -r html/* + doins "${FILESDIR}/standard-library.agda-lib" +} diff --git a/sci-mathematics/agda-stdlib/files/50agda-stdlib-gentoo.el b/sci-mathematics/agda-stdlib/files/50agda-stdlib-gentoo.el new file mode 100644 index 000000000000..62264a4451a0 --- /dev/null +++ b/sci-mathematics/agda-stdlib/files/50agda-stdlib-gentoo.el @@ -0,0 +1 @@ +(setq agda2-include-dirs '("." "/usr/share/agda-stdlib")) diff --git a/sci-mathematics/agda-stdlib/files/standard-library.agda-lib b/sci-mathematics/agda-stdlib/files/standard-library.agda-lib new file mode 100644 index 000000000000..7cd8525ff7bd --- /dev/null +++ b/sci-mathematics/agda-stdlib/files/standard-library.agda-lib @@ -0,0 +1,2 @@ +name: standard-library +include: /usr/share/agda-stdlib diff --git a/sci-mathematics/agda-stdlib/metadata.xml b/sci-mathematics/agda-stdlib/metadata.xml new file mode 100644 index 000000000000..5cb285fc8d71 --- /dev/null +++ b/sci-mathematics/agda-stdlib/metadata.xml @@ -0,0 +1,21 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> +<pkgmetadata> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> + <maintainer type="project"> + <email>haskell@gentoo.org</email> + <name>Gentoo Haskell</name> + </maintainer> + <longdescription lang="en"> + Agda standard library. +</longdescription> + <use> + <flag name="ffi">Install agda-lib-ffi for compilation using the MAlonzo backend</flag> + </use> + <upstream> + <remote-id type="github">agda/agda-stdlib</remote-id> + </upstream> +</pkgmetadata> |