Tormod:
I think that there is a nicer way to work around this by patching
debian/scripts/choose-configs
to include a special case for amd64 and setting DRI_CONFIGS and probably SWX11_GLU_CONFIGS to the unoptimised versions but I don't feel very comfortable around makefile syntax and the exact build procedure of the debian mesa package so I'm not sure if that would suffice.
Tormod: scripts/ choose- configs
I think that there is a nicer way to work around this by patching
debian/
to include a special case for amd64 and setting DRI_CONFIGS and probably SWX11_GLU_CONFIGS to the unoptimised versions but I don't feel very comfortable around makefile syntax and the exact build procedure of the debian mesa package so I'm not sure if that would suffice.