comp.lang.ada
 help / color / mirror / Atom feed
From: "Björn Lundin" <b.f.lundin@gmail.com>
Subject: Re: gnat via msys2 pacman + xml/ada
Date: Thu, 20 Sep 2018 12:51:20 +0200
Date: 2018-09-20T12:51:20+02:00	[thread overview]
Message-ID: <pnvu39$df7$1@dont-email.me> (raw)
In-Reply-To: <lybm8siito.fsf@pushface.org>

On 2018-09-20 12:06, Simon Wright wrote:
> Björn Lundin <b.f.lundin@gmail.com> writes:
> 
>> On 2018-09-20 11:17, Simon Wright wrote:
> 
>>> You should have the static libraries and the project GPR installed
>>> properly.
>>>
>>
>> Yes, I should.
>> But they are to be found nowhere.

Or I should say they get build in the source.

> 
> I would expect the static libraries to be in
> $prefix/lib/xmlada/xmlada_*.static/ and the GPRs in $prefix/lib/gnat/
> (my GPRs are in $prefix/share/gpr/, don't know why the two possibilities
> exist or why some GPRs end up in one or the other!)
> 


Yes. Strange thins are happenign here.
I now found them in

gprinstall -f -p -XLIBRARY_TYPE=static -XBUILD=Production -XPROCESSORS=0 \
        --prefix=/ada/xml/18.2 --project-subdir=lib/gnat \
        --build-var=XMLADA_BUILD --build-name=static \
        --install-name=xmlada xmlada.gpr



xmlada/18.2/static
But under a totally different root.
and it is the *.ali and lib*.a but no *.ads and no *.gpr

hmm I need to revisit this later.

-- 
--
Björn


  reply	other threads:[~2018-09-20 10:51 UTC|newest]

Thread overview: 18+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2018-09-19  8:47 gnat via msys2 pacman + xml/ada Björn Lundin
2018-09-19  9:56 ` alby.gamper
2018-09-19 13:06   ` Björn Lundin
2018-09-20  6:49     ` briot.emmanuel
2018-09-20  7:35       ` Björn Lundin
2018-09-19 10:39 ` Alejandro R. Mosteo
2018-09-19 13:08   ` Björn Lundin
2018-09-19 14:54 ` Simon Wright
2018-09-20  2:44   ` Jere
2018-09-20  7:51   ` Björn Lundin
2018-09-20  9:17     ` Simon Wright
2018-09-20  9:27       ` Björn Lundin
2018-09-20 10:06         ` Simon Wright
2018-09-20 10:51           ` Björn Lundin [this message]
2018-09-20 16:01             ` Simon Wright
2018-09-21 12:04               ` Björn Lundin
2018-09-24 10:46 ` Maxim Reznik
2018-09-24 10:51   ` Björn Lundin
replies disabled

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