amd64 bulk build failures 2014-09-08

2014-09-10 Thread Christian Weisgerber 
Failures during the amd64 bulk build started in 2014-09-08:

devel/arm-elf/gcc   ? (_bswapsi2.o)
devel/msp430/gccgengtype internal error
math/coq"No Camlp4 installation found"

The coq problem is new, obviously fallout from the recent ocaml
work.

-- 
Christian "naddy" Weisgerber  na...@mips.inka.de

Re: amd64 bulk build failures 2014-09-08

2014-09-10 Thread David Coppa 
On Wed, Sep 10, 2014 at 1:22 PM, Christian Weisgerber
 wrote:
> Failures during the amd64 bulk build started in 2014-09-08:
>
> devel/arm-elf/gcc   ? (_bswapsi2.o)
> devel/msp430/gccgengtype internal error
> math/coq"No Camlp4 installation found"
>
> The coq problem is new, obviously fallout from the recent ocaml
> work.

Already fixed.

Ciao!
David