diff options
| -rw-r--r-- | patches/std.diff | 14 | ||||
| -rw-r--r-- | src/lib.rs | 3 |
2 files changed, 17 insertions, 0 deletions
diff --git a/patches/std.diff b/patches/std.diff new file mode 100644 index 0000000..4524081 --- /dev/null +++ b/patches/std.diff @@ -0,0 +1,14 @@ +diff --git a/src/lib.rs b/src/lib.rs +index 8196950..f77d0b1 100644 +--- a/src/lib.rs ++++ b/src/lib.rs +@@ -22,6 +22,9 @@ + #![no_std] + use core::ops::Range; + ++#[cfg(android_dylib)] ++extern crate std; ++ + /// A PRNG producing a 32-bit output. + /// + /// The current implementation is `PCG-XSH-RR`. @@ -22,6 +22,9 @@ #![no_std] use core::ops::Range; +#[cfg(android_dylib)] +extern crate std; + /// A PRNG producing a 32-bit output. /// /// The current implementation is `PCG-XSH-RR`. |