Jonathan Nieder wrote:
> To move this forward:
>
> - does it still happen today with binutils from sid or experimental?
> - if so, could you try
>
> git clone git://sources.redhat.com/git/binutils.git
> cd binutils
> ./configure --prefix=$HOME/opt/binutils; # or whereever
>
Hi Camm et al,
Camm Maguire wrote:
> Briefly, I can reproducibly produce a gcl image on ppc which when
> stripped cannot correctly build a working maxima. Leaving the binary
> unstripped produces a working maxima.
[...]
> Greetings! Just a followup -- acl2 2.9 has just apparently crossed
> som
2 matches
Mail list logo
