diff options
Diffstat (limited to 'ocaml-binary-annot/otherlibs/unix/cstringv.c')
| -rw-r--r-- | ocaml-binary-annot/otherlibs/unix/cstringv.c | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/ocaml-binary-annot/otherlibs/unix/cstringv.c b/ocaml-binary-annot/otherlibs/unix/cstringv.c new file mode 100644 index 0000000000..0e37914d82 --- /dev/null +++ b/ocaml-binary-annot/otherlibs/unix/cstringv.c @@ -0,0 +1,30 @@ +/***********************************************************************/ +/* */ +/* Objective Caml */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1996 Institut National de Recherche en Informatique et */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License, with */ +/* the special exception on linking described in file ../../LICENSE. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + +#include <mlvalues.h> +#include <memory.h> +#include "unixsupport.h" + +char ** cstringvect(value arg) +{ + char ** res; + mlsize_t size, i; + + size = Wosize_val(arg); + res = (char **) stat_alloc((size + 1) * sizeof(char *)); + for (i = 0; i < size; i++) res[i] = String_val(Field(arg, i)); + res[size] = NULL; + return res; +} |