LaViTはlmntalフォルダ以下にSLIM・LMNtalコンパイラ・Graphene・UNYOがあることを期待して動作する。バンドル版リリースにはこれらが同梱されているが、このリポジトリには入っていない。 git の submodule 機能を使えばこの問題を解決できるのではないか?