17 commits

Author	SHA1	Message	Date
Jason Volk	187701bd27	tools: Allow git fetch failure in case offline and already synchronized.	2020-06-15 21:21:32 -07:00
Jason Volk	a18901c100	tools/buildrocks: Use RTTI when custom building included rocksdb.	2020-06-14 04:01:36 -07:00
Jason Volk	7c3275ea03	tools: Add verbosity flag to make command in buildrocks.sh	2020-05-04 14:06:49 -07:00
Jason Volk	28bae3f9a0	tools: Add -mtune=native to buildrocks.sh	2020-05-04 14:04:14 -07:00
Jason Volk	4f45198308	tools: Add --force for rocksdb repository tags fetch issue upstream.	2020-03-03 13:08:03 -08:00
Jason Volk	0a633985e6	tools/buildrocks: Build RocksDB with -Wno-error. [skip ci]	2019-06-22 17:06:44 -07:00
Jason Volk	24e97c01be	tools: Build included rocksdb without explicit RTTI. ... closes #53 indirectly. The related issue was actually satisfied two different ways: first, our primary installation target platforms tend to compile their rocksdb package with RTTI. Nevertheless, the relaxation/weakening of symbol binding at compile and runtime which was recently committed also allows our RTTI to serve in place of librocksdb's missing RTTI.	2019-05-26 22:16:33 -07:00
Jason Volk	fff4379b79	tools: Build RocksDB with tls-model=initial-exec.	2018-12-23 16:10:17 -08:00
Jason Volk	639dfa40d5	tools: Improve flags exports in buildrocks.	2018-12-23 15:23:53 -08:00
Jason Volk	1ebb05af70	tools: Disable JEMALLOC for RocksDB builds.	2018-11-29 13:46:45 -08:00
Jason Volk	ec9157367f	tools: Fix buildrocks script to fetch tags from remote.	2018-10-15 22:31:28 -07:00
Jason Volk	b33b37e9e0	tools/buildrocks: Detect number of processors to set make job count.	2018-06-14 19:44:18 -06:00
Jason Volk	1268d90fb0	ircd::db: RocksDB to 5.12.2.	2018-04-09 15:57:05 -07:00
Jason Volk	ecf0efa7be	tools: Allow a branch argument to buildrocks script.	2018-04-09 15:56:18 -07:00
Jason Volk	21d4cbf1ad	Move submodules into deps/	2018-01-27 21:05:58 -08:00
Jason Volk	1f4b21458f	tools: Update buildrocks script; stronger version pinning.	2017-08-23 15:19:35 -06:00
Jason Volk	5df4bf6da2	ircd::db: Add database interface. Support RocksDB.	2016-09-27 02:20:42 -07:00