Dockerfile

FROM ubuntu:18.04

LABEL maintainer="Hector Palacios (hectorpal@gmail.com)"

# Install required packages
RUN apt-get update \
    && DEBIAN_FRONTEND=noninteractive apt-get install --no-install-recommends -y \
        bash-completion \
        ca-certificates \
        git \
        libseccomp-dev \
        python3 \
        python3-pip \
        python3-venv \
        squashfs-tools \
        tzdata \
        unzip \
        vim \
        wget \
    && rm -rf /var/lib/apt/lists/*

RUN pip3 install --upgrade pip \
    && pip3 install setuptools

RUN dpkg --add-architecture i386
RUN apt-get update \
    && DEBIAN_FRONTEND=noninteractive apt-get install --no-install-recommends -y \
        build-essential \
        file \
        time \
        libc6-i386 \
        gcc-multilib \
        g++-multilib \
        libstdc++5:i386 \
        flex \
        bison \
        python \
        zlib1g-dev \
        cmake

#  && rm -rf /var/lib/apt/lists/*
# Not sure I need libc6-i386
# g*-multilib is an overkill but will be useful for compiling

RUN update-alternatives --install /usr/bin/python python /usr/bin/python3.6 1 && \
  /usr/bin/python3 -m pip install --upgrade pip && \
  pip3 install numpy z3-solver

# Install OpenJDK-11
RUN apt-get update && \
    apt-get install -y openjdk-11-jre-headless && \
    apt-get clean;

WORKDIR /mnt/pddl-generators

COPY . .

RUN ./build_all save-logs

# default command to execute when container starts
CMD /bin/bash