Pierre-Marie de Rodat 871ed3ba42 CB: do not override GPR2 sources ...

Nowadays, LibGPR2 does not depend on Libadalang nor Langkit directly
(the dependency on Langkit is vendored), so unconditionally rebuilding
everything that depends on the `eng/gpr/gpr` repository through anod's
`--smart-rebuild` option serves no purpose in the context of our CB, and
takes a lot of time. Do not override GPR2 sources to get rid of this.

2025-07-08 14:50:54 +02:00

..

add_nameres_test.py

Transition to Python3

2020-05-26 12:33:50 +02:00

coverage.sh

Add a helper script to compute code coverage for LAL

2020-02-13 12:13:42 +01:00

doinstall.tmplt

Replace occurrences of report@adacore.com with support@

2025-02-26 10:16:13 +00:00

gh-langkit-branch.py

Replace travis by GH actions

2020-10-15 13:55:43 +02:00

gitlab-cb.plan

gitlab-ci.plan: do not build gnatformat explicitly

2025-07-08 14:50:54 +02:00

gitlab-ci-common.yml

CB: do not override GPR2 sources

2025-07-08 14:50:54 +02:00

lal-and-langkit-coverage.sh

Add a script to ease LAL+Langkit consolidated code coverage computation

2017-06-20 13:28:30 +02:00

libadalang.gpr.patch

Update release scripts for 23.0

2022-11-02 09:12:21 +00:00

mains.gpr.patch

Update release scripts for 23.0

2022-11-02 09:12:21 +00:00

nameres.gpr

utils/nameres.gpr: add the required -gnatX compilation switch

2024-08-28 15:33:41 +00:00

release.sh

Update release scripts for 23.0

2022-11-02 09:12:21 +00:00

run_nameres.py

T511-017: Fix style pycodestyle style issues

2020-06-04 12:59:33 +02:00

update_copyright.py

Add a script to automate copyright notices update and document it

2023-06-08 12:44:29 +00:00