-
Notifications
You must be signed in to change notification settings - Fork 38
/
Vagrantfile
254 lines (207 loc) · 9.98 KB
/
Vagrantfile
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
$frontend = <<-SHELL
#!/bin/bash -eux
# Enable the NodeSource repository
curl -sL https://deb.nodesource.com/setup_20.x | bash -
# Generate list of installed packages
dpkg -l | awk '$1 == "ii" { printf "%s\\n", $2 }' > /vagrant/vm_apt_installed.txt
apt list --installed > /vagrant/vm_apt_list.txt
# Install system deps
DEBIAN_FRONTEND=noninteractive apt-get update
DEBIAN_FRONTEND=noninteractive apt-get install -y \
crudini \
python3 \
python3-pip \
python3-venv \
nodejs \
graphviz \
plantuml \
poppler-utils \
libjpeg-dev \
make
# Install/check packages from list for reproducibility
DEBIAN_FRONTEND=noninteractive apt-get install \
--allow-downgrades -y $(cat /home/vagrant/vm_apt.txt)
# Force packages to be set as automatically installed
apt-mark auto $(cat /vagrant/vm_apt_list.txt | grep "\\[installed,automatic\\]" | awk -F/ -v ORS=" " 'NR>1 {print $1}')
# Get relevant information from configuration file
toolchain_config=/home/vagrant/toolchain.ini
path_ada_toolchain_root=$(crudini --get $toolchain_config toolchain_path root)
path_ada_toolchain_selected=$(crudini --get $toolchain_config toolchain_path selected)
path_ada_toolchain_default=$(crudini --get $toolchain_config toolchain_path default)
default_version_gnat=$(crudini --get $toolchain_config default_version gnat)
toolchain_versions_gnat=$(crudini --get $toolchain_config toolchains gnat)
echo path_ada_toolchain_root: $path_ada_toolchain_root
echo path_ada_toolchain_selected: $path_ada_toolchain_selected
echo path_ada_toolchain_default: $path_ada_toolchain_default
echo default_version_gnat: $default_version_gnat
echo toolchain_versions_gnat: $toolchain_versions_gnat
# Install FSF GNAT
# (Required tool: gnatchop)
mkdir -p ${path_ada_toolchain_root}
mkdir -p ${path_ada_toolchain_default}
mkdir -p ${path_ada_toolchain_selected}
gnat_version=(${toolchain_versions_gnat})
mkdir ${path_ada_toolchain_root}/gnat
for tool_version in ${gnat_version[@]}; do
echo Installing GNAT $tool_version
wget -O gnat.tar.gz https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-${tool_version}/gnat-x86_64-linux-${tool_version}.tar.gz && \
tar xzf gnat.tar.gz && \
mv gnat-* ${path_ada_toolchain_root}/gnat/${tool_version} && \
rm *.tar.gz
done
ln -sf ${path_ada_toolchain_root}/gnat/${default_version_gnat} ${path_ada_toolchain_default}/gnat
chown -R vagrant:vagrant ${path_ada_toolchain_root}
echo "export PATH=\\"${path_ada_toolchain_selected}/gnat/bin:${path_ada_toolchain_default}/gnat/bin:${PATH}\\"" >> /home/vagrant/.bashrc
source /home/vagrant/.bashrc
# Install learn deps
python3 -m venv /vagrant/venv
source /vagrant/venv/bin/activate
pip3 install -r /vagrant/frontend/requirements_frozen.txt
# File system: increase number of user watches
# Needed for npm
echo fs.inotify.max_user_watches=524288 | tee -a /etc/sysctl.conf && sysctl -p
cd /vagrant/frontend
echo 'export COREPACK_ENABLE_DOWNLOAD_PROMPT=0' >> /home/vagrant/.bashrc
yes | corepack enable
yes | yarn set version berry
yarn
SHELL
$epub = <<-SHELL
#!/bin/bash -eux
# Enable the NodeSource repository
curl -sL https://deb.nodesource.com/setup_20.x | bash -
# Generate list of installed packages
dpkg -l | awk '$1 == "ii" { printf "%s\\n", $2 }' > /vagrant/vm_apt_installed.txt
apt list --installed > /vagrant/vm_apt_list.txt
# Install system deps
DEBIAN_FRONTEND=noninteractive apt-get update
DEBIAN_FRONTEND=noninteractive apt-get install -y \
crudini \
python3 \
python3-pip \
python3-venv \
nodejs \
graphviz \
plantuml \
make \
texlive-latex-base \
texlive-latex-recommended \
texlive-latex-extra \
texlive-fonts-recommended \
texlive-fonts-extra \
latexmk \
texlive-xetex \
xindy \
fonts-lmodern \
fonts-open-sans \
fonts-dejavu \
poppler-utils \
libjpeg-dev \
build-essential \
ca-certificates \
git \
libdbus-1-3 \
libfontconfig \
libx11-xcb-dev \
wget \
libc6-dev
# Install/check packages from list for reproducibility
DEBIAN_FRONTEND=noninteractive apt-get install \
--allow-downgrades -y $(cat /home/vagrant/vm_apt.txt)
# Force packages to be set as automatically installed
apt-mark auto $(cat /vagrant/vm_apt_list.txt | grep "\\[installed,automatic\\]" | awk -F/ -v ORS=" " 'NR>1 {print $1}')
# Get relevant information from configuration file
toolchain_config=/home/vagrant/toolchain.ini
path_ada_toolchain_root=$(crudini --get $toolchain_config toolchain_path root)
path_ada_toolchain_selected=$(crudini --get $toolchain_config toolchain_path selected)
path_ada_toolchain_default=$(crudini --get $toolchain_config toolchain_path default)
default_version_gnat=$(crudini --get $toolchain_config default_version gnat)
default_version_gnatprove=$(crudini --get $toolchain_config default_version gnatprove)
default_version_gprbuild=$(crudini --get $toolchain_config default_version gprbuild)
toolchain_versions_gnat=$(crudini --get $toolchain_config toolchains gnat)
toolchain_versions_gnatprove=$(crudini --get $toolchain_config toolchains gnatprove)
toolchain_versions_gprbuild=$(crudini --get $toolchain_config toolchains gprbuild)
echo path_ada_toolchain_root: $path_ada_toolchain_root
echo path_ada_toolchain_selected: $path_ada_toolchain_selected
echo path_ada_toolchain_default: $path_ada_toolchain_default
echo default_version_gnat: $default_version_gnat
echo default_version_gnatprove: $default_version_gnatprove
echo default_version_gprbuild: $default_version_gprbuild
echo toolchain_versions_gnat: $toolchain_versions_gnat
echo toolchain_versions_gnatprove $toolchain_versions_gnatprove
echo toolchain_versions_gprbuild $toolchain_versions_gprbuild
# Install FSF GNAT
mkdir -p ${path_ada_toolchain_root}
mkdir -p ${path_ada_toolchain_default}
mkdir -p ${path_ada_toolchain_selected}
gnat_version=(${toolchain_versions_gnat})
mkdir ${path_ada_toolchain_root}/gnat
for tool_version in ${gnat_version[@]}; do
echo Installing GNAT $tool_version
wget -O gnat.tar.gz https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-${tool_version}/gnat-x86_64-linux-${tool_version}.tar.gz && \
tar xzf gnat.tar.gz && \
mv gnat-* ${path_ada_toolchain_root}/gnat/${tool_version} && \
rm *.tar.gz
done
gnat_prove_version=(${toolchain_versions_gnatprove})
mkdir ${path_ada_toolchain_root}/gnatprove
for tool_version in ${gnat_prove_version[@]}; do
echo Installing GNATprove $tool_version
wget -O gnatprove.tar.gz https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-${tool_version}/gnatprove-x86_64-linux-${tool_version}.tar.gz && \
tar xzf gnatprove.tar.gz && \
mv gnatprove-* ${path_ada_toolchain_root}/gnatprove/${tool_version} && \
rm *.tar.gz
done
gprbuild_version=(${toolchain_versions_gprbuild})
mkdir ${path_ada_toolchain_root}/gprbuild
for tool_version in ${gprbuild_version[@]}; do
echo Installing GPRbuild $tool_version
wget -O gprbuild.tar.gz https://github.com/alire-project/GNAT-FSF-builds/releases/download/gprbuild-${tool_version}/gprbuild-x86_64-linux-${tool_version}.tar.gz && \
tar xzf gprbuild.tar.gz && \
mv gprbuild-* ${path_ada_toolchain_root}/gprbuild/${tool_version} && \
rm *.tar.gz
done
ln -sf ${path_ada_toolchain_root}/gnat/${default_version_gnat} ${path_ada_toolchain_default}/gnat
ln -sf ${path_ada_toolchain_root}/gnatprove/${default_version_gnatprove} ${path_ada_toolchain_default}/gnatprove
ln -sf ${path_ada_toolchain_root}/gprbuild/${default_version_gprbuild} ${path_ada_toolchain_default}/gprbuild
chown -R vagrant:vagrant ${path_ada_toolchain_root}
echo "export PATH=\\"${path_ada_toolchain_selected}/gnat/bin:${path_ada_toolchain_selected}/gprbuild/bin:${path_ada_toolchain_selected}/gnatprove/bin:${path_ada_toolchain_default}/gnat/bin:${path_ada_toolchain_default}/gprbuild/bin:${path_ada_toolchain_default}/gnatprove/bin:${PATH}\\"" >> /home/vagrant/.bashrc
source /home/vagrant/.bashrc
# Install learn deps
python3 -m venv /vagrant/venv
source /vagrant/venv/bin/activate
pip3 install -r /vagrant/frontend/requirements_frozen.txt
# File system: increase number of user watches
# Needed for npm
echo fs.inotify.max_user_watches=524288 | tee -a /etc/sysctl.conf && sysctl -p
cd /vagrant/frontend
echo 'export COREPACK_ENABLE_DOWNLOAD_PROMPT=0' >> /home/vagrant/.bashrc
yes | corepack enable
yes | yarn set version berry
yarn
SHELL
Vagrant.configure("2") do |config|
config.vm.provider "virtualbox" do |vb|
vb.customize ["setextradata", :id, "VBoxInternal2/SharedFoldersEnableSymlinksCreate/v-root", "1"]
end
config.vm.synced_folder '.', '/vagrant', disabled: true
config.vm.define "web" do |web|
web.vm.box = "bento/ubuntu-23.10"
web.vm.box_version = "202402.01.0"
web.vm.network "forwarded_port", guest: 8080, host: 8080, host_ip: "127.0.0.1"
web.vm.synced_folder './frontend', '/vagrant/frontend'
web.vm.synced_folder './content', '/vagrant/content'
web.vm.provision "file", source: "./frontend/py_modules/code_projects/toolchain.ini", destination: "/home/vagrant/toolchain.ini"
web.vm.provision "file", source: "./frontend/vm_apt_web.txt", destination: "/home/vagrant/vm_apt.txt"
web.vm.provision :shell, inline: $frontend
end
config.vm.define "epub" do |epub|
epub.vm.box = "bento/ubuntu-23.10"
epub.vm.box_version = "202402.01.0"
epub.vm.synced_folder './frontend', '/vagrant/frontend'
epub.vm.synced_folder './content', '/vagrant/content'
epub.vm.provision "file", source: "./frontend/py_modules/code_projects/toolchain.ini", destination: "/home/vagrant/toolchain.ini"
epub.vm.provision "file", source: "./frontend/vm_apt_epub.txt", destination: "/home/vagrant/vm_apt.txt"
epub.vm.provision :shell, inline: $epub
end
end