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=-0.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD, FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4 Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail From: =?UTF-8?Q?Bj=c3=b6rn_Lundin?= Newsgroups: comp.lang.ada Subject: Re: gnat via msys2 pacman + xml/ada Date: Thu, 20 Sep 2018 12:51:20 +0200 Organization: A noiseless patient Spider Message-ID: References: Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit Injection-Date: Thu, 20 Sep 2018 10:51:21 -0000 (UTC) Injection-Info: reader02.eternal-september.org; posting-host="8eda5d005b56d7709cc3fd4e6103a88d"; logging-data="13799"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/CohVh1HjEAAFquDRpeJ9n" User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.8.0 Cancel-Lock: sha1:zw5lgLJKdR77PZyJi788OSv224I= In-Reply-To: Content-Language: sv-FI Xref: reader02.eternal-september.org comp.lang.ada:54390 Date: 2018-09-20T12:51:20+02:00 List-Id: On 2018-09-20 12:06, Simon Wright wrote: > Björn Lundin 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