diff options
| author | Pierre-Marie de Rodat | 2021-01-24 16:36:40 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat | 2021-01-24 16:36:40 +0100 |
| commit | 86aeefb9920d066c1b568bd9475b5c4e29aa95af (patch) | |
| tree | f9e7bb01ab04b8284fb443f73bfc477d05fa0319 /.gitignore | |
| parent | 6ce0b5c00be8b4bd92250e682cb036bbd55082cd (diff) | |
| download | aur-libadalang-git.tar.gz | |
Update for recent versions
* 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.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions