#!/bin/bash -x

where="root@$1"

./dist/dist
tar tf dist/dist.tar.gz

ssh_opts="-o StrictHostKeyChecking=no -o UserKnownHostsFile=/dev/null"
ssh="ssh $ssh_opts"
scp="scp $ssh_opts"

$scp dist/dist.tar.gz "$where:/root"

$ssh "$where" "cd /root ; tar -xf dist.tar.gz ; ./prep && ./generate"

rm -rf remote_results
mkdir remote_results
$scp -r "$where:/root/results" ./remote_results