runtime/platform/freebsd.h

   1 #include <fenv.h>
   2 #include <inttypes.h>
   3 #include <stdint.h>
   4
   5 #include <unistd.h>
   6
   7 #include <dirent.h>
   8 #include <fcntl.h>
   9 #include <grp.h>
  10 #include <netdb.h>
  11 #include <netinet/in.h>
  12 #include <netinet/tcp.h>
  13 #include <poll.h>
  14 #include <pwd.h>
  15 #include <sys/ioctl.h>
  16 #include <sys/mman.h>
  17 #include <sys/socket.h>
  18 #include <sys/stat.h>
  19 #include <sys/sysctl.h>
  20 #include <sys/time.h>
  21 #include <sys/resource.h> /* <sys/resource.h> might not #include <sys/time.h> */
  22 #include <sys/times.h>
  23 #include <sys/un.h>
  24 #include <sys/utsname.h>
  25 #include <sys/wait.h>
  26 #include <syslog.h>
  27 #include <termios.h>
  28 #include <ucontext.h>
  29 #include <utime.h>
  30
  31 #define HAS_FEROUND TRUE
  32 #define HAS_MSG_DONTWAIT TRUE
  33 #define HAS_REMAP FALSE
  34 #define HAS_SIGALTSTACK TRUE
  35 #define NEEDS_SIGALTSTACK_EXEC FALSE
  36 #define HAS_SPAWN FALSE
  37 #define HAS_TIME_PROFILING TRUE
  38
  39 #define MLton_Platform_OS_host "freebsd"
  40
  41 /* This is probably debian specific, since freebsd worked w/o it before. */
  42 #if (defined (__FreeBSD_kernel__))
  43 #define getpgrp() getpgrp(getpid())
  44 #endif
  45
  46 extern char **environ; /* for Posix_ProcEnv_environ */