mirrors/phpv8
mirrors/phpv8
0
0
Fork 0
mirror of https://github.com/phpv8/v8js.git synced 2024-12-22 14:01:53 +00:00
Code Releases Activity

Reflect libv8 PPA changes

Browse Source
This commit is contained in:
Bogdan Padalko 2018-03-08 15:51:16 +02:00
parent 6fc0c216d8
commit 134ff71bf4
No known key found for this signature in database
GPG Key ID: 4B6D24E8637F46C6
2 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
Dockerfile.travis
View File

@ -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

3
Vagrantfile vendored
View File

@ -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