#include "version.h"
#include <tees_log.h>

#define STRINGIFY(x) #x
#define TOSTR(x) STRINGIFY(x)

#ifdef CONFIG_RELEASE
#define RELEASE_DEBUG_STR "release"
#else
#define RELEASE_DEBUG_STR "debug"
#endif

#define VERSION_STR "FIVE TA version: " TOSTR(CONFIG_VERSION)

void print_version(void) {
  TEES_LOG(TEES_LOG_LEVEL_INFO, VERSION_STR "@" TOSTR(CONFIG_CL_SYNC) "-" RELEASE_DEBUG_STR " (" TOSTR(CONFIG_BUILD_USER) ")\n");
}