From 636bae672758dd1350253d8c085f2e1605c19831 Mon Sep 17 00:00:00 2001 From: Shane Loretz Date: Wed, 13 Sep 2017 10:41:47 -0700 Subject: [PATCH] Install opensplice on aarch64 (#100) --- linux_docker_resources/Dockerfile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/linux_docker_resources/Dockerfile b/linux_docker_resources/Dockerfile index a21fbdf6b..ad0cb5943 100644 --- a/linux_docker_resources/Dockerfile +++ b/linux_docker_resources/Dockerfile @@ -42,9 +42,9 @@ RUN pip3 install -U setuptools pip virtualenv RUN apt-get update && apt-get install --no-install-recommends -y gcovr # Install the OpenSplice binary from the OSRF repositories. -RUN if test ${PLATFORM} = x86; then apt-get update && apt-get install --no-install-recommends -y libopensplice67=6.7.0+osrf2-2~xenial; fi +RUN if test \( ${PLATFORM} = arm -o ${PLATFORM} = x86 \) ; then apt-get update && apt-get install --no-install-recommends -y libopensplice67=6.7.0+osrf2-2~xenial; fi # Update default domain id. -RUN if test ${PLATFORM} = x86; then sed -i "s/0<\/Id>/108<\/Id>/" /usr/etc/opensplice/config/ospl.xml; fi +RUN if test \( ${PLATFORM} = arm -o ${PLATFORM} = x86 \) ; then sed -i "s/0<\/Id>/108<\/Id>/" /usr/etc/opensplice/config/ospl.xml; fi # Install the RTI dependencies. RUN if test ${PLATFORM} = x86; then apt-get update && apt-get install --no-install-recommends -y default-jre-headless; fi