187701bd27
tools: Allow git fetch failure in case offline and already synchronized.
2020-06-15 21:21:32 -07:00
a18901c100
tools/buildrocks: Use RTTI when custom building included rocksdb.
2020-06-14 04:01:36 -07:00
7c3275ea03
tools: Add verbosity flag to make command in buildrocks.sh
2020-05-04 14:06:49 -07:00
28bae3f9a0
tools: Add -mtune=native to buildrocks.sh
2020-05-04 14:04:14 -07:00
4f45198308
tools: Add --force for rocksdb repository tags fetch issue upstream.
2020-03-03 13:08:03 -08:00
0a633985e6
tools/buildrocks: Build RocksDB with -Wno-error. [skip ci]
2019-06-22 17:06:44 -07:00
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
fff4379b79
tools: Build RocksDB with tls-model=initial-exec.
2018-12-23 16:10:17 -08:00
639dfa40d5
tools: Improve flags exports in buildrocks.
2018-12-23 15:23:53 -08:00
1ebb05af70
tools: Disable JEMALLOC for RocksDB builds.
2018-11-29 13:46:45 -08:00
ec9157367f
tools: Fix buildrocks script to fetch tags from remote.
2018-10-15 22:31:28 -07:00
b33b37e9e0
tools/buildrocks: Detect number of processors to set make job count.
2018-06-14 19:44:18 -06:00
1268d90fb0
ircd::db: RocksDB to 5.12.2.
2018-04-09 15:57:05 -07:00
ecf0efa7be
tools: Allow a branch argument to buildrocks script.
2018-04-09 15:56:18 -07:00
21d4cbf1ad
Move submodules into deps/
2018-01-27 21:05:58 -08:00
1f4b21458f
tools: Update buildrocks script; stronger version pinning.
2017-08-23 15:19:35 -06:00
5df4bf6da2
ircd::db: Add database interface. Support RocksDB.
2016-09-27 02:20:42 -07:00
Jason Volk