@@ -45,13 +45,16 @@ library
4545 cc-options: -DXEN -DHAVE_RDRAND
4646 if arch(x86_64)
4747 cpp-options: -Darch_x86_64
48+ cc-options: -Darch_x86_64
4849 -- gcc 4.8.2 on i386 fails to compile rdrand.c when using -fPIC!
4950 c-sources: cbits/rdrand.c
5051 include-dirs: cbits
5152 if arch(i386)
5253 cpp-options: -Darch_i386
54+ cc-options: -Darch_i386
5355 if os(windows)
5456 cpp-options: -DisWindows
57+ cc-options: -DisWindows
5558 extra-libraries: advapi32
5659 else
5760 if !flag(halvm)