Use of environnement variable

CI/Dockerfile

@@ -60,7 +60,6 @@ RUN apt-get update -y \
         libpng-dev \
         libqt5opengl5-dev \
         libqwt-qt5-dev \
-        libshark-dev \
         libsvm-dev \
         libtinyxml-dev \
         qtbase5-dev \
@@ -74,3 +73,4 @@ RUN apt-get update -y \
  && rm -rf /var/lib/apt/lists/*
 
 ENV PATH /usr/lib/ccache:$PATH
+ENV OTB_USE_SHARK OFF

CI/Dockerfile.shark1.3.4

@@ -121,3 +121,4 @@ COPY --from=shark-provider /usr/local/bin/SharkVersion /usr/bin/
 COPY --from=shark-provider /usr/local/lib/cmake/ /usr/lib/cmake/
 
 ENV PATH /usr/lib/ccache:$PATH
+ENV OTB_USE_SHARK ON

CI/configure_option.cmake

@@ -27,7 +27,7 @@ OTB_USE_OPENGL:BOOL=ON
 OTB_USE_OPENMP:BOOL=ON
 OTB_USE_QT:BOOL=ON
 OTB_USE_QWT:BOOL=ON
-OTB_USE_SHARK:BOOL=ON
+OTB_USE_SHARK:BOOL=$ENV{OTB_USESHARK}
 OTB_USE_SIFTFAST:BOOL=ON
 OTB_USE_SPTW:BOOL=ON
 OTB_USE_SSE_FLAGS:BOOL=ON")