Re: Emacs Ada mode with RTS

[Patrick Noffke <patrick.noffke@gmail.com>]

On Wednesday, June 17, 2015 at 4:30:32 PM UTC-5, Simon Wright wrote:
> Patrick Noffke writes:
> 
> > check_cmd=${toolchain_dir}/gprbuild -u -c -gnatc -p -P${gpr_file}
> > --target=arm-eabi --config=${config_file} ${full_current}
> 
> It may have nothing to do with your problem, but when I was getting a
> segfault with -gnatc I was told not to use -gnatc in the runtime[1]! So
> now I have it set to compile the file instead of doing a check:
> 
>    gprbuild -c -u -f -p -P${gpr_file} ${full_current}
> 

Thanks, Simon.  Removing -gnatc does not help.

Here is the output from within Emacs when doing the Check file command:

/home/pnoffke/projects/proj1/output/toolchain/gnat/bin/gprbuild -f -u -c -p -P/home/pnoffke/projects/proj1/proj1.gpr --target=arm-eabi --config=/home/pnoffke/projects/proj1/obj/proj1.cgpr /home/pnoffke/projects/proj1/src/proj1.adb
warning: --RTS is taken into account only in auto-configuration
arm-eabi-gcc -c -g -gnatwa.X -gnatQ -gnat12 -gnatyO proj1.adb
s-osinte.ads:591:07: size for "Address" too small, minimum allowed is 64
gprbuild: *** compilation phase failed

When I run the same command from a terminal, it succeeds:

/home/pnoffke/projects/proj1/output/toolchain/gnat/bin/gprbuild -f -u -c -p -P/home/pnoffke/projects/proj1/proj1.gpr --target=arm-eabi --config=/home/pnoffke/projects/proj1/obj/proj1.cgpr /home/pnoffke/projects/proj1/src/proj1.adb
warning: --RTS is taken into account only in auto-configuration
arm-eabi-gcc -c -g -gnatwa.X -gnatQ -gnat12 -gnatyO proj1.adb


It's the exact same command, so there must be some environment variable that Ada mode is setting, or maybe some command is run prior whose output isn't shown.

Regards,
Patrick