summarylogtreecommitdiffstats
AgeCommit message (Expand)Author
2021-01-24Update for recent versionsPierre-Marie de Rodat
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
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