diff options
author | Istvan Szukacs <istvan@streambrightdata.com> | 2018-02-26 15:17:22 -0800 |
---|---|---|
committer | Facebook Github Bot <facebook-github-bot@users.noreply.github.com> | 2018-02-26 15:27:17 -0800 |
commit | d6336563e58e1d8f421862b75b18ffcebd156467 (patch) | |
tree | 1e364057b9ee6ffbd0aee1f5996c8d5c4f9449cf /Vagrantfile | |
parent | ad05cbb182c2ca869f262b097898d5c270fae7ed (diff) |
Adding CentOS 7 Vagrantfile & build script
Summary:
I have updated the Vagrantfile to have an entry for CentOS 7. Also created a simple build script which is pretty similar to the one in Beringei.
How to test:
```
vagrant up centos7
```
Todo:
Implement -j X for the build.
Closes https://github.com/facebook/rocksdb/pull/3530
Differential Revision: D7090739
Pulled By: ajkr
fbshipit-source-id: 9f9eda5b507568993543d08de7ce168dfc12282e
Diffstat (limited to 'Vagrantfile')
-rw-r--r-- | Vagrantfile | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Vagrantfile b/Vagrantfile index d7c2991d7..07f2e99fd 100644 --- a/Vagrantfile +++ b/Vagrantfile @@ -14,6 +14,11 @@ Vagrant.configure("2") do |config| box.vm.box = "chef/centos-6.5" end + config.vm.define "centos7" do |box| + box.vm.box = "centos/7" + box.vm.provision "shell", path: "build_tools/setup_centos7.sh" + end + config.vm.define "FreeBSD10" do |box| box.vm.guest = :freebsd box.vm.box = "robin/freebsd-10" |