mirror of
https://github.com/phpv8/v8js.git
synced 2024-12-22 14:01:53 +00:00
(jenkins) enable pointer compression conditionally, refs #439
This commit is contained in:
parent
a3eab09e96
commit
6f2eeb2fc0
@ -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
|
||||
|
Loading…
Reference in New Issue
Block a user