| Summary: | media-sound/pragha-1.3.99.1-r1 fails to compile (DASH-SYSTEM): pragha-cmdline.c:33:10: fatal error: libxfce4ui.h: No such file or directory | ||
|---|---|---|---|
| Product: | Gentoo Linux | Reporter: | Agostino Sarubbo <ago> |
| Component: | Current packages | Assignee: | XFCE Team <xfce> |
| Status: | RESOLVED FIXED | ||
| Severity: | normal | CC: | mgorny |
| Priority: | Normal | ||
| Version: | unspecified | ||
| Hardware: | All | ||
| OS: | Linux | ||
| See Also: | https://github.com/pragha-music-player/pragha/pull/175 | ||
| Whiteboard: | |||
| Package list: | Runtime testing required: | --- | |
| Attachments: | build.log | ||
|
Description
Agostino Sarubbo
2023-01-03 23:03:18 UTC
Created attachment 847006 [details]
build.log
build log and emerge --info
Error(s) that match a know pattern in addition to what has been reported in the summary: ./configure: 14711: PRAGHA_CFLAGS+= -I/usr/include/libpeas-1.0 -I/usr/include/glib-2.0 -I/usr/lib64/glib-2.0/include -I/usr/lib64/libffi/include -pthread -I/usr/include/libmount -I/usr/include/blkid -I/usr/include/gobject-introspection-1.0 -I/usr/include/libpeas-1.0 -I/usr/include/glib-2.0 -I/usr/lib64/glib-2.0/include -I/usr/include/gtk-3.0 -I/usr/include/pango-1.0 -I/usr/lib64/libffi/include -I/usr/include/harfbuzz -I/usr/include/freetype2 -I/usr/include/libmount -I/usr/include/blkid -I/usr/include/fribidi -I/usr/include/cairo -I/usr/include/lzo -I/usr/include/libpng16 -I/usr/include/pixman-1 -I/usr/include/gdk-pixbuf-2.0 -I/usr/include/gio-unix-2.0 -I/usr/include/atk-1.0 -I/usr/include/at-spi2-atk/2.0 -I/usr/include/at-spi-2.0 -I/usr/include/dbus-1.0 -I/usr/lib64/dbus-1.0/include -I/usr/include/gobject-introspection-1.0 -pthread : not found ./configure: 14952: PRAGHA_CFLAGS+= -I/usr/include/gstreamer-1.0 -I/usr/include/glib-2.0 -I/usr/lib64/glib-2.0/include -I/usr/lib64/libffi/include -pthread -I/usr/include/orc-0.4 : not found ./configure: 14953: PRAGHA_LIBS+= -lgstaudio-1.0 -lgstbase-1.0 -lgstreamer-1.0 -lgobject-2.0 -lglib-2.0 : not found ./configure: 15193: PRAGHA_CFLAGS+= -I/usr/include/xfce4/libxfce4ui-2 -I/usr/include/gtk-3.0 -I/usr/include/pango-1.0 -I/usr/include/glib-2.0 -I/usr/lib64/glib-2.0/include -I/usr/lib64/libffi/include -I/usr/include/harfbuzz -I/usr/include/freetype2 -I/usr/include/libmount -I/usr/include/blkid -I/usr/include/fribidi -I/usr/include/cairo -I/usr/include/lzo -I/usr/include/libpng16 -I/usr/include/pixman-1 -I/usr/include/gdk-pixbuf-2.0 -I/usr/include/gio-unix-2.0 -I/usr/include/atk-1.0 -I/usr/include/at-spi2-atk/2.0 -I/usr/include/at-spi-2.0 -I/usr/include/dbus-1.0 -I/usr/lib64/dbus-1.0/include -pthread -I/usr/include/xfce4 : not found ./configure: 15194: PRAGHA_LIBS+= -lxfce4ui-2 -lgtk-3 -lgdk-3 -lpangocairo-1.0 -lpango-1.0 -lharfbuzz -latk-1.0 -lcairo-gobject -lcairo -lgdk_pixbuf-2.0 -lgio-2.0 -lgobject-2.0 -lxfce4util -lglib-2.0 : not found ./configure: 15434: PRAGHA_CFLAGS+= -I/usr/include/totem-pl-parser/1/plparser -I/usr/include/glib-2.0 -I/usr/lib64/glib-2.0/include -I/usr/lib64/libffi/include -I/usr/include/libmount -I/usr/include/blkid -pthread -I/usr/include/libxml2 : not found ./configure: 15435: PRAGHA_LIBS+= -ltotem-plparser -lgio-2.0 -lgobject-2.0 -lglib-2.0 : not found ./configure: 15686: PRAGHA_CFLAGS+= -I/usr/include/gudev-1.0 -I/usr/include/glib-2.0 -I/usr/lib64/glib-2.0/include -I/usr/lib64/libffi/include : not found ./configure: 15687: PRAGHA_LIBS+= -lgudev-1.0 -lgobject-2.0 -lglib-2.0 : not found pragha-cmdline.c:33:10: fatal error: libxfce4ui/libxfce4ui.h: No such file or directory pragha-cmdline.c:33:10: fatal error: libxfce4ui/libxfce4ui.h: No such file or directory The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=02f05048d29d68b7f3c3bfdc6adf630ba8eec42d commit 02f05048d29d68b7f3c3bfdc6adf630ba8eec42d Author: Michał Górny <mgorny@gentoo.org> AuthorDate: 2023-01-04 05:01:00 +0000 Commit: Michał Górny <mgorny@gentoo.org> CommitDate: 2023-01-04 05:05:46 +0000 media-sound/pragha: Force bash for configure script Closes: https://bugs.gentoo.org/889618 Signed-off-by: Michał Górny <mgorny@gentoo.org> media-sound/pragha/pragha-1.3.99.1-r1.ebuild | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) |