On reflection, there are several factors contributing to the problem. Addressing any one of them would resolve the problem reported.
1. none of the Mir -dev packages are co-installable
2. libsdl2-dev should not depend on libmirclient-dev
3. SDL2 is being built with mirclient support on 18.10
1 & 2 have been the case since well before 16.04 and this issue has gone undetected. If there's a reason for /2/, it's a bad one. Regardless, we ought to address /1/.
3 is pointless and likely an oversight. I'm under the impression that SDL2 dropped mirclient support upstream, but I guess that hasn't filtered through yet. In any case mirclient lost GL support in 18.04 and will not support Nvidia eglstream drivers.
On reflection, there are several factors contributing to the problem. Addressing any one of them would resolve the problem reported.
1. none of the Mir -dev packages are co-installable
2. libsdl2-dev should not depend on libmirclient-dev
3. SDL2 is being built with mirclient support on 18.10
1 & 2 have been the case since well before 16.04 and this issue has gone undetected. If there's a reason for /2/, it's a bad one. Regardless, we ought to address /1/.
3 is pointless and likely an oversight. I'm under the impression that SDL2 dropped mirclient support upstream, but I guess that hasn't filtered through yet. In any case mirclient lost GL support in 18.04 and will not support Nvidia eglstream drivers.