From: Marcelo Coraça de Freitas on
Just found out the -v switch (ok, that would be a little obvious.. but
anyways).


The problem is gprconfig can't find the runtime library for my
toolchaing. Still working on how to set it up.