Is there a way to specify gprbuild options in the .toml file?

[pmunts]

You can append gprbuild options to alr build with -- <option>. Is there some way to specify them in the .toml file?

[Fabien-Chouteau]

No we don't have this at the moment. What options do you want to specify? Probably most, if not all, of them can be added to the .gpr file.

[pmunts]

The most important one to me is --config=somefile.cgpr. Unlike --target=sometarget, there is no corresponding statement in the .gpr file.

The for target use statement in the .gpr file is a pain in the neck because it requires a matching .cgpr file /usr/share/gpr, which requires root access to install.