Re: Emacs Ada mode with RTS

[Stephen Leake <stephen_leake@stephe-leake.org>]

Patrick Noffke <patrick.noffke@gmail.com> writes:

> 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).

Excellent!

> 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?

I'm not sure what you are asking.

When I use a Makefile, I put check and build targets in there; I never
use the Ada | Build menu.

You can set the Ada | Build | Check command to run 'make check' in your .adp:

check_cmd=make check

>> 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?

I am using gprbuild; it also requires --RTS on the command line.
That may be redundant with some setting in the gpr file, but if so, I
have not found it.

It may be the --RTS option is only used for running gprconfig. But I
need to do that at least once, so it's still required.

-- 
-- Stephe