diff options
author | Alberto Ruiz <aruiz@um.es> | 2015-07-24 11:10:04 +0200 |
---|---|---|
committer | Alberto Ruiz <aruiz@um.es> | 2015-07-24 11:10:04 +0200 |
commit | 158f066603a74a26fc93e9808a9d62121e9e485f (patch) | |
tree | 8e8c2db5efcd28662a7dc5fcfc7a22239900404b /packages/base/src/Internal/C/windows_random_r.h | |
parent | c45e6c023a40d99103f41009f971b1712ed023d3 (diff) |
Revert "Fix windows support"
This reverts commit a544e9810ef34b8eb39f7856f500f25fce1cd207.
Diffstat (limited to 'packages/base/src/Internal/C/windows_random_r.h')
-rw-r--r-- | packages/base/src/Internal/C/windows_random_r.h | 39 |
1 files changed, 0 insertions, 39 deletions
diff --git a/packages/base/src/Internal/C/windows_random_r.h b/packages/base/src/Internal/C/windows_random_r.h deleted file mode 100644 index c05caa7..0000000 --- a/packages/base/src/Internal/C/windows_random_r.h +++ /dev/null | |||
@@ -1,39 +0,0 @@ | |||
1 | #if defined(_WIN32) || defined(WIN32) | ||
2 | |||
3 | #ifndef MYRANDOM_H | ||
4 | #define MYRANDOM_H | ||
5 | |||
6 | #include <stddef.h> | ||
7 | |||
8 | #define NULL 0 | ||
9 | |||
10 | #define EINVAL 23 | ||
11 | |||
12 | typedef int int32_t; | ||
13 | |||
14 | struct random_data | ||
15 | { | ||
16 | int32_t *fptr; /* Front pointer. */ | ||
17 | int32_t *rptr; /* Rear pointer. */ | ||
18 | int32_t *state; /* Array of state values. */ | ||
19 | int rand_type; /* Type of random number generator. */ | ||
20 | int rand_deg; /* Degree of random number generator. */ | ||
21 | int rand_sep; /* Distance between front and rear. */ | ||
22 | int32_t *end_ptr; /* Pointer behind state table. */ | ||
23 | }; | ||
24 | |||
25 | |||
26 | #define errno my_errno | ||
27 | extern int my_errno; | ||
28 | |||
29 | static inline void __set_errno(int err) { my_errno = err; }; | ||
30 | |||
31 | int random_r (struct random_data *buf, int32_t *result); | ||
32 | |||
33 | int initstate_r (unsigned int seed, | ||
34 | char *arg_state, | ||
35 | /*unsigned long*/ size_t n, | ||
36 | struct random_data *buf); | ||
37 | |||
38 | #endif | ||
39 | #endif \ No newline at end of file | ||