I have created an installation profile with a dependency for a module, which requires PHP 5.3
In the profile .info file I have added this line:php = 5.3
But when I try to install Drupal with this profile on PHP 5.2.17 (changed the PHP version in Acquia Dev Desktop), I don't get an error, not even from the module.
Although, if I go to admin/modules after the installation, it shows me an error, that the module is not compatible with this PHP version.
Is it just not possible to add a PHP requirement in a installation profile or is this a bug?