#!/usr/local/bin/bash

set_prefix() {
    local this=`readlink -n -f "$1"`
    prefix=`dirname "${this}"`
}

set_prefix "$0"
image=${prefix}/image

cat << EOF > run_script
cd /tmp
. /usr/local/aster/14.6/share/aster/profile.sh
/usr/local/aster/14.6/bin/aster ${@}
EOF
chmod 755 run_script

echo "Commands executed inside the container by 'run_script':"
echo ". /usr/local/aster/14.6/share/aster/profile.sh"
echo "/usr/local/aster/14.6/bin/aster ${@}"
echo

set -x
singularity exec \
     --bind $(pwd):/tmp ${image} \
    /tmp/run_script
