#!/bin/sh

set -e

if test -f fx7.exe ; then
  :
elif test -f ../fx7.exe; then
  cd ..
else
  echo "error"
  exit
fi

v=$(echo fx7.exe | mono-find-requires | grep Nemerle | sed -e 's/.* = //')
rm -rf tf-pack
mkdir tf-pack
cp /usr/lib/mono/gac/Nemerle/$v*/Nemerle.dll tf-pack/
cp Fx7.BigInteger.dll fx7.exe MiniSatCS.dll tf-pack/
cp scripts/tf-* tf-pack/
cp scripts/csv-stats tf-pack/
cp tests/KillTc tf-pack/

cd tf-pack
tar zcf fx7.tgz *
scp fx7.tgz l:tf/files/
cd ..
rm -rf tf-pack