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

  • install pluginvagrant plugin install vagrant-vmware-fusion

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

  • start vagrantvagrant up —provider vmware_fusion