/***********************************************************************/ /* */ /* Caml Special Light */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1995 Institut National de Recherche en Informatique et */ /* Automatique. Distributed only by permission. */ /* */ /***********************************************************************/ /* $Id$ */ /* Basic system calls */ #include #include #include #include #include #include #include #include "config.h" #ifdef HAS_UNISTD #include #endif #include "alloc.h" #include "fail.h" #include "instruct.h" #include "mlvalues.h" #include "signals.h" #include "stacks.h" #ifdef HAS_UI #include "ui.h" #endif extern int errno; #ifdef HAS_STRERROR extern char * strerror(); char * error_message() { return strerror(errno); } #else extern int sys_nerr; extern char * sys_errlist []; char * error_message() { if (errno < 0 || errno >= sys_nerr) return "unknown error"; else return sys_errlist[errno]; } #endif /* HAS_STRERROR */ void sys_error(arg) char * arg; { char * err = error_message(); int err_len = strlen(err); int arg_len; value str; if (arg == NULL) { str = alloc_string(err_len); bcopy(err, &Byte(str, 0), err_len); } else { arg_len = strlen(arg); str = alloc_string(arg_len + 2 + err_len); bcopy(arg, &Byte(str, 0), arg_len); bcopy(": ", &Byte(str, arg_len), 2); bcopy(err, &Byte(str, arg_len + 2), err_len); } raise_sys_error(str); } value sys_exit(retcode) /* ML */ value retcode; { #ifdef HAS_UI ui_exit(Int_val(retcode)); #else exit(Int_val(retcode)); #endif return Val_unit; } #ifndef O_BINARY #define O_BINARY 0 #endif #ifndef O_TEXT #define O_TEXT 0 #endif static int sys_open_flags[] = { O_RDONLY, O_WRONLY, O_APPEND, O_CREAT, O_TRUNC, O_EXCL, O_BINARY, O_TEXT }; value sys_open(path, flags, perm) /* ML */ value path, flags, perm; { int ret; ret = open(String_val(path), convert_flag_list(flags, sys_open_flags), Int_val(perm)); if (ret == -1) sys_error(String_val(path)); return Val_long(ret); } value sys_file_exists(name) /* ML */ value name; { struct stat st; return Val_bool(stat(String_val(name), &st) == 0); } value sys_remove(name) /* ML */ value name; { int ret; ret = unlink(String_val(name)); if (ret != 0) sys_error(String_val(name)); return Val_unit; } value sys_rename(oldname, newname) /* ML */ value oldname, newname; { if (rename(String_val(oldname), String_val(newname)) != 0) sys_error(String_val(oldname)); return Val_unit; } value sys_chdir(dirname) /* ML */ value dirname; { if (chdir(String_val(dirname)) != 0) sys_error(String_val(dirname)); return Val_unit; } value sys_getcwd(unit) /* ML */ value unit; { char buff[4096]; #ifdef HAS_GETCWD if (getcwd(buff, sizeof(buff)) == 0) sys_error(NULL); #else if (getwd(buff) == 0) sys_error(NULL); #endif return copy_string(buff); } value sys_getenv(var) /* ML */ value var; { char * res; res = getenv(String_val(var)); if (res == 0) raise_not_found(); return copy_string(res); } static char ** main_argv; value sys_get_argv(unit) /* ML */ value unit; { return copy_string_array(main_argv); } void sys_init(argv) char ** argv; { main_argv = argv; } value sys_system_command(command) /* ML */ value command; { int retcode = system(String_val(command)); if (retcode == -1) sys_error(String_val(command)); return Val_int(retcode); } /* Search path function */ #ifndef _WIN32 #ifndef S_ISREG #define S_ISREG(mode) (((mode) & S_IFMT) == S_IFREG) #endif char * searchpath(name) char * name; { char * fullname; char * path; char * p; char * q; struct stat st; for (p = name; *p != 0; p++) { if (*p == '/') return name; } path = getenv("PATH"); if (path == NULL) return 0; fullname = stat_alloc(strlen(filename) + strlen(path) + 2); while(1) { for (p = fullname; *path != 0 && *path != ':'; p++, path++) *p = *path; if (p != fullname) *p++ = '/'; for (q = name; *q != 0; p++, q++) *p = *q; *p = 0; if (stat(fullname, &st) == 0 && S_ISREG(st.st_mode)) break; if (*path == 0) return 0; path++; } return fullname; } #else char * searchpath(name) char * name; { char * fullname; char * path; char * p; char * q; struct stat st; for (p = name; *p != 0; p++) { if (*p == '/' || *p == '\\' || *p == ':') return name; } if (stat(name, &st) == 0) return name; path = getenv("PATH"); if (path == NULL) return 0; fullname = stat_alloc(strlen(name) + strlen(path) + 6); while(1) { for (p = fullname; *path != 0 && *path != ';'; p++, path++) *p = *path; if (p != fullname) *p++ = '\\'; for (q = name; *q != 0; p++, q++) *p = *q; *p = 0; if (stat(fullname, &st) == 0) break; strcpy(p, ".exe"); if (stat(fullname, &st) == 0) break; if (*path == 0) return 0; path++; } return fullname; } #endif