Tvm on Google Cloud issues

Hi,

I am running tvm on Google Cloud, and the Linux Version is:

PRETTY_NAME=“Debian GNU/Linux 9 (stretch)”
NAME=“Debian GNU/Linux”
VERSION_ID=“9”
VERSION=“9 (stretch)”
ID=debian

I have used the following clang+llvm versions, as suggested by tvm installation guide, the binary version. I didn’t find any binary version for Debian with LLVM version greater than 6:

clang+llvm-5.0.0-x86_64-linux-gnu-debian8.tar.xz or
clang+llvm-6.0.0-x86_64-linux-gnu-debian8.tar.xz

But when running the first tutorial running to this issue:

OSError: /home/<>/.local/lib/python3.5/site-packages/tvm-0.6.dev0-py3.5-linux-x86_64.egg/tvm/libtvm.so: undefined symbol: ZN4llvm14TargetRegistry12lookupTargetERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERS6

My ~/.bashrc environment settings are:

LLVM

export LLVM_HOME=~/clang+llvm-6.0.0-x86_64-linux-gnu-debian8
export PATH=$LLVM_HOME/bin:$PATH

TVM

export TVM_HOME=/home//tvm
export PATH=$TVM_HOME/lib:$PATH
export PYTHONPATH=$TVM_HOME/python:$TVM_HOME/topi/python:$TVM_HOME/nnvm/python:${PYTHONPATH}

Can you please let us know if the settings make sense for Google Cloud resources, and how the issue can be resolved.

Thanks,
Nick