File tree Expand file tree Collapse file tree 6 files changed +15
-5
lines changed Expand file tree Collapse file tree 6 files changed +15
-5
lines changed Original file line number Diff line number Diff line change @@ -529,8 +529,8 @@ workflows:
529529 - xenial
530530 - bionic
531531 lite :
532- - " LITE =0"
533- - " LITE =1"
532+ - " REDISAI_LITE =0"
533+ - " REDISAI_LITE =1"
534534 target :
535535 - " CPU=1"
536536 - " GPU=1"
Original file line number Diff line number Diff line change @@ -12,6 +12,7 @@ ARG OS=debian:buster-slim
1212ARG ARCH=x64
1313
1414ARG PACK=0
15+ ARG REDISAI_LITE=0
1516ARG TEST=0
1617
1718# ----------------------------------------------------------------------------------------------
@@ -43,11 +44,12 @@ ADD ./ /build
4344RUN bash -l -c "make -C opt build $BUILD_ARGS SHOW=1"
4445
4546ARG PACK
47+ ARG REDISAI_LITE
4648ARG TEST
4749
4850RUN mkdir -p bin/artifacts
4951RUN set -e ;\
50- if [ "$PACK" = "1" ]; then bash -l -c "make -C opt pack" ; fi
52+ if [ "$PACK" = "1" ]; then bash -l -c "make -C opt pack REDISAI_LITE=$REDISAI_LITE " ; fi
5153
5254RUN set -e ;\
5355 if [ "$TEST" = "1" ]; then \
Original file line number Diff line number Diff line change @@ -12,6 +12,7 @@ ARG OS=debian:buster-slim
1212ARG ARCH=arm64v8
1313
1414ARG PACK=0
15+ ARG REDISAI_LITE=0
1516ARG TEST=0
1617
1718#----------------------------------------------------------------------------------------------
@@ -66,7 +67,7 @@ ARG REDIS_VER
6667ARG PACK
6768
6869RUN if [ ! -z $(command -v apt-get) ]; then apt-get -qq update; apt-get -q install -y libgomp1; fi
69- RUN if [ ! -z $(command -v yum) ]; then yum install -y libgomp; fi
70+ RUN if [ ! -z $(command -v yum) ]; then yum install -y libgomp; fi
7071
7172ENV REDIS_MODULES /usr/lib/redis/modules
7273ENV LD_LIBRARY_PATH $REDIS_MODULES
Original file line number Diff line number Diff line change @@ -14,6 +14,7 @@ ARG ARCH=x64
1414ARG CUDA_VER=11.0-cudnn8
1515
1616ARG PACK=0
17+ ARG REDISAI_LITE=0
1718ARG TEST=0
1819
1920#----------------------------------------------------------------------------------------------
@@ -51,11 +52,12 @@ ADD ./ /build
5152RUN bash -l -c "make -C opt build GPU=1 $BUILD_ARGS SHOW=1"
5253
5354ARG PACK
55+ ARG REDISAI_LITE
5456ARG TEST
5557
5658RUN mkdir -p bin/artifacts
5759RUN set -e ;\
58- if [ "$PACK" = "1" ]; then bash -l -c "make -C opt pack GPU=1"; fi
60+ if [ "$PACK" = "1" ]; then bash -l -c "make -C opt pack GPU=1 REDISAI_LITE=$REDISAI_LITE "; fi
5961
6062RUN set -e ;\
6163 if [ "$TEST" = "1" ]; then \
Original file line number Diff line number Diff line change @@ -16,6 +16,7 @@ ARG CUDA_VER=10.2-cudnn7
1616ARG L4T_VER=r32.4.4
1717
1818ARG PACK=0
19+ ARG REDISAI_LITE=0
1920ARG TEST=0
2021
2122#----------------------------------------------------------------------------------------------
@@ -57,6 +58,7 @@ RUN bash -c "set -e ;\
5758 make -C opt build $BUILD_ARGS SHOW=1"
5859
5960ARG PACK
61+ ARG REDISAI_LITE
6062ARG TEST
6163
6264RUN mkdir -p bin/artifacts
Original file line number Diff line number Diff line change @@ -16,6 +16,9 @@ REDIS_VER:=6.0.9
1616export ART_DIR =$(ROOT ) /bin/artifacts
1717export ART_INT_DIR =/var/opt/redislabs/artifacts
1818
19+ DOCKER_BUILD_ARGS =\
20+ REDISAI_LITE=$(REDISAI_LITE )
21+
1922# ----------------------------------------------------------------------------------------------
2023
2124ifeq ($(CPU ) ,1)
You can’t perform that action at this time.
0 commit comments