01-push-to-staging.sh

#!/bin/bash
FAST_MACHINE=stanley

env | grep SSH_AGENT_PID
SSH_AGENT_CHECK_STATUS=$?
if [ $SSH_AGENT_CHECK_STATUS -ne 0 ]; then
  eval `ssh-agent`
  ssh-add
fi

darcs push --no-set ${FAST_MACHINE}:darcs.net

# note the -A flag for ssh-agent forwarding (your fast machine will be
# sshing into darcs.net)
ssh -A ${FAST_MACHINE} bin/02-darcs-staging.sh

if [ $SSH_AGENT_CHECK_STATUS -ne 0 ]; then
  ssh-agent -k
fi

02-darcs-staging.sh

#!/bin/bash
export http_proxy=proxy.brighton.ac.uk:80
cd ${HOME}/darcs.net
echo ======================================================================
echo building
echo ======================================================================
cabal configure -ftest
cabal build
echo ======================================================================
echo unit tests
echo ======================================================================
dist/build/unit/unit
echo ======================================================================
echo darcs check
echo ======================================================================
(\
darcs check --test &&\
 darcs push -a [email protected]:darcs &&\
 cabal haddock --internal --hoogle &&\
 rsync -av dist/doc/html/* [email protected]:darcs/api-doc\
) || (echo "THERE WAS A PROBLEM!" ; exit 1)
echo ======================================================================
echo done pushing to darcs.net!
echo ======================================================================

03-staging-_darcs-prefs-defaults

check test
apply posthook perl contrib/update_roundup.pl ; echo "ran update_roundup"
apply run-posthook

04-darcs-test-pref

runghc Setup configure --user -ftype-witnesses && runghc Setup build && runghc Setup test tests network