4 ENV DEBIAN_FRONTEND=noninteractive
5 RUN apt-get update && apt-get install -y \
18 ARG ACE_CONFIG_OPTION="--doc-group"
19 RUN cd /opt/OpenDDS && \
20 ./configure --prefix=/usr/local --security ${ACE_CONFIG_OPTION} && \
21 ./tools/scripts/show_build_config.pl && \
25 . /opt/OpenDDS/setenv.sh && \
26 cp -a ${MPC_ROOT} /usr/local/share/MPC
28 ENV ACE_ROOT=/usr/local/share/ace \
29 TAO_ROOT=/usr/local/share/tao \
30 DDS_ROOT=/usr/local/share/dds \
31 MPC_ROOT=/usr/local/share/MPC
33 WORKDIR /opt/workspace