Re: [platform-testers] GNU poke 3.90.0 pre-released in alpha.gnu.org

[Jose E. Marchesi]

> On Mon, Jan 22, 2024 at 12:26:35AM +0100, Bruno Haible wrote:
>> Mohammad-Reza Nabipoor wrote:
>> > There's this environment variable in testsuite/Makefile that should do the 
>> > job:
>> > 
>> >     POKEFMTAPPDIR="$(top_srcdir)/pokefmt"
>> 
>> It apparently does not do the job...
>> 
>> Can you reproduce it (on a system where you don't have installed poke
>> at the PREFIX that you are currently using, with configure --prefix=PREFIX)?
>> 
>
>
> I successfully ran the following command:
>
> ```sh
> mkdir _build && cd _build && ../configure 
> --prefix=/home/user/poke-3.90.0/_usr &&
>     make && make check
> ```
>
> in the extracted tarball on a fresh Raspberry Pi OS (which is a Debian 
> GNU/Linux
> 12 (bookworm)) AArch64 variant (after `apt install libgc-dev libreadline-dev 
> dejagnu`).

Same here.  I cannot reproduce the issue.
Bruno, what is the exact sequence of commands you used to build poke?