summaryrefslogtreecommitdiff
path: root/build_tools/setup_centos7.sh
AgeCommit message (Collapse)Author
2020-04-06Adding new build script for CentOS 7 (#6617)Istvan
Summary: Updating build script for CentOS 7 Pull Request resolved: https://github.com/facebook/rocksdb/pull/6617 Reviewed By: riversand963 Differential Revision: D20879268 Pulled By: anand1976 fbshipit-source-id: 414b99e39cd77ba31373ff7aff50121d78a93d1c
2019-04-18Add copyright headers per FB open-source checkup tool. (#5199)Fosco Marotto
Summary: internal task: T35568575 Pull Request resolved: https://github.com/facebook/rocksdb/pull/5199 Differential Revision: D14962794 Pulled By: gfosco fbshipit-source-id: 93838ede6d0235eaecff90d200faed9a8515bbbe
2018-02-26Adding CentOS 7 Vagrantfile & build scriptIstvan Szukacs
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