From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!feeder.eternal-september.org!news.glorb.com!peer02.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!post02.iad.highwinds-media.com!news.flashnewsgroups.com-b7.4zTQh5tI3A!not-for-mail
From: Stephen Leake <stephen_leake@stephe-leake.org>
Newsgroups: comp.lang.ada
Subject: Re: Emacs Ada mode with RTS
References: <888a3bd7-6ce8-4458-8725-8330680f48de@googlegroups.com>
 	<86egl9do8p.fsf@stephe-leake.org>
 	<8a492b13-7f08-4597-aa14-5aa8715850f5@googlegroups.com>
Date: Fri, 19 Jun 2015 09:08:57 -0500
Message-ID: <86ioajaiyu.fsf@stephe-leake.org>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.5 (windows-nt)
Cancel-Lock: sha1:JDsq9YgHFvwHVpeeFsORx+n1YLo=
MIME-Version: 1.0
Content-Type: text/plain
X-Complaints-To: abuse@flashnewsgroups.com
Organization: FlashNewsgroups.com
X-Trace: cce8d5584227ce97f808431053
X-Received-Bytes: 2459
X-Received-Body-CRC: 366454459
Xref: news.eternal-september.org comp.lang.ada:26383
Date: 2015-06-19T09:08:57-05:00
List-Id: <comp.lang.ada>

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