let virmid =
let url =
"http://downloads.sourceforge.net/project/virmid/virmid-1.1.1.tar.gz" in
let jar = "Virmid-1.1.1" // "Virmid.jar" in
let init_program ~path =
KEDSL.Program.(shf "export VIRMID_JAR=%s/%s" path jar) in
Installable_tool.make Machine.Tool.Default.virmid ~url ~init_program
~unarchived_directory:"."
~witness:(witness_file jar)