Age | Commit message (Collapse) | Author | |
---|---|---|---|
2021-01-24 | Update for recent versions | Pierre-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-13 | Update after the switch to Python3 | Pierre-Marie de Rodat | |
2020-03-11 | Pass --build-mode at install | Pierre-Marie de Rodat | |
2019-06-29 | Depend on langkit-git | Pierre-Marie de Rodat | |
The development branch of Libadalang generally relies on the most recent developments no the Langkit development branch. | |||
2019-06-29 | Update build procedure to use --library-types | Pierre-Marie de Rodat | |
2018-07-15 | Add a dependency to gnatcoll-gmp | Pierre-Marie de Rodat | |
2018-06-27 | Use gprconfig to make sure we don't use Clang | Pierre-Marie de Rodat | |
2018-03-18 | Initial commit | Pierre-Marie de Rodat | |