/* unix.c -- Moscow ML C primitives available only under Unix */

#include <stdlib.h>
#include <sys/param.h>
#include <sys/types.h>
#include <sys/stat.h>
#include <sys/utsname.h>
#include <unistd.h>
#include "fail.h"
#include "memory.h"
#include "str.h"

value sml_realpath(v)          /* ML */
     value v;
{ 
  char buffer[MAXPATHLEN];
  char *result;

#if defined(ultrix) || defined(__osf__) || defined(__CYGWIN32__)
  failwith("realpath not supported");
#else
  result = realpath(String_val(v), buffer);
  if (result == NULL) 
      failwith("realpath");  
  return copy_string(result);
#endif
}

value sml_uname(v)          /* ML */
     value v;
{    
  struct utsname buf;
  value res;
  Push_roots(r, 1);

  if (uname(&buf) == -1) 
      failwith("uname");  
  res = alloc (3, 0);
  r[0] = res;
  Field (r[0], 0) = copy_string (buf.machine);
  Field (r[0], 1) = copy_string (buf.sysname);
  Field (r[0], 2) = copy_string (buf.release);
  res = r[0];
  Pop_roots();
  return res;
}

value sml_islink(path)          /* ML */
     value path;
{ struct stat buf;

  if (lstat(String_val(path), &buf) == -1)
      failwith("lstat");
  return Val_bool((S_IFLNK & buf.st_mode) == S_IFLNK);
}

value sml_readlink(v)          /* ML */
     value v;
{ 
  char buffer[MAXPATHLEN];
  long result;

  result = readlink(String_val(v), buffer, MAXPATHLEN);
  if (result == -1 || result >= MAXPATHLEN) 
      failwith("readlink");  
  buffer[result] = '\0';
  return copy_string(buffer);
}

value sml_devinode(path)          /* ML */
     value path;
{ struct stat buf;
  double dev_inode;

  if (stat(String_val(path), &buf) == -1)
      failwith("stat");
  /* Combine the device and inode into a real number */
  dev_inode = ((double)buf.st_dev * (1 << 17)) + (double)buf.st_ino;
  return copy_double(dev_inode);
}