let mosaik =
let url =
"https://mosaik-aligner.googlecode.com/files/MOSAIK-2.2.3-source.tar" in
Installable_tool.make Machine.Tool.Default.mosaik ~url
~unarchived_directory:"MOSAIK*"
~init_program:(fun ~path ->
KEDSL.Program.(
shf "export PATH=%s:$PATH" path
&& shf "export MOSAIK_PE_ANN=%s/pe.ann" path
&& shf "export MOSAIK_SE_ANN=%s/se.ann" path
))
~witness:(witness_file "MosaikAligner")
~install_program:KEDSL.Program.(fun ~path ->
sh "make"
&& shf "cp networkFile/*pe.ann %s/pe.ann" path
&& shf "cp networkFile/*se.ann %s/se.ann" path
&& shf "cp bin/* %s" path
)