7 commits

Author	SHA1	Message	Date
Jason Volk	ce8146392b	tools/docker/ubuntu: Build rocksdb without debug symbols.	2020-05-05 22:54:35 -07:00
Jason Volk	db58514d45	tools/docker/ubuntu: Remove libgflags for rocksdb.	2020-05-05 22:53:29 -07:00
Jason Volk	9f2bdd3ca2	Upgrade to RocksDB 6.6.4. ... ircd::db::database::cache: Remove deprecated interface override. ircd::db::database::cache: Add new GetCharge() abstract virtual override. ircd::db: Use set_stats_level() for privated member.	2020-05-05 19:58:37 -07:00
Jason Volk	3c1b03adc4	tools/docker/ubuntu: Revert to rocksdb source build; maintain /usr/src.	2020-05-04 14:10:10 -07:00
Jason Volk	cbe7d13c6f	docker/appveyor: RocksDB 5.17.2; Boost 1.71; remove PPAs for 20.04 vocal fossil.	2020-04-29 10:59:31 -07:00
Wessel Nieboer	dddca1b1eb	Add gcc-9 base	2020-04-08 03:58:55 +02:00
Wessel Nieboer	a1858b9f89	Simplify and dry up the Dockerfiles	2020-04-08 03:13:55 +02:00