Apptainer

# Stage 1: Compile the planner
Bootstrap: docker
From: ubuntu:24.04
Stage: build

%files
    . /planner

%post
    ## Install all necessary dependencies.
    apt-get update
    DEBIAN_FRONTEND=noninteractive apt-get -y install --no-install-recommends cmake g++ make python3.12 autoconf automake 

    ## Clear build directory.
    rm -rf /planner/builds

    ## Build planner.
    cd /planner
    python3.12 build.py

    ## Strip binaries.
    strip --strip-all /planner/builds/release/bin/downward /planner/builds/release/bin/preprocess

# Stage 2: Run the planner
Bootstrap: docker
From: ubuntu:24.04
Stage: run

%files from build
    /planner/driver
    /planner/fast-downward.py
    /planner/builds/release/bin

%post
    apt-get update
    apt-get -y install --no-install-recommends python3.12
    rm -rf /var/lib/apt/lists/*

%runscript
    #!/bin/bash

    python3.12 /planner/fast-downward.py "$@"

%labels
    Name        SymK
    Description Symk is a state-of-the-art classical optimal and top-k planner based on symbolic search.
    Authors     David Speck <david.speck@liu.se>