Vagrantfile 1.8 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455
  1. # -*- mode: ruby -*-
  2. # vi: set ft=ruby ts=2 sts=2 sw=2 et :
  3. # All Vagrant configuration is done below. The "2" in Vagrant.configure
  4. # configures the configuration version (we support older styles for
  5. # backwards compatibility). Please don't change it unless you know what
  6. # you're doing.
  7. Vagrant.configure("2") do |config|
  8. # Every Vagrant development environment requires a box. You can search for
  9. # boxes at https://atlas.hashicorp.com/search.
  10. config.vm.box = "ubuntu/trusty64"
  11. # Share an additional folder to the guest VM. The first argument is
  12. # the path on the host to the actual folder. The second argument is
  13. # the path on the guest to mount the folder. And the optional third
  14. # argument is a set of non-required options.
  15. config.vm.synced_folder ".", "/data/v8js"
  16. config.vm.provider "lxc" do |lxc, override|
  17. override.vm.box = "fgrehm/trusty64-lxc"
  18. end
  19. config.vm.provision "shell", inline: <<-SHELL
  20. gpg --keyserver keys.gnupg.net --recv 7F438280EF8D349F
  21. gpg --armor --export 7F438280EF8D349F | apt-key add -
  22. apt-get update
  23. apt-get install -y software-properties-common gdb tmux git tig curl apache2-utils
  24. add-apt-repository ppa:ondrej/php
  25. SHELL
  26. config.vm.define "v8-5.8" do |i|
  27. i.vm.provision "shell", inline: <<-SHELL
  28. add-apt-repository ppa:pinepain/libv8-5.8
  29. apt-get update
  30. apt-get install -y php7.0-dev libv8-5.8-dbg libv8-5.8-dev
  31. SHELL
  32. end
  33. config.vm.define "v8-5.7" do |i|
  34. i.vm.provision "shell", inline: <<-SHELL
  35. add-apt-repository ppa:pinepain/libv8-5.7
  36. apt-get update
  37. apt-get install -y php7.0-dev libv8-5.7-dbg libv8-5.7-dev
  38. SHELL
  39. end
  40. config.vm.define "v8-5.2" do |i|
  41. i.vm.provision "shell", inline: <<-SHELL
  42. add-apt-repository ppa:pinepain/libv8-5.2
  43. apt-get update
  44. apt-get install -y php7.0-dev libv8-5.2-dbg libv8-5.2-dev
  45. SHELL
  46. end
  47. end