Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!

Bug 928521

Summary: media-plugins/vdr-rpihddevice-1.0.5 fails to compile: vgplatform.h:69:10: fatal error: khrplatform.h: No such file or directory
Product: Gentoo Linux Reporter: Agostino Sarubbo <ago>
Component: Current packagesAssignee: Martin Dummer <martin.dummer>
Status: CONFIRMED ---    
Severity: normal CC: proxy-maint, vdr
Priority: Normal    
Version: unspecified   
Hardware: All   
OS: Linux   
Whiteboard:
Package list:
Runtime testing required: ---
Attachments: build.log

Description Agostino Sarubbo gentoo-dev 2024-04-03 14:49:03 UTC
https://blogs.gentoo.org/ago/2020/07/04/gentoo-tinderbox/

Issue: media-plugins/vdr-rpihddevice-1.0.5 fails to compile.
Discovered on: arm (internal ref: tinderbox_arm)

Info about the issue:
https://wiki.gentoo.org/wiki/Project:Tinderbox/Common_Issues_Helper#CF0014
Comment 1 Agostino Sarubbo gentoo-dev 2024-04-03 14:49:04 UTC
Created attachment 889360 [details]
build.log

build log and emerge --info
Comment 2 Agostino Sarubbo gentoo-dev 2024-04-03 14:49:05 UTC
Error(s) that match a know pattern in addition to what has been reported in the summary:


/usr/include/VG/vgplatform.h:69:10: fatal error: ../KHR/khrplatform.h: No such file or directory
/usr/include/VG/vgplatform.h:69:10: fatal error: ../KHR/khrplatform.h: No such file or directory