comp.lang.ada
 help / color / mirror / Atom feed
From: Stephen Leake <stephen_leake@stephe-leake.org>
Subject: Re: Emacs Ada mode with RTS
Date: Fri, 19 Jun 2015 09:12:01 -0500
Date: 2015-06-19T09:12:01-05:00	[thread overview]
Message-ID: <86egl7aitq.fsf@stephe-leake.org> (raw)
In-Reply-To: ly8ubghlio.fsf@pushface.org

Simon Wright <simon@pushface.org> writes:

> Patrick Noffke <patrick.noffke@gmail.com> writes:
>
>> Perhaps you can use gprbuild instead of gnatmake?  Would that take
>> care of it for you?
>
> This is pretty-much a must, since gnatmake doesn't understand all the
> options you can put in a GPR file.
>
> Also gnatmake will lose the ability to deal with project files at all,
> spit spit
>
> It used to be that gprbuild understood relative paths for --RTS=, but
> the GPL 2015 one needs absolute paths.
>
> This GPR works perfectly in ada-mode 5.1.8 ..

Just to be clear, are you saying you can run:

gprbuild testbed.gpr

that is, you _don't_ need --RTS on the gprbuild command line?

The AdaCore docs do a really bad job of saying what packages correspond
to what command line options.

-- 
-- Stephe


  reply	other threads:[~2015-06-19 14:12 UTC|newest]

Thread overview: 17+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2015-06-17 18:12 Emacs Ada mode with RTS Patrick Noffke
2015-06-17 21:30 ` Simon Wright
2015-06-18 13:48   ` Patrick Noffke
2015-06-18 14:06     ` Simon Wright
2015-06-18 15:09       ` Patrick Noffke
2015-06-18 15:21         ` Patrick Noffke
2015-06-19 13:56       ` Stephen Leake
2015-06-18 15:34 ` Stephen Leake
2015-06-18 18:19   ` Patrick Noffke
2015-06-19 14:01     ` Stephen Leake
2015-06-18 18:39   ` Patrick Noffke
2015-06-18 19:19     ` Simon Wright
2015-06-19 14:12       ` Stephen Leake [this message]
2015-06-19 19:19         ` Simon Wright
2015-06-19 14:08     ` Stephen Leake
2015-06-19 14:47       ` Patrick Noffke
2015-06-21  9:48         ` Stephen Leake
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox