diff options
-rw-r--r-- | README.md | 4 | ||||
l--------- | build-root/vagrant | 1 | ||||
-rw-r--r-- | extras/vagrant/.gitignore (renamed from build-root/vagrant/.gitignore) | 0 | ||||
-rw-r--r-- | extras/vagrant/README (renamed from build-root/vagrant/README) | 0 | ||||
-rw-r--r-- | extras/vagrant/Vagrantfile (renamed from build-root/vagrant/Vagrantfile) | 0 | ||||
-rw-r--r-- | extras/vagrant/WELCOME (renamed from build-root/vagrant/WELCOME) | 0 | ||||
-rwxr-xr-x | extras/vagrant/build.sh (renamed from build-root/vagrant/build.sh) | 0 | ||||
-rwxr-xr-x | extras/vagrant/clearinterfaces.sh (renamed from build-root/vagrant/clearinterfaces.sh) | 0 | ||||
-rw-r--r-- | extras/vagrant/env.sh (renamed from build-root/vagrant/env.sh) | 0 | ||||
-rw-r--r-- | extras/vagrant/install.sh (renamed from build-root/vagrant/install.sh) | 0 | ||||
-rwxr-xr-x | extras/vagrant/run.sh (renamed from build-root/vagrant/run.sh) | 0 | ||||
-rwxr-xr-x | extras/vagrant/update.sh (renamed from build-root/vagrant/update.sh) | 0 |
12 files changed, 3 insertions, 2 deletions
diff --git a/README.md b/README.md index b70103fb1fc..7f429d12b31 100644 --- a/README.md +++ b/README.md @@ -67,7 +67,7 @@ To install system dependencies, build VPP and then install it, simply run the build script. This should be performed a non-privileged user with `sudo` access from the project base directory: - ./build-root/vagrant/build.sh + ./extras/vagrant/build.sh If you want a more fine-grained approach because you intend to do some development work, the `Makefile` in the root directory of the source tree @@ -79,7 +79,7 @@ interest. To see the available targets run: ### Quick-start: Vagrant -The directory `build-root/vagrant` contains a `VagrantFile` and supporting +The directory `extras/vagrant` contains a `VagrantFile` and supporting scripts to bootstrap a working VPP inside a Vagrant-managed Virtual Machine. This VM can then be used to test concepts with VPP or as a development platform to extend VPP. Some obvious caveats apply when using a VM for VPP diff --git a/build-root/vagrant b/build-root/vagrant new file mode 120000 index 00000000000..ada25b83c14 --- /dev/null +++ b/build-root/vagrant @@ -0,0 +1 @@ +../extras/vagrant
\ No newline at end of file diff --git a/build-root/vagrant/.gitignore b/extras/vagrant/.gitignore index a977916f658..a977916f658 100644 --- a/build-root/vagrant/.gitignore +++ b/extras/vagrant/.gitignore diff --git a/build-root/vagrant/README b/extras/vagrant/README index 238c90ce99c..238c90ce99c 100644 --- a/build-root/vagrant/README +++ b/extras/vagrant/README diff --git a/build-root/vagrant/Vagrantfile b/extras/vagrant/Vagrantfile index b463d646092..b463d646092 100644 --- a/build-root/vagrant/Vagrantfile +++ b/extras/vagrant/Vagrantfile diff --git a/build-root/vagrant/WELCOME b/extras/vagrant/WELCOME index eb6aa2fdebc..eb6aa2fdebc 100644 --- a/build-root/vagrant/WELCOME +++ b/extras/vagrant/WELCOME diff --git a/build-root/vagrant/build.sh b/extras/vagrant/build.sh index 76838e28a62..76838e28a62 100755 --- a/build-root/vagrant/build.sh +++ b/extras/vagrant/build.sh diff --git a/build-root/vagrant/clearinterfaces.sh b/extras/vagrant/clearinterfaces.sh index 78f6705ca32..78f6705ca32 100755 --- a/build-root/vagrant/clearinterfaces.sh +++ b/extras/vagrant/clearinterfaces.sh diff --git a/build-root/vagrant/env.sh b/extras/vagrant/env.sh index f0edfd884ed..f0edfd884ed 100644 --- a/build-root/vagrant/env.sh +++ b/extras/vagrant/env.sh diff --git a/build-root/vagrant/install.sh b/extras/vagrant/install.sh index a53faa4dd73..a53faa4dd73 100644 --- a/build-root/vagrant/install.sh +++ b/extras/vagrant/install.sh diff --git a/build-root/vagrant/run.sh b/extras/vagrant/run.sh index 1cd3382640a..1cd3382640a 100755 --- a/build-root/vagrant/run.sh +++ b/extras/vagrant/run.sh diff --git a/build-root/vagrant/update.sh b/extras/vagrant/update.sh index f4139d74c80..f4139d74c80 100755 --- a/build-root/vagrant/update.sh +++ b/extras/vagrant/update.sh |