summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSebastian Graf <sebastian.graf@kit.edu>2021-03-17 17:05:31 +0100
committerMarge Bot <ben+marge-bot@smart-cactus.org>2021-03-20 07:54:36 -0400
commitfa49935603bee32a65425d356a75c68a25a805c3 (patch)
treedbf8da438fafd447c52b18571602b23d13c3608a
parente84e280503e35bd33ae6c5a7f7f4f922dd205dbe (diff)
downloadhaskell-fa49935603bee32a65425d356a75c68a25a805c3.tar.gz
Remove outdated Vagrantfile
-rw-r--r--Vagrantfile50
1 files changed, 0 insertions, 50 deletions
diff --git a/Vagrantfile b/Vagrantfile
deleted file mode 100644
index 9f6f1a0ab6..0000000000
--- a/Vagrantfile
+++ /dev/null
@@ -1,50 +0,0 @@
-# -*- mode: ruby -*-
-# vi: set ft=ruby :
-
-MACHINES =
- { "ubuntu1204-i386" =>
- { :box => "chef/ubuntu-12.04-i386",
- :provision => "utils/vagrant/bootstrap-deb.sh"
- },
- "ubuntu1204-amd64" =>
- { :box => "chef/ubuntu-12.04",
- :provision => "utils/vagrant/bootstrap-deb.sh"
- },
- "centos65-i386" =>
- { :box => "chef/centos-6.5-i386",
- :provision => "utils/vagrant/bootstrap-rhel.sh"
- },
- "centos65-amd64" =>
- { :box => "chef/centos-6.5",
- :provision => "utils/vagrant/bootstrap-rhel.sh"
- },
- "debian74-i386" =>
- { :box => "chef/debian-7.4-i386",
- :provision => "utils/vagrant/bootstrap-deb.sh"
- },
- "debian74-amd64" =>
- { :box => "chef/debian-7.4",
- :provision => "utils/vagrant/bootstrap-deb.sh"
- }
- }
-
-VAGRANTFILE_API_VERSION = "2"
-Vagrant.configure(VAGRANTFILE_API_VERSION) do |config|
- MACHINES.each_pair do |name, opts|
- config.vm.define name do |c|
- c.vm.box = opts[:box]
- c.vm.network "public_network"
- c.vm.provision :shell, :path => opts[:provision]
- c.vm.provider "virtualbox" do |vb|
- vb.gui = false; vb.memory = 4096; vb.cpus = 2
- vb.customize ["modifyvm", :id, "--natdnshostresolver1", "on"]
- end
- c.vm.provider "vmware_workstation" do |vb|
- vb.gui = false; vb.vmx["memsize"] = "4096"; vb.vmx["numvcpus"] = "2"
- end
- c.vm.provider "vmware_fusion" do |vb|
- vb.gui = false; vb.vmx["memsize"] = "4096"; vb.vmx["numvcpus"] = "2"
- end
- end
- end
-end