10class ODBOutputSettings {
12 ODBOutputSettings(
const json &);
16 json serialize()
const;
17 void update_for_board(
const class Board &brd);
19 enum class Format { DIRECTORY, TGZ, ZIP };
21 Format format = Format::TGZ;
25 std::string output_filename;
26 std::string output_directory;