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
next prev parent 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