diff --git a/Dockerfile.travis b/Dockerfile.travis index 7fbc4a3..96a282b 100644 --- a/Dockerfile.travis +++ b/Dockerfile.travis @@ -9,7 +9,8 @@ RUN apt-get update -q RUN apt-get install -y software-properties-common RUN add-apt-repository ppa:ondrej/php -RUN add-apt-repository ppa:pinepain/libv8-$V8VER -y +RUN add-apt-repository ppa:pinepain/libv8 -y +RUN add-apt-repository ppa:pinepain/libv8-archived -y RUN apt-get update -q RUN apt-get install -y php$PHPVER-dev libv8-$V8VER-dev diff --git a/Vagrantfile b/Vagrantfile index d998dad..230c9b4 100644 --- a/Vagrantfile +++ b/Vagrantfile @@ -31,7 +31,8 @@ Vagrant.configure("2") do |config| apt-get install -y software-properties-common gdb tmux git tig curl apache2-utils lcov add-apt-repository ppa:ondrej/php - add-apt-repository ppa:pinepain/libv8-#{version} + add-apt-repository ppa:pinepain/libv8 + add-apt-repository ppa:pinepain/libv8-archived apt-get update apt-get install -y php7.1-dev libv8-#{version}-dbg libv8-#{version}-dev SHELL