minor update

Author: amirarjmand93

.gitpod.Dockerfile

@@ -30,6 +30,7 @@ RUN apt-get update \
   python-lxml \
   qt5-default \
   wget \
+  default-jre \
   && apt-get clean \
   && rm -rf /var/lib/apt/lists/*
 

Dockerfile

@@ -15,6 +15,7 @@ RUN apt-get update -qq \
     && apt-get -y install --no-install-recommends \
     wget \
     ninja-build \
+    default-jre \
     libeigen3-dev \
     libtbb-dev \
     python3-pip \

install_apt_packages.sh

@@ -34,6 +34,7 @@ sudo apt-get install -y \
     libboost-system-dev \
     libboost-python-dev \
     libboost-filesystem-dev \
+    default-jre \
     zlib1g-dev
 
 # Required to build the documentation

libs/EXTERNAL/CMakeLists.txt

@@ -87,7 +87,7 @@ set(SURELOG_SOURCE_DIR ${CMAKE_CURRENT_SOURCE_DIR}/Surelog)
             INSTALL_DIR " "
 
             # Sync submodules after cloning
-            UPDATE_COMMAND git submodule sync && git submodule update --init --recursive third_party/surelog
+            UPDATE_COMMAND git submodule update --init --recursive third_party/surelog
             WORKING_DIRECTORY "${SYNLIG_SOURCE_DIR}"