[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.