diff options
| author |   Sam James <sam@gentoo.org> | 2022-05-07 07:51:07 +0100 |
|---|---|---|
| committer | Sam James <sam@gentoo.org> | 2022-05-15 01:00:07 +0000 |
| commit | d4dbb3835041c14069f388aabb3afd2593067a72 (patch) | |
| tree | 21f18d928898630f76650c92bc2d3f6bb2cdd5f4 /sci-mathematics/agda-stdlib | |
| parent | net-dialup/speedtouch-usb: egrep -> grep -E (diff) | |
| download | gentoo-d4dbb3835041c14069f388aabb3afd2593067a72.tar.gz gentoo-d4dbb3835041c14069f388aabb3afd2593067a72.tar.bz2 gentoo-d4dbb3835041c14069f388aabb3afd2593067a72.zip | |
sci-mathematics/agda-stdlib: egrep -> grep -E
Signed-off-by: Sam James <sam@gentoo.org>
Diffstat (limited to 'sci-mathematics/agda-stdlib')
| -rw-r--r-- | sci-mathematics/agda-stdlib/agda-stdlib-2.6.1.2.1.4.ebuild | 4 |
1 files changed, 2 insertions, 2 deletions
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 } |