HCoop / hcoop / debian / mlton.git / blame
| Commit | Line | Data |
|---|---|---|
| 7f918cf1 CE |
1 | #include <inttypes.h> |
| 2 | #include <stdint.h> | |
| 3 | #ifdef __UCLIBC__ | |
| 4 | #include <fpu_control.h> | |
| 5 | #else | |
| 6 | #include <fenv.h> | |
| 7 | #endif | |
| 8 | ||
| 9 | #include <unistd.h> | |
| 10 | ||
| 11 | #include <dirent.h> | |
| 12 | #include <fcntl.h> | |
| 13 | #include <grp.h> | |
| 14 | #include <netdb.h> | |
| 15 | #include <netinet/in.h> | |
| 16 | #include <netinet/tcp.h> | |
| 17 | #include <poll.h> | |
| 18 | #include <pwd.h> | |
| 19 | #include <sys/ioctl.h> | |
| 20 | #include <sys/mman.h> | |
| 21 | #include <sys/resource.h> | |
| 22 | #include <sys/socket.h> | |
| 23 | #include <sys/stat.h> | |
| 24 | #include <sys/time.h> | |
| 25 | #include <sys/times.h> | |
| 26 | #include <sys/un.h> | |
| 27 | #include <sys/utsname.h> | |
| 28 | #include <sys/wait.h> | |
| 29 | #include <sys/sysinfo.h> | |
| 30 | #include <syslog.h> | |
| 31 | #include <termios.h> | |
| 32 | #include <utime.h> | |
| 33 | ||
| 34 | #ifdef __UCLIBC__ | |
| 35 | #define HAS_FEROUND FALSE | |
| 36 | #else | |
| 37 | #define HAS_FEROUND TRUE | |
| 38 | #endif | |
| 39 | #define HAS_MSG_DONTWAIT TRUE | |
| 40 | #define HAS_REMAP TRUE | |
| 41 | #define HAS_SIGALTSTACK TRUE | |
| 42 | #if (defined (__hppa__)) | |
| 43 | #define NEEDS_SIGALTSTACK_EXEC TRUE | |
| 44 | #else | |
| 45 | #define NEEDS_SIGALTSTACK_EXEC FALSE | |
| 46 | #endif | |
| 47 | #define HAS_SPAWN FALSE | |
| 48 | #define HAS_TIME_PROFILING TRUE | |
| 49 | ||
| 50 | #define MLton_Platform_OS_host "linux" | |
| 51 | ||
| 52 | // environ is already defined if _GNU_SOURCE is. | |
| 53 | #if !defined(_GNU_SOURCE) && !defined(__ANDROID__) | |
| 54 | extern char **environ; /* for Posix_ProcEnv_environ */ | |
| 55 | #endif | |
| 56 | ||
| 57 | /* The following is compatibility code with older glibc and kernel | |
| 58 | versions. */ | |
| 59 | ||
| 60 | #ifndef __suseconds_t_defined | |
| 61 | #include <linux/types.h> | |
| 62 | typedef __kernel_suseconds_t suseconds_t; | |
| 63 | #define __suseconds_t_defined | |
| 64 | #endif | |
| 65 | ||
| 66 | #ifdef __GLIBC__ | |
| 67 | #if __GLIBC__ == 2 && __GLIBC_MINOR__ <= 1 | |
| 68 | typedef unsigned long int nfds_t; | |
| 69 | #endif | |
| 70 | #endif | |
| 71 | ||
| 72 | #ifdef __ANDROID__ | |
| 73 | /* Work around buggy android system libraries */ | |
| 74 | #undef PRIxPTR | |
| 75 | #define PRIxPTR "x" | |
| 76 | ||
| 77 | /* Needed for fetching program counter */ | |
| 78 | #include <platform/android_ucontext.h> | |
| 79 | ||
| 80 | /* Android is missing these methods: */ | |
| 81 | #undef tcdrain | |
| 82 | #undef ctermid | |
| 83 | #define tcdrain MLton_tcdrain | |
| 84 | #define ctermid MLton_ctermid | |
| 85 | ||
| 86 | static inline int tcdrain(int fd) { | |
| 87 | return ioctl(fd, TCSBRK, 1); | |
| 88 | } | |
| 89 | ||
| 90 | static inline char* ctermid(char* x) { | |
| 91 | static char buf[] = "/dev/tty"; | |
| 92 | if (x) { | |
| 93 | strcpy(x, buf); | |
| 94 | return x; | |
| 95 | } else { | |
| 96 | return &buf[0]; | |
| 97 | } | |
| 98 | } | |
| 99 | ||
| 100 | #endif | |
| 101 | ||
| 102 | #ifndef SO_ACCEPTCONN | |
| 103 | #define SO_ACCEPTCONN 30 | |
| 104 | #endif | |
| 105 | ||
| 106 | #ifdef __UCLIBC__ | |
| 107 | #define FE_DOWNWARD _FPU_RC_DOWN | |
| 108 | #define FE_TONEAREST _FPU_RC_NEAREST | |
| 109 | #define FE_TOWARDZERO _FPU_RC_ZERO | |
| 110 | #define FE_UPWARD _FPU_RC_UP | |
| 111 | #endif |