summarylogtreecommitdiffstats
AgeCommit message (Collapse)Author
2021-01-24Update for recent versionsPierre-Marie de Rodat
* Remove the "utils-var_length_ints-test.adb" test main. * Build and install the lal_tools.gpr project. * Use the "install-bin-strip" Makefile rule to install mains.
2020-06-13Switch the dependency back to 'libadalang'Pierre-Marie de Rodat
It's not clear at this stage what's the proper way to describe dependencies. All other -git repositories have dependencies on non-git packages.
2019-06-29Depend on libadalang-gitPierre-Marie de Rodat
The development branch of Libadalang-tools generally relies on the most recent commits on the Libadalang development branch.
2019-06-29Remove the obsolete GNAT bug workaroundPierre-Marie de Rodat
2018-03-18Initial commitPierre-Marie de Rodat