about summary refs log tree commit diff homepage
path: root/scripts/build/v-metasmt.inc
AgeCommit message (Collapse)Author
2019-03-10Updated dependency build system for KLEEMartin Nowack
Provide a single `scripts/build/build.sh` file to build KLEE and its dependencies.