1995-08-09 08:06:35 -07:00
|
|
|
/***********************************************************************/
|
|
|
|
/* */
|
1996-04-30 07:53:58 -07:00
|
|
|
/* Objective Caml */
|
1995-08-09 08:06:35 -07:00
|
|
|
/* */
|
|
|
|
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
|
|
|
|
/* */
|
1996-04-30 07:53:58 -07:00
|
|
|
/* Copyright 1996 Institut National de Recherche en Informatique et */
|
1999-11-17 10:59:06 -08:00
|
|
|
/* en Automatique. All rights reserved. This file is distributed */
|
|
|
|
/* under the terms of the GNU Library General Public License. */
|
1995-08-09 08:06:35 -07:00
|
|
|
/* */
|
|
|
|
/***********************************************************************/
|
|
|
|
|
|
|
|
/* $Id$ */
|
|
|
|
|
1995-05-08 08:18:32 -07:00
|
|
|
#include <mlvalues.h>
|
|
|
|
#include <alloc.h>
|
1996-09-04 07:15:31 -07:00
|
|
|
#include "unixsupport.h"
|
1995-05-08 08:18:32 -07:00
|
|
|
|
2000-04-05 11:30:22 -07:00
|
|
|
#if !defined (_WIN32) && !macintosh
|
1995-05-08 08:18:32 -07:00
|
|
|
#include <sys/param.h>
|
1998-06-23 07:39:32 -07:00
|
|
|
#endif
|
|
|
|
|
|
|
|
#ifndef PATH_MAX
|
|
|
|
#ifdef MAXPATHLEN
|
1998-06-25 06:10:57 -07:00
|
|
|
#define PATH_MAX MAXPATHLEN
|
1996-09-04 07:15:31 -07:00
|
|
|
#else
|
1998-06-23 07:39:32 -07:00
|
|
|
#define PATH_MAX 512
|
|
|
|
#endif
|
1996-09-04 07:15:31 -07:00
|
|
|
#endif
|
1995-05-08 08:18:32 -07:00
|
|
|
|
1998-06-23 07:39:32 -07:00
|
|
|
#ifdef HAS_GETCWD
|
|
|
|
|
1997-09-02 05:55:01 -07:00
|
|
|
value unix_getcwd(value unit) /* ML */
|
1995-05-08 08:18:32 -07:00
|
|
|
{
|
1998-06-23 07:39:32 -07:00
|
|
|
char buff[PATH_MAX];
|
1995-11-02 06:09:42 -08:00
|
|
|
if (getcwd(buff, sizeof(buff)) == 0) uerror("getcwd", Nothing);
|
1995-05-08 08:18:32 -07:00
|
|
|
return copy_string(buff);
|
|
|
|
}
|
|
|
|
|
|
|
|
#else
|
|
|
|
#ifdef HAS_GETWD
|
|
|
|
|
1997-09-02 05:55:01 -07:00
|
|
|
value unix_getcwd(value unit)
|
1995-05-08 08:18:32 -07:00
|
|
|
{
|
1998-06-23 07:39:32 -07:00
|
|
|
char buff[PATH_MAX];
|
1996-03-24 08:20:50 -08:00
|
|
|
if (getwd(buff) == 0) uerror("getcwd", copy_string(buff));
|
1995-05-08 08:18:32 -07:00
|
|
|
return copy_string(buff);
|
|
|
|
}
|
|
|
|
|
|
|
|
#else
|
|
|
|
|
1997-09-02 05:55:01 -07:00
|
|
|
value unix_getcwd(value unit)
|
|
|
|
{ invalid_argument("getcwd not implemented"); }
|
1995-05-08 08:18:32 -07:00
|
|
|
|
|
|
|
#endif
|
|
|
|
#endif
|