author | Pierre-Yves David <pierre-yves.david@ens-lyon.org> |
Mon, 10 Apr 2017 16:54:43 +0200 | |
changeset 31971 | 73e9328e5307 |
parent 26140 | a31ffc445f02 |
child 43509 | 7fd16ddabaa0 |
permissions | -rw-r--r-- |
21874
8da01b6e7b49
contrib/vagrant: use Vagrant for running tests on virtual machine
anatoly techtonik <techtonik@gmail.com>
parents:
diff
changeset
|
1 |
# -*- mode: ruby -*- |
8da01b6e7b49
contrib/vagrant: use Vagrant for running tests on virtual machine
anatoly techtonik <techtonik@gmail.com>
parents:
diff
changeset
|
2 |
|
8da01b6e7b49
contrib/vagrant: use Vagrant for running tests on virtual machine
anatoly techtonik <techtonik@gmail.com>
parents:
diff
changeset
|
3 |
Vagrant.configure('2') do |config| |
26140
a31ffc445f02
vagrant: update to official Debian 8.1 base box
Kevin Bullock <kbullock@ringworld.org>
parents:
21874
diff
changeset
|
4 |
# Debian 8.1 x86_64 without configuration management software |
a31ffc445f02
vagrant: update to official Debian 8.1 base box
Kevin Bullock <kbullock@ringworld.org>
parents:
21874
diff
changeset
|
5 |
config.vm.box = "debian/jessie64" |
21874
8da01b6e7b49
contrib/vagrant: use Vagrant for running tests on virtual machine
anatoly techtonik <techtonik@gmail.com>
parents:
diff
changeset
|
6 |
config.vm.hostname = "tests" |
8da01b6e7b49
contrib/vagrant: use Vagrant for running tests on virtual machine
anatoly techtonik <techtonik@gmail.com>
parents:
diff
changeset
|
7 |
|
8da01b6e7b49
contrib/vagrant: use Vagrant for running tests on virtual machine
anatoly techtonik <techtonik@gmail.com>
parents:
diff
changeset
|
8 |
config.vm.define "tests" do |conf| |
8da01b6e7b49
contrib/vagrant: use Vagrant for running tests on virtual machine
anatoly techtonik <techtonik@gmail.com>
parents:
diff
changeset
|
9 |
conf.vm.provision :file, source: "run-tests.sh", destination:"run-tests.sh" |
8da01b6e7b49
contrib/vagrant: use Vagrant for running tests on virtual machine
anatoly techtonik <techtonik@gmail.com>
parents:
diff
changeset
|
10 |
conf.vm.provision :shell, path: "provision.sh" |
8da01b6e7b49
contrib/vagrant: use Vagrant for running tests on virtual machine
anatoly techtonik <techtonik@gmail.com>
parents:
diff
changeset
|
11 |
conf.vm.synced_folder "../..", "/hgshared" |
8da01b6e7b49
contrib/vagrant: use Vagrant for running tests on virtual machine
anatoly techtonik <techtonik@gmail.com>
parents:
diff
changeset
|
12 |
end |
8da01b6e7b49
contrib/vagrant: use Vagrant for running tests on virtual machine
anatoly techtonik <techtonik@gmail.com>
parents:
diff
changeset
|
13 |
end |