Forgot that I'm going to have to compile an Idris runtime as part of the build process rather than relying on the one on my host system. Been fighting CMake most of the day as well. Got a C program linking with GMP and running under seL4 yesterday, but I don't think I'm going to manage the same feat with Idris today.