llvm license/GPL

Hello,
I am trying to understand the licenses around LLVM ecosystem as described in:
http://llvm.org/docs/DeveloperPolicy.html#copyright-license-patents

I couldn’t figure out if I can write a compiler using the OCaML bindings and redistribute it as GPL.
It seems like I can, due to the antivirality of UIUC.
It would be also good if the Kaleidoskope example came with using terms, hopefully in public domain. :slight_smile:

cheers

Add normal disclaimer about only taking legal advice from your lawyer
here.