annotate contrib/vagrant/Vagrantfile @ 51919:ceaf92d6d380

tests: always access the mercurial repo through `helpers-testrepo.sh` In some contexts the mercurial repo needs to be accessed through system hg. That's what `helpers-testrepo.sh` enforces, but some tests incorrectly use the mercurial repo without going through that script. This patch fixes those tests.
author Arseniy Alekseyev <aalekseyev@janestreet.com>
date Wed, 02 Oct 2024 14:51:56 +0100
parents 7fd16ddabaa0
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
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|
43509
7fd16ddabaa0 vagrant: update vagrant image to buster from jessie
Augie Fackler <augie@google.com>
parents: 26140
diff changeset
4 # Debian 10.1 x86_64 without configuration management software
7fd16ddabaa0 vagrant: update vagrant image to buster from jessie
Augie Fackler <augie@google.com>
parents: 26140
diff changeset
5 config.vm.box = "debian/buster64"
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