When installing libraries, --install-name switch of gprinstall is useful to distinguish files in include and lib directories.
But in share/gpr directory, the name of project isn't customisable, it is the same as the source gpr project name.
It would be useful to be able to give different names depending on build kind.
Perhaps a new switch like for instance --installed-gpr-name could be convenient.
Thanks, Pascal.
When installing libraries, --install-name switch of gprinstall is useful to distinguish files in include and lib directories. But in share/gpr directory, the name of project isn't customisable, it is the same as the source gpr project name. It would be useful to be able to give different names depending on build kind. Perhaps a new switch like for instance --installed-gpr-name could be convenient. Thanks, Pascal.