С помощью gnatpro 19.1 я пытаюсь добавить gnathub в свой проект, и мне интересно, как динамически установить Project_Version
как в:
package Dashboard is
for Project_Version use @git --describe --tags@; -- this needs to be updated.
end Dashboard;
Я не могу придумать никакого простого способа сделать это.
Решением было бы использовать Makefile, который настраивал бы файл .gpr.in
, но, похоже, это было надумано изменить всю мою цепочку сборки, просто чтобы добавить версию в конфигурацию сонара.
A простое, не автоматическое решение - вызвать проект с другим переключателем:
gnathub -P Foo.gpr --plugins sonar-config,sonar-scanner\
--targs:sonar-scanner -Dsonar.projectVersion=$(git describe --tags)
Но это не совсем удобно.
Аналогичный вопрос - добавить опцию -Dsonar.branch.name=$(git branch)
. AFAICT, package Dashboard
, как согласно документации не имеет переключателя Switch
.
Есть ли какое-либо решение, кроме передачи дополнительных аргументов или разветвления gnatdashboard?