diff options
| author |   Eli Schwartz <eschwartz93@gmail.com> | 2024-02-28 19:46:59 -0500 |
|---|---|---|
| committer |   Sam James <sam@gentoo.org> | 2024-02-29 00:51:16 +0000 |
| commit | 38655534205d0c3d6ffe696d134c88afb6e01603 (patch) | |
| tree | 809ae528a1ff7bbe5a9c9db898f36beb8249a602 /media-sound/ardour | |
| parent | dev-ruby/nio4r: filter LTO, no-SA (diff) | |
| download | gentoo-38655534205d0c3d6ffe696d134c88afb6e01603.tar.gz gentoo-38655534205d0c3d6ffe696d134c88afb6e01603.tar.bz2 gentoo-38655534205d0c3d6ffe696d134c88afb6e01603.zip | |
media-sound/ardour: mark as LTO-unsafe
See https://tracker.ardour.org/view.php?id=9649 for details.
Closes: https://bugs.gentoo.org/917095
Signed-off-by: Eli Schwartz <eschwartz93@gmail.com>
Signed-off-by: Sam James <sam@gentoo.org>
Diffstat (limited to 'media-sound/ardour')
| -rw-r--r-- | media-sound/ardour/ardour-8.4.ebuild | 5 | ||||
| -rw-r--r-- | media-sound/ardour/ardour-9999.ebuild | 5 |
2 files changed, 10 insertions, 0 deletions
diff --git a/media-sound/ardour/ardour-8.4.ebuild b/media-sound/ardour/ardour-8.4.ebuild index 4f99e58488e4..cee5f390d988 100644 --- a/media-sound/ardour/ardour-8.4.ebuild +++ b/media-sound/ardour/ardour-8.4.ebuild @@ -130,6 +130,11 @@ src_configure() { # avoid bug https://bugs.gentoo.org/800067 local -x AS="$(tc-getCC) -c" + # -Werror=odr + # https://tracker.ardour.org/view.php?id=9649 + # https://bugs.gentoo.org/917095 + filter-lto + local backends="alsa,dummy" use jack && backends+=",jack" use pulseaudio && backends+=",pulseaudio" diff --git a/media-sound/ardour/ardour-9999.ebuild b/media-sound/ardour/ardour-9999.ebuild index 4f99e58488e4..cee5f390d988 100644 --- a/media-sound/ardour/ardour-9999.ebuild +++ b/media-sound/ardour/ardour-9999.ebuild @@ -130,6 +130,11 @@ src_configure() { # avoid bug https://bugs.gentoo.org/800067 local -x AS="$(tc-getCC) -c" + # -Werror=odr + # https://tracker.ardour.org/view.php?id=9649 + # https://bugs.gentoo.org/917095 + filter-lto + local backends="alsa,dummy" use jack && backends+=",jack" use pulseaudio && backends+=",pulseaudio" |