Age | Commit message (Expand) | Author |
---|---|---|
2021-01-24 | Update for recent versions | Pierre-Marie de Rodat |
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 |
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 the setup.py script to install the Python binding | 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 |