gnatmake -Pnaming.gpr file2.foo
