mirrors/phpv8
mirrors/phpv8
0
0
Fork 0
mirror of https://github.com/phpv8/v8js.git synced 2024-11-09 23:08:41 +00:00
Code Releases Activity

define box based on ppa:stesie/libv8

Browse Source
This commit is contained in:
Stefan Siegl 2018-11-06 13:17:49 +01:00
parent e3e3cd53d6
commit d2a873f99d
No known key found for this signature in database
GPG Key ID: 73942AF5642F3DDA
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
Vagrantfile vendored
View File

@ -19,7 +19,7 @@ Vagrant.configure("2") do |config|
# #
# mass-define "generic" Ubuntu boxes # mass-define "generic" Ubuntu boxes
# #
%w{6.3 6.4 6.5}.each { |version| %w{7.1}.each { |version|
config.vm.define "v8-#{version}" do |i| config.vm.define "v8-#{version}" do |i|
i.vm.synced_folder ".", "/data/v8js" i.vm.synced_folder ".", "/data/v8js"
@ -31,7 +31,7 @@ Vagrant.configure("2") do |config|
apt-get install -y software-properties-common gdb tmux git tig curl apache2-utils lcov 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:ondrej/php
add-apt-repository ppa:pinepain/libv8-#{version} add-apt-repository ppa:stesie/libv8
apt-get update apt-get update
apt-get install -y php7.1-dev libv8-#{version}-dbg libv8-#{version}-dev apt-get install -y php7.1-dev libv8-#{version}-dbg libv8-#{version}-dev
SHELL SHELL