no it's not a GPL violation.
he didin't release the binaries, so he does not need to release anything. He is only not allowed to sell binarys without releasing the source.
Is he selling or even releasing the binarys????
I don't think so...
Anyway waninkoko, I think releasing the source is a...