Hi, I just wanted to confirm that for me this works on a Clean Ubuntu 20.04 once I install googlebenchmark according to Jay's instructions.
I've encoded it in a minimal Dockerfile, which installs enough to build the microbenchmarks on HEAD.
Assuming you have docker installed, you can save the Dockerfile in a directory, cd there, and run:
$ docker build -t alanpaxton/rocksdb-focal-microbench:1.0 .
$ docker exec -it rocksdb_microbench /bin/bash
# cd ~/rocksdb
# DEBUG_LEVEL=0 make run_microbench
Hope that helps
--Alan