[AWS] install of aws gpl 2015

[Pascal Obry]

Hi Björn,

> Hi!
> Trying to install aws-gpl-2015 on a debian 8.
> Using gnat-gpl-2015
> 
> 
> bnl at sebjlun-deb64:~/download/aws-gpl-2015-src$ sudo make install

Are you sure that under sudo the GNAT GPL compiler is used?

What is the output for:

$ sudo gnatls -v

-- 
  Pascal Obry /  Magny Les Hameaux (78)

  The best way to travel is by means of imagination

  http://v2p.fr.eu.org
  http://www.obry.net

  gpg --keyserver keys.gnupg.net --recv-key F949BD3B