Build verus-cli, get dependencies nailed down. (#72)

* Build verus-cli, get dependencies nailed down.

* Fiddling about with scripts.

* Clean READMEs up a bit.
This commit is contained in:
David Dawes
2018-06-24 13:25:27 -07:00
committed by GitHub
parent 6c0edb0c9e
commit 058156b84b
9 changed files with 40 additions and 41 deletions

2
src/verus Executable file
View File

@@ -0,0 +1,2 @@
#!/bin/bash
komodo-cli -ac_name=VRSC "$@"