blob: ff65b096783d00e107bcdea2e74aeb9d9c0ab35d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
#-----------------------------------------------------------------------
$bootstrap = <<BOOTSTRAP
export DEBIAN_FRONTEND=noninteractive
apt-get update && apt-get upgrade
# install base development tools
apt-get -y install build-essential
apt-get -y install cmake valgrind gcc-arm-none-eabi
BOOTSTRAP
#-----------------------------------------------------------------------
# Configuration
Vagrant.configure("2") do |config|
config.vm.box = "debian/bullseye64"
config.vm.box_version = "11.20230615.1"
# (default timeout is 300 s)
config.vm.boot_timeout = 600
# set up the VM
config.vm.provision "shell", inline: $bootstrap
end
|
