From e40b220cce98e48c4d3b0ccee1522332aa47d652 Mon Sep 17 00:00:00 2001 From: Jan Tusil Date: Sun, 21 Apr 2024 19:28:38 +0200 Subject: [PATCH] dist/ but the packages are not there yet --- dist/vagrant/ubuntu2310/Vagrantfile | 8 ++++---- doc/dependencies.md | 3 ++- 2 files changed, 6 insertions(+), 5 deletions(-) diff --git a/dist/vagrant/ubuntu2310/Vagrantfile b/dist/vagrant/ubuntu2310/Vagrantfile index 90bf1177..0de54136 100644 --- 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 index 4aa4be02..ce3da028 100644 --- 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`.