#!/bin/sh

# our script requires sh aliased to bash.

if [ $# -ge 3 ]; then
	remote_host=$1
	user=$2
	platform=$3
	port=$4
	if [ $# -ge 5 ]; then
		bandwidth=$5
	else
		bandwidth=""
	fi
		# Launch platform specific scripts
	ssh -p $port -l $user $remote_host "mkdir -p local/TEST_DELIV"
	ssh -p $port -l $user $remote_host "cd local/TEST_DELIV ; \rm -rf PorterPackage"
	ssh -p $port -l $user $remote_host "cd local/TEST_DELIV ; \rm -rf PorterPackage_all.tar"
	scp -P $port PorterPackage_all.tar $user@$remote_host:local/TEST_DELIV/PorterPackage_all.tar
	ssh -p $port -l $user $remote_host "cd local/TEST_DELIV ; tar xvf PorterPackage_all.tar"
		# Do the compilation
	ssh -p $port -l $user $remote_host "cd local/TEST_DELIV/PorterPackage; sh ./compile_exes $platform"
		# Build the delivery
	ssh -p $port -l $user $remote_host "cd local/TEST_DELIV/PorterPackage; sh ./make_images $platform"

		#Upload locally
	scp -P $port $bandwidth "$user@$remote_host:local/TEST_DELIV/PorterPackage/Eiffel67_ent*bz2" .
	scp -P $port $bandwidth "$user@$remote_host:local/TEST_DELIV/PorterPackage/Eiffel67_gpl*bz2" .

		#Upload to our ftp site
	scp Eiffel67_gpl*$platform.tar.bz2 manus@eiffel.com:builds/nightly/

	echo Compilation for $platform is now done
else
	echo Usage: make_form_platform host username platform [port]
fi