> Apparently when you run-time compile a CUDA kernel with NVRTC, the default search path does not include the CUDA include directory, so this header cannot be found.

I don't know much about futhark nor cuda includes, but if futhark supports cuda, wasn't this already an issue before adding f16 support, to find the headers of other main functionality of cuda? Or is f16 the first thing in cuda that needs a header and other things like regular float computations work without any includes at all?