The following is only a workaround, but it has been working well for me:
1. install libdrm-dev
2.
cd /usr/include/drm &&
for i in *.h
do dpkg-divert --package libdrm-dev --divert \
/usr/local/include/drm.libc/$i \
/usr/include/drm/$i
3. install linux-libc-dev
While libdrm-dev is installed, the latest <drm/*> headers are
available, but once it is uninstalled, all returns to normal.
In the future, should libdrm-dev conflict with linux-libc-dev, should
it ship updated drm headers somewhere else, or should it replace older
linux-libc-dev? (What are the bad effects of updating drm headers
behind the back of other packages?)
Jonathan
--
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]
