Fix #25 - disable RDRAND on i386 windows.
commit88ee641a3fe9a76fe4d89e75de84cec60dcc43cb
authorThomas M. DuBuisson <tommd@galois.com>
dateWed 4 Mar 2015, 07:39 (12 years ago)
parent33c1b00
System/EntropyWindows.hs+5
@@ -46,6 +46,11 @@ import Foreign.Storable (peek)
4646-}
4747
4848
49+#ifdef arch_i386
50+-- See .cabal wrt GCC 4.8.2 asm compilation bug
51+#undef HAVE_RDRAND
52+#endif
53+
4954#ifdef HAVE_RDRAND
5055foreign import ccall unsafe "cpu_has_rdrand"
5156 c_cpu_has_rdrand :: IO CInt