let varscan =
let url =
"http://downloads.sourceforge.net/project/varscan/VarScan.v2.3.5.jar" in
let jar = "VarScan.v2.3.5.jar" in
let witness = witness_file jar in
let init_program ~path =
KEDSL.Program.(shf "export VARSCAN_JAR=%s/%s" path jar) in
Installable_tool.make Machine.Tool.Default.varscan ~url ~init_program ~witness