dist/ but the packages are not there yet

h0nzZik · Apr 21, 2024 · e40b220 · e40b220
1 parent c3a1754
commit e40b220
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 5 deletions.
diff --git a/dist/vagrant/ubuntu2310/Vagrantfile b/dist/vagrant/ubuntu2310/Vagrantfile
@@ -71,8 +71,8 @@ Vagrant.configure("2") do |config|
   # Enable provisioning with a shell script. Additional provisioners such as
   # Ansible, Chef, Docker, Puppet and Salt are also available. Please see the
   # documentation for more information about their specific syntax and use.
-  # config.vm.provision "shell", inline: <<-SHELL
-  #   apt-get update
-  #   apt-get install -y apache2
-  # SHELL
+  config.vm.provision "shell", inline: <<-SHELL
+    apt-get update
+    apt-get install -y ocaml-dune ocaml-odoc coq
+  SHELL
 end
diff --git a/doc/dependencies.md b/doc/dependencies.md
@@ -17,5 +17,6 @@ However, to support building Minuska without Nix, we list the required dependenc
 - zarith
 
 
-[Here](../dist/vagrant) we provide (TODO!) a Vagrant configuration for a Ubuntu machine with all the dependencies installed.
+[Here](../dist/vagrant) we WILL provide (TODO!) a Vagrant configuration for a [Ubuntu machine](../dist/vagrant/ubuntu2310)
+and [Fedora machine](../dist/vagrant/fedora38) with all the dependencies installed, once all the packages become available.
 Inside the machines, the [`minuska` directory](../minuska) is mounted as `/minuska-src`.