diff options
Diffstat (limited to 'ocaml-binary-annot/byterun/main.c')
| -rw-r--r-- | ocaml-binary-annot/byterun/main.c | 59 |
1 files changed, 59 insertions, 0 deletions
diff --git a/ocaml-binary-annot/byterun/main.c b/ocaml-binary-annot/byterun/main.c new file mode 100644 index 0000000000..e6afb1b326 --- /dev/null +++ b/ocaml-binary-annot/byterun/main.c @@ -0,0 +1,59 @@ +/***********************************************************************/ +/* */ +/* Objective Caml */ +/* */ +/* Xavier Leroy and Damien Doligez, 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$ */ + +/* Main entry point (can be overridden by a user-provided main() + function that calls caml_main() later). */ + +#include "misc.h" +#include "mlvalues.h" +#include "sys.h" + +CAMLextern void caml_main (char **); + +#ifdef _WIN32 +CAMLextern void caml_expand_command_line (int *, char ***); +#endif + +int main(int argc, char **argv) +{ +#ifdef DEBUG + { + char *ocp; + char *cp; + int i; + + caml_gc_message (-1, "### OCaml runtime: debug mode ###\n", 0); +#if 0 + caml_gc_message (-1, "### command line:", 0); + for (i = 0; i < argc; i++){ + caml_gc_message (-1, " %s", argv[i]); + } + caml_gc_message (-1, "\n", 0); + ocp = getenv ("OCAMLRUNPARAM"); + caml_gc_message (-1, "### OCAMLRUNPARAM=%s\n", ocp == NULL ? "" : ocp); + cp = getenv ("CAMLRUNPARAM"); + caml_gc_message (-1, "### CAMLRUNPARAM=%s\n", cp == NULL ? "" : cp); + caml_gc_message (-1, "### working dir: %s\n", getcwd (NULL, 0)); +#endif + } +#endif +#ifdef _WIN32 + /* Expand wildcards and diversions in command line */ + caml_expand_command_line(&argc, &argv); +#endif + caml_main(argv); + caml_sys_exit(Val_int(0)); + return 0; /* not reached */ +} |