#!/bin/sh

# our script requires sh aliased to bash.

if [ $# -ge 3 ]; then
	remote_host=$1
	user=$2
	platform=$3
	if [ $# -ge 4 ]; then
		port=$4
	else
		port=22
	fi
	scp -P $port PorterPackage_all.tar $user@$remote_host:
		# 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 ; tar xvf ~/PorterPackage_all.tar"
		# Do the compilation
	ssh -p $port -l $user $remote_host "cd local/TEST_DELIV/PorterPackage; bash ./compile_exes $platform"
		# Build the delivery
	ssh -p $port -l $user $remote_host "cd local/TEST_DELIV/PorterPackage; bash ./make_images $platform"

	scp -P $port "$user@$remote_host:local/TEST_DELIV/PorterPackage/Eiffel60_enterprise*bz2" .
	scp -P $port "$user@$remote_host:local/TEST_DELIV/PorterPackage/Eiffel60_gpl*bz2" .

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