[Ada-mode-users] GNAT GPL 2018

[Stephen Leake]

I've started using GNAT GPL 2018. It reports unnecessary use clauses.
Here's a patch to ada-gnat-fix-error in ada-gnat-compile.el to fix them:

          ((looking-at (concat "warning: use clause for 
\\(package\\|type\\|private type\\) " ada-gnat-quoted-name-regexp " \\(defined 
at\\|has no effect\\)"))
           ;; delete the 'use'; assume it's on a line by itself.
           (pop-to-buffer source-buffer)
           (beginning-of-line)
           (delete-region (point) (progn (forward-line 1) (point)))
           t)

Installing gnatcoll for gpr_query is more complex; it's split into three
files. Here's the update to ada-mode.texi:


Download three gnatcoll source files from
@url{https://libre.adacore.com/}; click on ``More packages, platforms,
versions and sources'' below the main components list. Select your
target, click on ``Sources'' under the GNAT Community
component. Search for 'gnatcoll'; the three files are:

@example
gnatcoll-bindings-gpl-2018-20180523-src.tar.gz
gnatcoll-core-gpl-2018-20180523-src.tar.gz
gnatcoll-db-gpl-2018-20180523-src.tar.gz
@end example

Install the @code{libiconv} library, as follows:

On Linux, use the package manager to install the development version
of @code{libiconv} (usually named @code{libiconv-dev}).

On Windows, one way to get the library is to install MingW64 from the
MSYS2 project (@url{http://www.msys2.org/}), use its package manger
@code{pacman} to install @code{libiconv}, then copy the
@code{libiconv} files to the GNAT installation:

@example
cp d:/msys64/mingw64/include/iconv.h d:/Apps/GNAT-gpl_2018/include/
cp d:/msys64/mingw64/lib/libiconv.a  
d:/Apps/GNAT-gpl_2018/lib/gcc/x86_64-pc-mingw32/7.3.1/
@end example

Then unpack, build, and install the required components:

@example
tar zxf ~/Downloads/gnatcoll-core-gpl-2018-20180523-src.tar.gz
cd gnatcoll-core-gpl-2018-src
make
make install

tar zxf ~/Downloads/gnatcoll-bindings-gpl-2018-20180523-src.tar.gz
cd gnatcoll-bindings-gpl-2018-src
cd iconv
./setup.py build
./setup.py install

tar zxf ~/Downloads/gnatcoll-db-gpl-2018-20180523-src.tar.gz
cd gnatcoll-db-gpl-2018-src
make -C sql
make -C sql install
make -C sqlite
make -C sqlite install
make -C xref
make -C xref install
@end example


-- 
-- Stephe