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 plugin
vagrant plugin install vagrant-vmware-fusion
-
install license
vagrant plugin license vagrant-vmware-fusion /path/to/license.lic
-
start vagrant
vagrant up --provider vmware_fusion