C2Rust Vagrant environment

  • Ubuntu 18.04 (GNU/Linux 4.15.0-12-generic x86_64)
  • CMake 3.10.2
  • Ninja 1.8.2

Installing Prerequisites

Download a copy of vagrant from https://www.vagrantup.com/downloads.html. Vagrant supports a range of virtualization engines. We recommend you use either VirtualBox or on the VMWare editions, e.g., VMWare Workstation Player.

On Windows, you may need to run with administrative privileges.

Running with Virtualbox

vagrant up

Running with VMWare Fusion

Requires paid plug-in. See https://www.vagrantup.com/vmware/index.html

  1. install plugin vagrant plugin install vagrant-vmware-fusion

  2. install license vagrant plugin license vagrant-vmware-fusion /path/to/license.lic

  3. start vagrant vagrant up --provider vmware_fusion