build-image.sh

#! /bin/bash

set -euo pipefail

cd $(dirname "$0")

TMPDIR="/tmp/apptainer-rundir"
DOMAIN="${TMPDIR}/domain.pddl"
PROBLEM="${TMPDIR}/problem.pddl"
PLANFILE="${TMPDIR}/my_sas_plan"

RECIPE=$(realpath ${1})
IMAGE=$(realpath ${2})
BENCHMARKS_DIR=benchmarks


printf "\n\n**********************************************************************\n\n\n"
echo "Recipe: ${RECIPE}"
if [[ -e ${IMAGE} ]]; then
    echo "Image ${IMAGE} exists -> will test it now."
else
    echo "Image ${IMAGE} does not exist -> will create and test it now."
    pushd $(dirname ${RECIPE})
    apptainer build ${IMAGE} ${RECIPE}
    popd
fi

function test_image {
    domain=${1}
    problem=${2}
    rm -rf ${TMPDIR}
    mkdir ${TMPDIR}
    cp ${BENCHMARKS_DIR}/${domain} ${DOMAIN}
    cp ${BENCHMARKS_DIR}/${problem} ${PROBLEM}

    ${IMAGE} ${DOMAIN} ${PROBLEM} ${PLANFILE}
}

echo "Testing image at ${IMAGE} with STRIPS task:"
test_image miconic/domain.pddl miconic/s1-0.pddl
echo "Testing image at ${IMAGE} with conditional effects task:"
test_image miconic-fulladl/domain.pddl miconic-fulladl/f1-0.pddl