(WIP) This is a dev shell for tvm development. To use,

# In the root directory of this repo
git clone https://github.com/apache/tvm.git
git clone https://github.com/octoml/synr.git

nix develop

All libraries and environment variables should be set up after this.