@@ -43,14 +43,14 @@ library
43 cpp-options: -DXEN -DHAVE_RDRAND
43 cpp-options: -DXEN -DHAVE_RDRAND
44 if arch(x86_64)
44 if arch(x86_64)
45 cpp-options: -Darch_x86_64
45 cpp-options: -Darch_x86_64
46− c-sources: cbits/rdrand.c
48 if os(windows)
46 if os(windows)
49 cpp-options: -DisWindows
47 cpp-options: -DisWindows
50 extra-libraries: advapi32
48 extra-libraries: advapi32
52 if !flag(halvm)
50 if !flag(halvm)
53 Build-Depends: unix
51 Build-Depends: unix
52+ c-sources: cbits/rdrand.c
55source-repository head
55source-repository head