ghc_boot_platform.h

#ifndef __PLATFORM_H__
#define __PLATFORM_H__

#define BuildPlatform_NAME  "x86_64-unknown-linux"
#define HostPlatform_NAME   "x86_64-unknown-linux"
#define TargetPlatform_NAME "x86_64-unknown-linux"

#define x86_64_unknown_linux_BUILD  	1
#define x86_64_unknown_linux_HOST		1
#define x86_64_unknown_linux_TARGET	1

#define x86_64_BUILD_ARCH  	1
#define x86_64_HOST_ARCH	1
#define x86_64_TARGET_ARCH	1
#define BUILD_ARCH "x86_64"
#define HOST_ARCH "x86_64"
#define TARGET_ARCH "x86_64"

#define linux_BUILD_OS 		1
#define linux_HOST_OS		1
#define linux_TARGET_OS	1
#define BUILD_OS "linux"
#define HOST_OS "linux"
#define TARGET_OS "linux"

#define unknown_BUILD_VENDOR 	1
#define unknown_HOST_VENDOR	1
#define unknown_TARGET_VENDOR  1
#define BUILD_VENDOR "unknown"
#define HOST_VENDOR "unknown"
#define TARGET_VENDOR "unknown"

#endif /* __PLATFORM_H__ */