#if !defined(__GHCPLATFORM_H__)
#define __GHCPLATFORM_H__

#define GHC_STAGE (1 + 1)

#define BuildPlatform_TYPE  aarch64_unknown_linux
#define HostPlatform_TYPE   aarch64_unknown_linux

#define aarch64_unknown_linux_BUILD  1
#define aarch64_unknown_linux_HOST  1

#define aarch64_BUILD_ARCH  1
#define aarch64_HOST_ARCH  1
#define BUILD_ARCH  "aarch64"
#define HOST_ARCH  "aarch64"

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

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


#endif /* __GHCPLATFORM_H__ */
