To deploy HsIRCb with jenkins. Clean/Configure/Install/Build with cabal-dev, and then start the program.

startHsIRCb.sh

#!/bin/bash -ex
cd $WORKSPACE
PID_FILENAME="$WORKSPACE/HsIRCb.pid"
LOG_FILENAME="$WORKSPACE/HsIRCb.log"
touch $PID_FILENAME # Make sure the pid file exists
PID=$(cat $PID_FILENAME)
if kill -0 $PID > /dev/null 2>&1; then
    # The program is running
    #kill $PID
    daemon --name=HsIRCb --stop
    /var/lib/jenkins/.cabal/bin/cabal-dev clean
    #/var/lib/jenkins/.cabal/bin/cabal-dev configure
    /var/lib/jenkins/.cabal/bin/cabal-dev install
    /var/lib/jenkins/.cabal/bin/cabal-dev build
    strip dist/build/HsIRCb/HsIRCb
    #/usr/local/bin/daemonize -p $WORKSPACE/$PID_FILENAME $WORKSPACE/dist/build/HsIRCb/HsIRCb
    daemon --name=HsIRCb --chdir=$WORKSPACE --command=$WORKSPACE/dist/build/HsIRCb/HsIRCb --pidfile=$PID_FILENAME
else
    # The program ain't running
    /var/lib/jenkins/.cabal/bin/cabal-dev clean
    #/var/lib/jenkins/.cabal/bin/cabal-dev configure
    /var/lib/jenkins/.cabal/bin/cabal-dev install
    /var/lib/jenkins/.cabal/bin/cabal-dev build
    strip dist/build/HsIRCb/HsIRCb
    #/usr/local/bin/daemonize -p $WORKSPACE/$PID_FILENAME $WORKSPACE/dist/build/HsIRCb/HsIRCb
    daemon --name=HsIRCb --chdir=$WORKSPACE --command=$WORKSPACE/dist/build/HsIRCb/HsIRCb --pidfile=$PID_FILENAME
fi