summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorYuval Adam <yuv.adm@gmail.com>2013-05-29 16:24:20 +0300
committerYuval Adam <yuv.adm@gmail.com>2013-05-29 16:24:20 +0300
commit089ec60326fba8e682063de2b85bacf6095ee932 (patch)
tree097485d7b13c2f2c2f0e6a52896d1380c31e5cdb
parentb6cfc52d10158016168fa6c23dd17c1503decfdf (diff)
Remove deprecated build-gnuradio stuff
-rw-r--r--Vagrantfile8
1 files changed, 0 insertions, 8 deletions
diff --git a/Vagrantfile b/Vagrantfile
index 5c896de..ef51993 100644
--- a/Vagrantfile
+++ b/Vagrantfile
@@ -1,14 +1,6 @@
# -*- mode: ruby -*-
# vi: set ft=ruby :
-$gnu_radio_bootstrap = <<SCRIPT
-sudo apt-get update
-sudo apt-get upgrade
-sudo apt-get install build-essential git subversion
-wget http://www.sbrac.org/files/build-gnuradio && chmod a+x ./build-gnuradio && ./build-gnuradio
-echo "export PYTHONPATH=/usr/local/lib/python2.7/dist-packages" >> ~/.bashrc
-SCRIPT
-
Vagrant.configure('2') do |config|
config.vm.box = 'precise32'
config.vm.box_url = 'http://files.vagrantup.com/precise32.box'