/**
 * @file   version.h
 * @brief  Header file for secure driver version.
 *
 * Copyright (c) 2012 Samsung Electronics Co., Ltd.
 */

#ifndef VERSION_H_
#define VERSION_H_

#include <stdio.h>

#define DR_VERSION_LEN 30
#define DR_VERSION_MAJOR 1
#define DR_VERSION_MINOR 0

char msgBuf[DR_VERSION_LEN];

#define CHECK_VERSION(comp) \
	static void checkVersion_##comp() \
	{ \
	snprintf(msgBuf, sizeof(msgBuf), \
		#comp "_%u.%u_%s", DR_VERSION_MAJOR, DR_VERSION_MINOR, _BUILD_DATE); \
	msgBuf[sizeof(msgBuf) - 1] = '\0'; \
	}

#endif /* VERSION_H_ */