diff options
author | V3n3RiX <venerix@koprulu.sector> | 2022-11-19 00:59:31 +0000 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2022-11-19 00:59:31 +0000 |
commit | 6e476156e1a0d2f4aa53968c37835c3441301367 (patch) | |
tree | aa9b3b9d969a8846aff874749938ea20b6cb06c2 /dev-ml/re/re-1.10.4-r2.ebuild | |
parent | 1b07dd0a2cbe034321c613ee58a1f99a0df17995 (diff) |
gentoo auto-resync : 19:11:2022 - 00:59:30
Diffstat (limited to 'dev-ml/re/re-1.10.4-r2.ebuild')
-rw-r--r-- | dev-ml/re/re-1.10.4-r2.ebuild | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/dev-ml/re/re-1.10.4-r2.ebuild b/dev-ml/re/re-1.10.4-r2.ebuild index 6ce75a9f66cf..d9f232575177 100644 --- a/dev-ml/re/re-1.10.4-r2.ebuild +++ b/dev-ml/re/re-1.10.4-r2.ebuild @@ -26,3 +26,11 @@ DEPEND="${RDEPEND}" BDEPEND="test? ( dev-ml/ounit2 )" PATCHES=( "${FILESDIR}"/ounit2.patch ) + +src_prepare() { + default + sed -i \ + -e "/(libraries seq)/d" \ + lib/dune \ + || die +} |