summarylogtreecommitdiffstats
AgeCommit message (Collapse)Author
2021-01-24Update for recent versionsPierre-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-13Update after the switch to Python3Pierre-Marie de Rodat
2020-03-11Add the python2-e3-core dependency and pass --build-mode at installPierre-Marie de Rodat
2019-07-04Remove the quex-for_libadalang dependencyPierre-Marie de Rodat
2019-06-29Update build procedure to use --library-typesPierre-Marie de Rodat
2018-06-26Make the Langkit Python package tree available for importPierre-Marie de Rodat
2018-03-18Build and install Langkit_Support (runtime support)Pierre-Marie de Rodat
2018-03-11Improve package descriptionPierre-Marie de Rodat
2018-03-11Initial commitPierre-Marie de Rodat