Add a Vagrantfile contributed by Dylan McNamee.

1 files changed, 26 insertions, 0 deletions

diff --git a/contrib/Vagrantfile b/contrib/Vagrantfile
new file mode 100644
index 0000000..c5e18d1
--- /dev/null
+++ b/contrib/Vagrantfile
@@ -0,0 +1,26 @@
+Vagrant.configure("2") do |config|
+  config.vm.box = "ubuntu/bionic64"
+  # needs vagrant plugin install vagrant-disksize:
+  config.disksize.size = '40GB'
+  config.vm.provider "virtualbox" do |v|
+    v.linked_clone = true
+    v.cpus = 12
+    v.memory = 8192
+    v.name = "RISC-V Toolchain (Ubuntu 18)"
+  end
+  config.vm.provision "shell", inline: <<-SHELL
+    apt-get update
+    apt-get install -y autoconf automake autotools-dev curl libmpc-dev libmpfr-dev libgmp-dev gawk build-essential bison flex texinfo gperf libtool patchutils bc zlib1g-dev libexpat-dev
+    mkdir /opt/riscv
+    chown vagrant /opt/riscv
+    cd /home/vagrant
+    sudu -u vagrant git clone --recursive https://github.com/riscv/riscv-gnu-toolchain
+    cd riscv-gnu-toolchain
+    sudo -u vagrant ./configure --prefix=/opt/riscv --enable-multilib
+    sudo -u vagrant make -j 12 linux
+    echo "vagrant provisioner - running tests"
+    apt-get install -y expect libglib2.0-dev libfdt-dev libpixman-1-dev zlib1g-dev python
+    sudo -u vagrant ./configure --prefix=/opt/riscv
+    sudo -u vagrant make report-linux
+  SHELL
+end