[AWS] AWS Digest, Vol 89, Issue 7

[Sebastiano Gottardo]

Hello Riccardo,

thanks for your help. I've managed to compile and install successfully AWS
after a whole day of tries. You were correct, the "sudo" command discards
(or ignores) the PATH variable, but it wasn't just that. I was required to
set the ADA_LIBRARY_PATH and GPR_LIBRARY_PATH variables to point to my GNAT
installation directory (/usr/gnat/lib/gnat in my case), but this
information is not written in the README file nor in the INSTALL file.

Thanks for your efforts.

Best regards,
Sebastiano

2012/11/28 <aws-request at lists.adacore.com>

> Send AWS mailing list submissions to
>         aws at lists.adacore.com
>
> To subscribe or unsubscribe via the World Wide Web, visit
>         /no-more-mailman.html
> or, via email, send a message with subject or body 'help' to
>         aws-request at lists.adacore.com
>
> You can reach the person managing the list at
>         aws-owner at lists.adacore.com
>
> When replying, please edit your Subject line so it is more specific
> than "Re: Contents of AWS digest..."
>
>
> Today's Topics:
>
>    1. Fwd: Troubles compiling AWS on Ubuntu 12.04 (Sebastiano Gottardo)
>    2. Re: Fwd: Troubles compiling AWS on Ubuntu 12.04
>       (Riccardo Bernardini)
>
>
> ----------------------------------------------------------------------
>
> Message: 1
> Date: Tue, 27 Nov 2012 17:12:16 +0100
> From: Sebastiano Gottardo <dextorer at gmail.com>
> To: aws at lists.adacore.com
> Subject: [AWS] Fwd: Troubles compiling AWS on Ubuntu 12.04
> Message-ID:
>         <
> CAONTqLX4BdXSDw+--K5Wo+F1EiTgRvzhvqKK8JLYa4FNTTx1AA at mail.gmail.com>
> Content-Type: text/plain; charset="iso-8859-1"
>
> Hello,
>
> let me apologize in advance if my question is going to be silly. I'm having
> troubles compiling AWS on my Ubuntu x86_64 distribution. Details as
> follows:
>
>    - I've downloaded and installed (in /usr/gnat/) GNAT GPL Edition from
>    http://libre.adacore.com - its version is "GNAT GPL 2012 (20120509)"
>    - I've added the installation directoty "/usr/gnat/bin/" to the PATH
>    variable - now I'm able to run all the gnat- commands
>    - I've downloaded the AWS archive from http://libre.adacore.com too
>
> Now, if I simply run "sudo make setup build install" I get this error:
>
> *make[1]: gprbuild: Command not found*
>
> which is really weird, because I've double checked the /usr/gnat/bin/
> directory and it contains the gprbuild executable. If I, on the other hand,
> install gprbuild from the Ubuntu repositories (which contains a 2011
> version) the configuration/compilation goes on without any issue. Seems
> like some incompatibility between GNAT and AWS, but I can't figure out why.
> What am I missing?
>
> If I've missed any vital information I will provide it upfront.
>
> Thanks,
> Sebastiano
> -------------- next part --------------
> An HTML attachment was scrubbed...
> URL: </pipermail/aws/attachments/20121127/fdc73210/attachment-0001.html>
>
> ------------------------------
>
> Message: 2
> Date: Tue, 27 Nov 2012 17:24:07 +0100
> From: Riccardo Bernardini <riccardo.bernardini at uniud.it>
> To: aws at lists.adacore.com
> Subject: Re: [AWS] Fwd: Troubles compiling AWS on Ubuntu 12.04
> Message-ID: <20121127172407.153236cpyco2yzaf at webmail.uniud.it>
> Content-Type: text/plain; charset=ISO-8859-1; DelSp="Yes";
>         format="flowed"
>
> Sebastiano Gottardo <dextorer at gmail.com> ha scritto:
>
> > Hello,
> >
> > let me apologize in advance if my question is going to be silly. I'm
> having
> > troubles compiling AWS on my Ubuntu x86_64 distribution. Details as
> follows:
> >
> >    - I've downloaded and installed (in /usr/gnat/) GNAT GPL Edition from
> >    http://libre.adacore.com - its version is "GNAT GPL 2012 (20120509)"
> >    - I've added the installation directoty "/usr/gnat/bin/" to the PATH
> >    variable - now I'm able to run all the gnat- commands
> >    - I've downloaded the AWS archive from http://libre.adacore.com too
> >
> > Now, if I simply run "sudo make setup build install" I get this error:
> >
> > *make[1]: gprbuild: Command not found*
>
> I guess that the problem is "sudo" in your command line.  sudo seems
> to discard the variable PATH (for security reasons, I guess), so
> /usr/gnat/bin is not in PATH anymore when make runs.  From the sudo
> manpage
>
>         sudo tries to be safe when executing external commands.
>
>         There are two distinct ways to deal with environment variables.  By
>         default, the env_reset sudoers option is enabled.  This causes
> commands
>         to be executed with a minimal environment containing TERM, PATH,
> HOME,
>         SHELL, LOGNAME, USER and USERNAME in addition to variables from the
>         invoking process permitted by the env_check and env_keep sudoers
>         options.  There is effectively a whitelist for environment
> variables.
>
>
> Question: do you really need to do setup and build under sudo?  If
> not, you can use sudo only for install and this should solve your
> problem.
>
> Regards,
>
> Riccardo
>
> >
> > which is really weird, because I've double checked the /usr/gnat/bin/
> > directory and it contains the gprbuild executable. If I, on the other
> hand,
> > install gprbuild from the Ubuntu repositories (which contains a 2011
> > version) the configuration/compilation goes on without any issue. Seems
> > like some incompatibility between GNAT and AWS, but I can't figure out
> why.
> > What am I missing?
> >
> > If I've missed any vital information I will provide it upfront.
> >
> > Thanks,
> > Sebastiano
> >
>
>
>
> --
> Riccardo Bernardini
> DIEGM -- University of Udine
> via delle Scienze 208
> 33100 Udine
> Tel: +39-0432-55-8271
> Fax: +39-0432-55-8251
>
> ----------------------------------------------------------------------
> SEMEL (SErvizio di Messaging ELettronico) - AINF, Universita' di Udine
>
>
>
>
> ------------------------------
>
> _______________________________________________
> AWS mailing list
> AWS at lists.adacore.com
> /no-more-mailman.html
>
>
> End of AWS Digest, Vol 89, Issue 7
> **********************************
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/aws/attachments/20121202/a59543b3/attachment.html>