From 6f2eeb2fc0e4fb0697dadb4823c93c8945dbd238 Mon Sep 17 00:00:00 2001 From: Stefan Siegl Date: Fri, 21 Aug 2020 09:26:40 +0200 Subject: [PATCH] (jenkins) enable pointer compression conditionally, refs #439 --- Dockerfile.jenkins | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Dockerfile.jenkins b/Dockerfile.jenkins index cfca1a2..1cf9fae 100644 --- a/Dockerfile.jenkins +++ b/Dockerfile.jenkins @@ -17,6 +17,6 @@ ADD . /php-${PHPVER}/ext/v8js WORKDIR /php-${PHPVER} RUN ./buildconf --force -RUN ./configure --disable-all --with-readline --enable-cli --enable-json --enable-maintainer-zts --with-v8js=/opt/libv8-$V8VER/ CFLAGS="-fsanitize=address -g -O0" CXXFLAGS="-fsanitize=address -g -O0" +RUN ./configure --disable-all --with-readline --enable-cli --enable-json --enable-maintainer-zts --with-v8js=/opt/libv8-$V8VER/ CFLAGS="-fsanitize=address -g -O0" CXXFLAGS="-fsanitize=address -g -O0" CPPFLAGS="$([ $( echo "$V8VER" | cut -c 1-1 ) -ge 8 ] && echo "-DV8_COMPRESS_POINTERS" || echo "")" RUN sed -e "s/^EXTRA_LIBS.*/& -lv8_libplatform -ldl/" -i Makefile RUN make -j5