#ifndef __GHCPLATFORM_H__
#define __GHCPLATFORM_H__

#define BuildPlatform_TYPE  x86_64_portbld_freebsd
#define HostPlatform_TYPE   x86_64_portbld_freebsd

#define x86_64_portbld_freebsd_BUILD  1
#define x86_64_portbld_freebsd_HOST  1

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

#define freebsd_BUILD_OS  1
#define freebsd_HOST_OS  1
#define BUILD_OS  "freebsd"
#define HOST_OS  "freebsd"

#define portbld_BUILD_VENDOR  1
#define portbld_HOST_VENDOR  1
#define BUILD_VENDOR  "portbld"
#define HOST_VENDOR  "portbld"

/* These TARGET macros are for backwards compatibily... DO NOT USE! */
#define TargetPlatform_TYPE x86_64_portbld_freebsd
#define x86_64_portbld_freebsd_TARGET  1
#define x86_64_TARGET_ARCH  1
#define TARGET_ARCH  "x86_64"
#define freebsd_TARGET_OS  1
#define TARGET_OS  "freebsd"
#define portbld_TARGET_VENDOR  1

#endif /* __GHCPLATFORM_H__ */
