summarylogtreecommitdiffstats
AgeCommit message (Collapse)Author
2021-01-24Update for recent versionsPierre-Marie de Rodat
* Remove hacks for Quex, which is no longer used. * Use the new "manage.py" script. * Build and install static libraries, now that the GPRconfig/GPRbuild bug for -r/-pie conflicts is fixed.
2020-06-13Update after the switch to Python3Pierre-Marie de Rodat
2020-03-11Pass --build-mode at installPierre-Marie de Rodat
2019-06-29Depend on langkit-gitPierre-Marie de Rodat
The development branch of Libadalang generally relies on the most recent developments no the Langkit development branch.
2019-06-29Update build procedure to use --library-typesPierre-Marie de Rodat
2018-07-15Add a .gitignorePierre-Marie de Rodat
2018-07-15Add a dependency to gnatcoll-gmpPierre-Marie de Rodat
2018-06-27Use the setup.py script to install the Python bindingPierre-Marie de Rodat
2018-06-27Use gprconfig to make sure we don't use ClangPierre-Marie de Rodat
2018-03-18Initial commitPierre-Marie de Rodat