Thanks!
The pip package will be of great help if one just wants to run some simple tests. And the developer docker images are also helpful, I have had trouble building TVM in a old CentOS system which only have gcc 4.8 support.
BTW, I’m curious about the decision of releasing cuda100 with 101 and 102 at the same time.