append_global_wisdom_directory

void kernel_launcher::append_global_wisdom_directory(std::string)

Append directory where to search for wisdom files by the WisdomSettings returned by default_wisdom_settings.