> Thanks that helped.
>
> What I now ran "make" again in the top directory, things are again
> still ok until DriFT is reached: see below.
>
> Or should I "make clean && make" in the top directory?
Yes, it sounds like "make clean && make" is going to be easier than
diagnosing this. Set it off & then go to bed!
Cheers,
Simon
- problems ld'ing current ghc Jens-Ulrik Petersen
- RE: problems ld'ing current ghc Simon Marlow
- Re: problems ld'ing current ghc Jens-Ulrik Petersen
- Re: problems ld'ing current ghc Simon Marlow
- Re: problems ld'ing current ghc Marcin 'Qrczak' Kowalczyk
