is there anyway to tell the phalcon devtools which file to use for boostrapping? It seems to me, that currently the app/config/config.ini or app/config/config.php are loaded.
In my case this is not ideal, because I would like to have a more sophisticated bootstrap file (e.g. app/bootstrap/bootstrap.php) that defines constants and includes a set of configuration files and config.php is just one of those. If bootstrap.php is not loaded it messes up the configuration. Obviously I could change the config.php to account for this scenario but I would prefer to keep the config.php as simple as possible.
I'm new to phalcon, so maybe I'm missing something obvious. I have been looking around for a way to set the bootstrapping file for the phalcon devtools but I haven't found anything.