Wow, Debian 9 is proving to be a real headache. Maybe its time to stop using Debian.
Anyway, is support for cuda 9.1 at least functional if not complete? Apparently CUDA9 doesn't have some of the header files that it expects when compiled.
Installing Cuda 8 is complicated by the fact that Debian 9 ships GCC 6 instead GCC 5, again breaking compatibility.
Maybe I should just reinstall with something other than Debian.
https://github.com/tpruvot/ccminer/pull/34/files