portmidi 0.2.6

High-level PortMidi bindings for Rust
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

# -*- mode: ruby -*-
# vi: set ft=ruby :

Vagrant.configure(2) do |config|
  config.vm.box = "hashicorp/precise64"
  config.vm.provision "shell", inline: <<-SHELL
    sudo apt-get update
    # install portmidi
    sudo apt-get install -y libportmidi-dev
    # install curl
    sudo apt-get install -y curl
    # setup 'rustup.sh'
    sudo sh -c 'echo "curl -L https://static.rust-lang.org/rustup.sh | sudo sh" > /usr/bin/rustup.sh'
    sudo chmod +x /usr/bin/rustup.sh
    # run 'rustup.sh'
    sudo /usr/bin/rustup.sh
    # add 'vagrant' user to audio group so that they can access Midi
    sudo gpasswd -a vagrant audio
  SHELL
end