I'm trying to upgrade to GNAT GPL 2017 (from 2016). I'm running on Windows 8.1.
One application uses gnatcoll.xref.
In 2016, that's found in:
gnat/include/gnatcoll/gnatcoll_sqlite.static/gnatcoll-xref.ads
However, the file is not found in the 2017 install. Note that the 'gnat-...-bin.exe' installer for 2017 includes gnatcoll, while in 2016 it's a separate install.
The gnatcoll user guide for 2017 (share/doc/gnatcoll/GNATColl.pdf) chapter 25 says gnatcoll.xref should be there (it is used in the example code).
Has anyone else run into this? And is there a fix/workaround?