#include <version.h>
#include <build.h>

#ifndef CONFIG_MAINBOARD_VENDOR
#error CONFIG_MAINBOARD_VENDOR not defined
#endif
#ifndef CONFIG_MAINBOARD_PART_NUMBER
#error  CONFIG_MAINBOARD_PART_NUMBER not defined
#endif

#ifndef COREBOOT_VERSION
#error  COREBOOT_VERSION not defined
#endif
#ifndef COREBOOT_BUILD
#error  COREBOOT_BUILD not defined
#endif

#ifndef COREBOOT_COMPILE_TIME
#error  COREBOOT_COMPILE_TIME not defined
#endif
#ifndef COREBOOT_COMPILE_BY
#error  COREBOOT_COMPILE_BY not defined
#endif
#ifndef COREBOOT_COMPILE_HOST
#error  COREBOOT_COMPILE_HOST not defined
#endif

#ifndef COREBOOT_COMPILER
#error  COREBOOT_COMPILER not defined
#endif
#ifndef COREBOOT_LINKER
#error  COREBOOT_LINKER not defined
#endif
#ifndef COREBOOT_ASSEMBLER
#error  COREBOOT_ASSEMBLER not defined
#endif

#ifndef  COREBOOT_EXTRA_VERSION
#define COREBOOT_EXTRA_VERSION ""
#endif

const char mainboard_vendor[] = CONFIG_MAINBOARD_VENDOR;
const char mainboard_part_number[] = CONFIG_MAINBOARD_PART_NUMBER;

const char coreboot_version[] = COREBOOT_VERSION;
const char coreboot_extra_version[] = COREBOOT_EXTRA_VERSION;
const char coreboot_build[] = COREBOOT_BUILD;

const char coreboot_compile_time[]   = COREBOOT_COMPILE_TIME;
const char coreboot_compile_by[]     = COREBOOT_COMPILE_BY;
const char coreboot_compile_host[]   = COREBOOT_COMPILE_HOST;
const char coreboot_compile_domain[] = COREBOOT_COMPILE_DOMAIN;
const char coreboot_compiler[]       = COREBOOT_COMPILER;
const char coreboot_linker[]         = COREBOOT_LINKER;
const char coreboot_assembler[]      = COREBOOT_ASSEMBLER;