diff --git a/docker/ci/Dockerfile-clang b/docker/ci/Dockerfile-clang index 1c73fc26..d71857b0 100644 --- a/docker/ci/Dockerfile-clang +++ b/docker/ci/Dockerfile-clang @@ -6,7 +6,7 @@ RUN apt-get update -qq && apt-get install -yqq \ ENV USE_RTTI=1 RUN git clone https://github.com/facebook/rocksdb.git && \ cd rocksdb && \ - make static_lib && \ + PORTABLE=1 make static_lib && \ make install ENV CXX=/usr/bin/clang++ diff --git a/docker/ci/Dockerfile-gcc b/docker/ci/Dockerfile-gcc index 294d3114..32fc763d 100644 --- a/docker/ci/Dockerfile-gcc +++ b/docker/ci/Dockerfile-gcc @@ -5,7 +5,7 @@ RUN apt-get install -yqq git ENV USE_RTTI=1 RUN git clone https://github.com/facebook/rocksdb.git && \ cd rocksdb && \ - make static_lib && \ + PORTABLE=1 make static_lib && \ make install ENV BOOST_ROOT=/usr/local