> gprmake is missing from the lates GPS 2.1.0w snapshot. Indeed, the error > message is shown below while installing it. Indeed, there was a glitch in some script, thanks for reporting it. This should be fixed starting with tomorrow's builds. Arno