While spark builds, gnatprove is getting murdered on the testsuite, including emitting Internal Compiler Errors quite often. It's not usable as is and needs more work.
