comp.lang.ada
 help / color / mirror / Atom feed
From: Jacob Sparre Andersen <jacob@jacob-sparre.dk>
Subject: Re: Building Matreshka on Windows
Date: Mon, 07 Nov 2016 10:03:05 +0100
Date: 2016-11-07T10:03:05+01:00	[thread overview]
Message-ID: <87lgwvslva.fsf@adaheads.consafe1.org> (raw)
In-Reply-To: lylgwv7jxg.fsf@pushface.org

Simon Wright <simon@pushface.org> writes:

> They don't have to be "installed", at any rate not in the default
> location. gprbuild has a --db switch:

Thanks!  Hadn't noticed that.

Greetings,

Jacob
-- 
»You know the world has gone crazy when the best rapper is a
 white guy, the best golfer is a black guy, the swiss hold
 the America's cup, France is accusing the U.S. of
 arrogance, and Germany doesn't want to go to war«

  reply	other threads:[~2016-11-07  9:03 UTC|newest]

Thread overview: 25+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2016-11-02 21:29 Building Matreshka on Windows Shark8
2016-11-03  8:18 ` Dmitry A. Kazakov
2016-11-03 15:32   ` Olivier Henley
2016-11-03 16:10     ` Dmitry A. Kazakov
2016-11-03 17:50       ` Simon Wright
2016-11-03 18:42         ` G.B.
2016-11-04  8:55           ` Simon Wright
2016-11-04  9:19             ` G.B.
2016-11-03 18:02       ` Olivier Henley
2016-11-03 20:18         ` Dmitry A. Kazakov
2016-11-03 22:39           ` gautier_niouzes
2016-11-04  8:28             ` Dmitry A. Kazakov
2016-11-04  8:57           ` G.B.
2016-11-04  9:29             ` Dmitry A. Kazakov
2016-11-04 13:28               ` Simon Wright
2016-11-04 16:08                 ` Dmitry A. Kazakov
2016-11-04 18:14                   ` Simon Wright
2016-11-04 16:37                 ` Jeffrey R. Carter
2016-11-04 18:19                   ` Simon Wright
2016-11-07  8:39                   ` Jacob Sparre Andersen
2016-11-07  8:50                     ` Simon Wright
2016-11-07  9:03                       ` Jacob Sparre Andersen [this message]
2016-11-29 15:22 ` Maxim Reznik
2016-11-29 23:49   ` Shark8
2016-11-30 11:45     ` Maxim Reznik
replies disabled

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