Re: Emacs Ada mode with RTS

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

On Thursday, June 18, 2015 at 10:34:35 AM UTC-5, Stephen Leake wrote:
> Patrick Noffke writes:
> 
> Just a guess, but this looks like you are mixing 64 bit and 32 bit
> systems? Are you trying to cross-compile?
> 

Yes, I'm cross-compiling for an ARM Cortex-M4 target on a x86_64 host, using a Ravenscar-sfp runtime.

With 5.1.8, the problem is gone.  I can "check syntax" and build the project (still using the same custom check_cmd, make_cmd, and comp_cmd that call gprbuild with my config file).

> > Here are some variables from my .adp file:
> >
> > toolchain_dir=/home/pnoffke/projects/proj1/output/toolchain/gnat/bin
> > ada_compiler=${toolchain_dir}/arm-eabi-gnat
> > gpr_file=/home/pnoffke/projects/proj1/proj1.gpr
> > config_file=/home/pnoffke/projects/proj1/obj/proj1.cgpr
> > check_cmd=${toolchain_dir}/gprbuild -u -c -gnatc -p -P${gpr_file}
> > --target=arm-eabi --config=${config_file} ${full_current}
> > make_cmd=PATH=${toolchain_dir}:$PATH ${toolchain_dir}/gprbuild -p
> > --target=arm-eabi -P${gpr_file} --config=${config_file}
> > comp_cmd=${toolchain_dir}/gprbuild -u -c -gnatc -p -P${gpr_file}
> > --target=arm-eabi --config=${config_file} ${full_current}
> 
> Some of this may no longer be supported in 5.1.8, but I have not checked
> in detail.
> 

It seems to work in 5.1.8.  I haven't played with using a Makefile yet.  I'll give that a shot.  Is there a way to make ada-mode's Check syntax or Build commands dependent on a rule (i.e. generating the config file) in my Makefile?

> If it doesn't work, please report bugs on the ada-mode mailing list (see
> the above web site for subscription info); I'd like to enhance ada-mode
> 5.1.8 to support this sort of thing.
> 
> > The .cgpr file was created using gprconfig (I found this was how GPS
> > works for an RTS project).
> 
> I guess by "RTS project" you mean one for which you specify an alternate
> run time system via the various --RTS options. ada-mode does not support
> that directly (see above about Makefile :).
> 
> I've been messing with that myself recently for Emacs, and have notes
> about what needs to be added. There are several places where --RTS must
> be specified on a command line, not just in a .gpr file. Also, it should
> use the _correct_ system libraries as specified by the RTS setting,
> not the default ones.

Perhaps you can use gprbuild instead of gnatmake?  Would that take care of it for you?

Thanks for your help.

Patrick