@@ -100,7 +100,14 @@ readP p = eitherReader $ \s -> case [ r' | (r',"") <- P.readP_to_S p s ] of
100100 _ -> Left ("invalid value " ++ show s)
101101
102102parsePlatform :: P.ReadP r Platform
103−parsePlatform = do arch <- P.choice [P.string "i686" >> return I386, P.string "x86_64" >> return X86_64]
103+parsePlatform = do arch <- P.choice [ P.string "i686" >> return I386
104+ , P.string "x86_64" >> return X86_64
105+ , P.string "armv7l" >> return Arm
106+ , P.string "armv6l" >> return Arm
107+ -- Not yet supported yet, see Cabal #5221
108+ --, P.string "aarch64" >> return AArch64
109+ , P.string "mipsel" >> return Mips
110+ ]
104111 _ <- P.char '-'
105112 os <- P.choice [ P.string "linux" >> return Linux, P.string "darwin" >> return OSX
106113 , P.string "windows" >> return Windows]