diff options
| author | V3n3RiX <venerix@redcorelinux.org> | 2020-11-25 22:39:15 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@redcorelinux.org> | 2020-11-25 22:39:15 +0000 |
| commit | d934827bf44b7cfcf6711964418148fa60877668 (patch) | |
| tree | 0625f358789b5e015e49db139cc1dbc9be00428f /sci-mathematics/agda-stdlib | |
| parent | 2e34d110f164bf74d55fced27fe0000201b3eec5 (diff) | |
gentoo resync : 25.11.2020
Diffstat (limited to 'sci-mathematics/agda-stdlib')
| -rw-r--r-- | sci-mathematics/agda-stdlib/Manifest | 2 | ||||
| -rw-r--r-- | sci-mathematics/agda-stdlib/agda-stdlib-2.4.2.5.ebuild | 66 |
2 files changed, 0 insertions, 68 deletions
diff --git a/sci-mathematics/agda-stdlib/Manifest b/sci-mathematics/agda-stdlib/Manifest index 854bd5c659da..b302dfcd9db8 100644 --- a/sci-mathematics/agda-stdlib/Manifest +++ b/sci-mathematics/agda-stdlib/Manifest @@ -1,7 +1,5 @@ AUX 50agda-stdlib-gentoo.el 58 BLAKE2B e9b9bef913e26c63e4b0e19a1e4b5c0e370959689ae18e74ed54e7a8c1415c19fb517af9be59feee3e636042bc22fb68f1fd5457f551a436b920b42685aec1f4 SHA512 f45f0e59a1becd5d2b13b452219cc77b553dad9480a848ea62f276e106ab911ed1594e826fe487b886fe9b6e8aadcfde47de4fb1b0ab144ae98b6ac9eb385cfd AUX standard-library.agda-lib 55 BLAKE2B 057e933b07b291fd505f2e64f43b087c2aa4f4828ba2a03b5a53b9cac0f0fd0ab1f523c91efd6090e34e376dcc61d90bc5193063b6f07280c0eb2d688a07dedc SHA512 b1e2cbffe4b99157661fe6f4685580c7524890735db0a20ae1942e076b00d0df13624f587ea7584319e5665484da63beb3e0e5c77226bdbe02a4a80fa33a17b4 -DIST agda-stdlib-2.4.2.5.tar.gz 253379 BLAKE2B c635040892bf940057bacf35f85fa6b7e3b49d1877ca7310933c27312b37566f3df077ad021d34e7855daa1e23b2495df82fe288e8416a11f630beeb313ca027 SHA512 b15ed5838916240c8602fe7a4bccddf43c71ab3a18ecb5a6dc85199b908e261b04cf794a4d93c90af0a9263a36603c392280639ace7fecead0c39269c2623302 DIST agda-stdlib-2.5.2.0.13.tar.gz 264701 BLAKE2B f35b419aac1b80af86217a86fb8e21a2f3427ef9629c8f2e284036859cd89da16ce1b64ceb87f8a3030b5bdb2a68b4f59f74a717fc1e13378ecb20cc6b28f59c SHA512 340a7b9cb15793cdbe99f558a32eaab3476b94b4d43d45bdc92c6b368197d075c977fd2f6ce0c5b0baf584289a2218b07dd030ad2b83f6d9e4bc7effee91eece -EBUILD agda-stdlib-2.4.2.5.ebuild 1914 BLAKE2B f76f7e595d75dcf99b1e6968fd2b1c458e951b1e2807f7110261830cad2b1b436964c826764ec59e5093712dd6ca1b999746b1321a00d902f9e9891bd9ef01cd SHA512 40c9829fe63f6041253dc022c072fc1eca9e8fbdb1945c6d2f89e278cc051df05534397919691b52638a46e656bd6455db185f0dccd1899d581c85be0c6708d2 EBUILD agda-stdlib-2.5.2.0.13.ebuild 2175 BLAKE2B debbd1f201004b20b3e41ad446eac17e2e5ae53175d2c5c56e1a35e94239835d337f5f87bc9b2f03b39a8b7bc1f52476cf02147f5c47fab5ce9e18aac4086e25 SHA512 18c5b73a3dc72a8ee6839381428f27617d299f7c0f61af6c10ce32279e9d50b43b6a36ae02ed675ee1a196914d7f1a2331318976e038c6fc827ec66f95cc9a23 MISC metadata.xml 584 BLAKE2B 9d0eb0995feecbe10282cabba0b56dfe8278149f16840a477b55e6cf63675c79a642922eca2980f193447b1cdfdb59c4f1524a6cd9ec264175e2a753de6b918f SHA512 5d4446db6dac997893534b330f16a5631ff7472fa9178ced3c7300848a0c1733718985f3f6fa2f39adb905e973f8926371043cc08dac99e795e62850e1f2f2dd 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 deleted file mode 100644 index be6d6baf3910..000000000000 --- a/sci-mathematics/agda-stdlib/agda-stdlib-2.4.2.5.ebuild +++ /dev/null @@ -1,66 +0,0 @@ -# Copyright 1999-2020 Gentoo Authors -# 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="https://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 -} |