module GHC.Platform.Host where

import GHC.Platform

cHostPlatformArch   :: Arch
cHostPlatformArch :: Arch
cHostPlatformArch   = ArchARM :: ArmISA -> [ArmISAExt] -> ArmABI -> Arch
ArchARM {armISA :: ArmISA
armISA = ArmISA
ARMv7, armISAExt :: [ArmISAExt]
armISAExt = [ArmISAExt
VFPv3D16], armABI :: ArmABI
armABI = ArmABI
HARD}

cHostPlatformOS     :: OS
cHostPlatformOS :: OS
cHostPlatformOS     = OS
OSLinux

cHostPlatformMini :: PlatformMini
cHostPlatformMini :: PlatformMini
cHostPlatformMini = PlatformMini :: Arch -> OS -> PlatformMini
PlatformMini
  { platformMini_arch :: Arch
platformMini_arch = Arch
cHostPlatformArch
  , platformMini_os :: OS
platformMini_os = OS
cHostPlatformOS
  }