Age | Commit message (Collapse) | Author | |
---|---|---|---|
2021-01-24 | Update for recent versions | Pierre-Marie de Rodat | |
* Use the new manage.py script to build and install langkit_support. * 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 | Add the python2-e3-core dependency and pass --build-mode at install | Pierre-Marie de Rodat | |
2019-07-04 | Remove the quex-for_libadalang dependency | Pierre-Marie de Rodat | |
2019-06-29 | Update build procedure to use --library-types | Pierre-Marie de Rodat | |
2018-03-18 | Build and install Langkit_Support (runtime support) | Pierre-Marie de Rodat | |
2018-03-11 | Improve package description | Pierre-Marie de Rodat | |
2018-03-11 | Initial commit | Pierre-Marie de Rodat | |