def get_platform(config): from rpython.translator.platform import pick_platform opt = config.translation.platform cc = config.translation.cc return pick_platform(opt, cc)