-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathDockerfile-conformant
57 lines (47 loc) · 1.47 KB
/
Dockerfile-conformant
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
FROM ubuntu:18.04
LABEL maintainer="Hector Palacios ([email protected])"
# 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
# && rm -rf /var/lib/apt/lists/*
# Not sure I need libc6-i386
# g*-multilib is an overkill but will be useful for compiling
WORKDIR /workspace/t0
COPY conformant /workspace/t0
ENV TRANSLATOR_HOME /workspace/t0/translator
# default command to execute when container starts
ENTRYPOINT ["/workspace/t0/translator/translator"]
# for running the container interactively
# docker build -t translation-based-planners/t0 .
# docker run -v $PWD/<YOUR-PDDLS>:/mnt/<YOUR-PDDLS> --entrypoint /bin/bash -ti translation-based-planners/t0
# Inside the container:
# export TRANSLATOR_HOME=/workspace/t0/translator