bug-bison
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Bison build fails on ARM dev board


From: Akim Demaille
Subject: Re: Bison build fails on ARM dev board
Date: Thu, 30 Jan 2020 21:47:33 +0100

Hi Jeffrey,

> Le 30 janv. 2020 à 10:38, Jeffrey Walton <address@hidden> a écrit :
> 
> Hi Everyone,
> 
> I'm trying to build Bison 3.5.1 from sources on an ARM dev board. The
> board does not have a lot of space, so I usually avoid building the
> docs. In fact the doc tools like makeinfo or help2man are not
> installed.
> 
> I'm invoking configure and make as follows because the doc tools are missing:
> 
>    ./configure \
>        --prefix="/usr/local" \
>        --with-libiconv-prefix="/usr/local" \
>        --with-libintl-prefix="/usr/local" \
>        --disable-doc
> 
> And:
> 
>    make MAKEINFO=true HELP2MAN=true
> 
> It is resulting in:
> 
>    sed: can't read doc/bison.1.tmp: No such file or directory
>    mv: cannot stat `doc/bison.1.tmp': No such file or directory
>    gmake[2]: *** [doc/bison.1] Error 1
> 
> How do I proceed?

Sorry about that :(  But I don't know what's happening here, I cannot
reproduce your issue.  Could you try to find out?  Maybe using
`make --debug=b` will give you ideas on what is going wrong?  You
should not need these tool, we agree.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]