diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2022-06-29 12:04:12 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2022-06-29 12:04:12 +0100 |
| commit | 0f558761aa2dee1017b4751e4017205e015a9560 (patch) | |
| tree | 037df795519468a25d9362b4e95cdaeb84eb1cf9 /sci-mathematics/agda-stdlib | |
| parent | 752d6256e5204b958b0ef7905675a940b5e9172f (diff) | |
gentoo resync : 29.12.2022
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.6.1.2.1.4.ebuild | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/sci-mathematics/agda-stdlib/Manifest b/sci-mathematics/agda-stdlib/Manifest index 9830df0c822e..ec872f003d78 100644 --- a/sci-mathematics/agda-stdlib/Manifest +++ b/sci-mathematics/agda-stdlib/Manifest @@ -1,4 +1,4 @@ AUX standard-library.agda-lib 55 BLAKE2B 057e933b07b291fd505f2e64f43b087c2aa4f4828ba2a03b5a53b9cac0f0fd0ab1f523c91efd6090e34e376dcc61d90bc5193063b6f07280c0eb2d688a07dedc SHA512 b1e2cbffe4b99157661fe6f4685580c7524890735db0a20ae1942e076b00d0df13624f587ea7584319e5665484da63beb3e0e5c77226bdbe02a4a80fa33a17b4 DIST agda-stdlib-2.6.1.2.1.4.tar.gz 816654 BLAKE2B c8e6b6f86f32dd2e3d57da4a21066be4a441e71bc3a7cb96d8000f28c56cbb114a00e5df2777b00a8a9fc1a0f94b00bdf4b72eb46f0245ab482a41b6a9d772ee SHA512 90c05d54eaf1d7c78d00f73044afa1f3b4d99df622d40b3cea88fe280f0770ccaeddd787d8fb384c150123f592bb6a7ec24b842a9fcc2936f581d847928223ca -EBUILD agda-stdlib-2.6.1.2.1.4.ebuild 2129 BLAKE2B 11076c1eb8fc55fb03ce65f8d2016da39eeaed2bfc0ed02a9aeec3266a000cee1a9be5a503af8df108f8ac36b1416ba9d6897e187554a5ef74d194171003f462 SHA512 8e63daeed5284581872533700ca043fd627fa39ec81962f92fa82083b907745d05c0049458af194cc0e5d838eddff6b3ab9c2b8aab4a9ac1be507ee23ab461e1 +EBUILD agda-stdlib-2.6.1.2.1.4.ebuild 2131 BLAKE2B 3aaf388befda982634876b99953c2e0693037ce9d97fbf3d35211c311a1cc9643ba764bd8818708f814d1ba39a943661e3ce04fde64af26db1512ee13ec6442c SHA512 3c9792873467d6bfe9f288e7cdd2869e9a2b71cf29d11361e7e27cd057bd7fa1530447acf953989f97a06a9d370bbe6aa1d7c7e6270d0034932ea107e2b84994 MISC metadata.xml 471 BLAKE2B 308482ab94f16db0a4ef47ca204527f83bd1a3471d8d8152ab8f600cd6350fcdba8f1710e5daebac469392662843a9feea4cae66f1b8a79acbc9ed3234534e8c SHA512 853bc8aabc44e6dad3a607e6f2ab9ad20e278e7a6a309ad106ee807c3eb608066c11e42137442fd2f622881187801bff46f581e0383168a1483dc20923e74b59 diff --git a/sci-mathematics/agda-stdlib/agda-stdlib-2.6.1.2.1.4.ebuild b/sci-mathematics/agda-stdlib/agda-stdlib-2.6.1.2.1.4.ebuild index 55a498c1f260..73afc2f8ee30 100644 --- a/sci-mathematics/agda-stdlib/agda-stdlib-2.6.1.2.1.4.ebuild +++ b/sci-mathematics/agda-stdlib/agda-stdlib-2.6.1.2.1.4.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2020 Gentoo Authors +# Copyright 1999-2022 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=7 @@ -50,7 +50,7 @@ src_compile() { # 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@') + local cssdir=$(grep -E '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 } |