diff options
Diffstat (limited to 'camlp4/ocaml_src/odyl/odyl.ml')
| -rw-r--r-- | camlp4/ocaml_src/odyl/odyl.ml | 50 |
1 files changed, 0 insertions, 50 deletions
diff --git a/camlp4/ocaml_src/odyl/odyl.ml b/camlp4/ocaml_src/odyl/odyl.ml deleted file mode 100644 index 096e13eeb4..0000000000 --- a/camlp4/ocaml_src/odyl/odyl.ml +++ /dev/null @@ -1,50 +0,0 @@ -(* camlp4r *) -(***********************************************************************) -(* *) -(* Camlp4 *) -(* *) -(* Daniel de Rauglaudre, projet Cristal, INRIA Rocquencourt *) -(* *) -(* Copyright 2001 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) -(* *) -(***********************************************************************) - -(* This file has been generated by program: do not edit! *) - -let apply_load () = - let i = ref 1 in - let stop = ref false in - while not !stop && !i < Array.length Sys.argv do - let s = Sys.argv.(!i) in - if s = "-I" && !i + 1 < Array.length Sys.argv then - begin Odyl_main.directory Sys.argv.(!i + 1); i := !i + 2 end - else if s = "-nolib" then begin Odyl_main.nolib := true; incr i end - else if s = "-where" then - begin - print_string Odyl_config.standard_library; - print_newline (); - flush stdout; - exit 0 - end - else if s = "--" then begin incr i; stop := true; () end - else if String.length s > 0 && s.[0] == '-' then stop := true - else if - Filename.check_suffix s ".cmo" || Filename.check_suffix s ".cma" - then - begin Odyl_main.loadfile s; incr i end - else stop := true - done -;; - -let main () = - try apply_load (); !(Odyl_main.go) () with - Odyl_main.Error (fname, str) -> - flush stdout; - Printf.eprintf "Error while loading \"%s\": " fname; - Printf.eprintf "%s.\n" str; - flush stderr; - exit 2 -;; - -Printexc.catch main ();; |