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 and Damien Doligez, 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$ */
|
|
|
|
|
1996-07-24 05:58:12 -07:00
|
|
|
/* Main entry point (can be overriden by a user-provided main()
|
1997-11-17 07:11:58 -08:00
|
|
|
function that calls caml_main() later. */
|
1995-05-04 03:15:53 -07:00
|
|
|
|
|
|
|
#include "misc.h"
|
1996-10-07 06:20:13 -07:00
|
|
|
#include "mlvalues.h"
|
|
|
|
#include "sys.h"
|
1995-05-04 03:15:53 -07:00
|
|
|
|
1997-09-02 05:55:01 -07:00
|
|
|
extern void caml_main (char **);
|
1996-11-02 10:00:46 -08:00
|
|
|
|
1996-09-06 09:51:56 -07:00
|
|
|
#ifdef _WIN32
|
1997-09-02 05:55:01 -07:00
|
|
|
extern void expand_command_line (int *, char ***);
|
1996-09-06 09:51:56 -07:00
|
|
|
#endif
|
|
|
|
|
1996-11-02 10:00:46 -08:00
|
|
|
#if macintosh
|
|
|
|
#include "rotatecursor.h"
|
|
|
|
#include "signals.h"
|
|
|
|
#endif
|
|
|
|
|
1997-09-02 05:55:01 -07:00
|
|
|
int main(int argc, char **argv)
|
1995-05-04 03:15:53 -07:00
|
|
|
{
|
1996-09-06 09:51:56 -07:00
|
|
|
#ifdef _WIN32
|
|
|
|
expand_command_line(&argc, &argv);
|
1996-11-02 10:00:46 -08:00
|
|
|
#endif
|
|
|
|
#if macintosh
|
1999-11-08 09:05:20 -08:00
|
|
|
rotatecursor_options (&something_to_do, 50);
|
1998-10-02 06:02:32 -07:00
|
|
|
#endif /* macintosh */
|
1996-11-07 02:57:59 -08:00
|
|
|
caml_main(argv);
|
1996-10-07 06:20:13 -07:00
|
|
|
sys_exit(Val_int(0));
|
|
|
|
return 0; /* not reached */
|
1995-05-04 03:15:53 -07:00
|
|
|
}
|