Kurorororo/downward-lab-experiment:latest

$ singularity pull shub://Kurorororo/downward-lab-experiment:latest

Singularity Recipe

Bootstrap: docker
From: ubuntu:18.04
Stage: build

%environment
    export DOWNWARD_REPO=/fast-downward
    export DOWNWARD_BENCHMARKS=/downward-benchmarks

%post
    apt update -y
    apt install -y \
      git \
      mercurial \
      g++ \
      make \
      cmake \
      python3 \
      python3-venv \
      flex \
      bison

    python3 -m venv /lab-venv
    . /lab-venv/bin/activate
    echo '. /lab-venv/bin/activate' >> $SINGULARITY_ENVIRONMENT

    hg clone https://bitbucket.org/aibasel/downward-benchmarks /downward-benchmarks

    hg clone http://hg.fast-downward.org /fast-downward
    cd /fast-downward && ./build.py

    hg clone https://bitbucket.org/jendrikseipp/lab /lab
    pip install /lab

    git clone https://github.com/KCL-Planning/VAL.git /VAL
    cd /VAL && make clean && sed -i 's/-Werror //g' Makefile && make
    cp /VAL/validate /usr/local/bin

Collection


View on Datalad

Metrics

key value
id /containers/Kurorororo-downward-lab-experiment-latest
collection name Kurorororo/downward-lab-experiment
branch master
tag latest
commit d434428e9cae223c9b427a16698486e21218058f
version (container hash) d1247ca95172f68d298485649a840fe3
build date 2019-08-19T20:26:13.965Z
size (MB) 1659
size (bytes) 473280543
SIF Download URL (please use pull with shub://)
Datalad URL View on Datalad
Singularity Recipe Singularity Recipe on Datalad
We cannot guarantee that all containers will still exist on GitHub.