From 7670ded38e8d1ea1ed85d92dc220a680dbf302a8 Mon Sep 17 00:00:00 2001 From: Stefan Siegl Date: Fri, 3 Apr 2020 15:20:18 +0200 Subject: [PATCH] (jenkins) link against libdl (needed w/ php 7.3) --- Dockerfile.jenkins | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Dockerfile.jenkins b/Dockerfile.jenkins index a98e384..cfca1a2 100644 --- a/Dockerfile.jenkins +++ b/Dockerfile.jenkins @@ -18,5 +18,5 @@ 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 sed -e "s/^EXTRA_LIBS.*/& -lv8_libplatform/" -i Makefile +RUN sed -e "s/^EXTRA_LIBS.*/& -lv8_libplatform -ldl/" -i Makefile RUN make -j5