1 files changed, 41 insertions, 0 deletions
diff --git a/tools/checkstack.c b/tools/checkstack.c
new file mode 100644
index 000000000..23f0a922e
--- /dev/null
+++ b/tools/checkstack.c
@@ -0,0 +1,41 @@
+/***********************************************************************/
+/*                                                                     */
+/*                           Objective Caml                            */
+/*                                                                     */
+/*          Damien Doligez, projet Moscova, INRIA Rocquencourt         */
+/*                                                                     */
+/*  Copyright 2002 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 <stdio.h>
+#include <sys/types.h>
+#include <sys/time.h>
+#include <sys/resource.h>
+
+#define MINSTACKBYTES (512 * 1024 * sizeof (long))
+
+int main(int argc, char ** argv)
+{
+  struct rlimit limit;
+  int rc;
+
+  rc = getrlimit (RLIMIT_STACK, &limit);
+  if (rc != 0) exit (0);
+  if (limit.rlim_cur < MINSTACKBYTES){
+    fprintf (stderr,
+             "\nThe current stack size limit is too low (%luk)\n"
+             "You must increase it with one of the following commands:\n"
+             "Under sh, bash, zsh:  ulimit -s %lu\n"
+             "Under csh, tcsh:      limit stacksize %lu\n\n",
+             (unsigned long) (limit.rlim_cur / 1024),
+             MINSTACKBYTES / 1024, MINSTACKBYTES / 1024);
+    exit (3);
+  }
+  exit (0);
+}