rocksdb/.circleci
Peter Dillinger bda8d93ba9 Fix and detect headers with missing dependencies (#8893)
Summary:
It's always annoying to find a header does not include its own
dependencies and only works when included after other includes. This
change adds `make check-headers` which validates that each header can
be included at the top of a file. Some headers are excluded e.g. because
of platform or external dependencies.

rocksdb_namespace.h had to be re-worked slightly to enable checking for
failure to include it. (ROCKSDB_NAMESPACE is a valid namespace name.)

Fixes mostly involve adding and cleaning up #includes, but for
FileTraceWriter, a constructor was out-of-lined to make a forward
declaration sufficient.

This check is not currently run with `make check` but is added to
CircleCI build-linux-unity since that one is already relatively fast.

Pull Request resolved: https://github.com/facebook/rocksdb/pull/8893

Test Plan: existing tests and resolving issues detected by new check

Reviewed By: mrambacher

Differential Revision: D30823300

Pulled By: pdillinger

fbshipit-source-id: 9fff223944994c83c105e2e6496d24845dc8e572
2021-09-10 10:00:26 -07:00
..
cat_ignore_eagain Major CircleCI/Linux fixes / tweaks / enhancements (#7078) 2020-07-07 11:25:46 -07:00
config.yml Fix and detect headers with missing dependencies (#8893) 2021-09-10 10:00:26 -07:00
ubsan_suppression_list.txt Add ubsan_check to CircleCI runs (#7112) 2020-07-10 20:03:41 -07:00
vs2015_install.ps1 Small improvements to CircleCI Windows jobs (#7852) 2021-01-11 13:32:07 -08:00
vs2017_install.ps1 Small improvements to CircleCI Windows jobs (#7852) 2021-01-11 13:32:07 -08:00