diff options
Diffstat (limited to 'tools/ocamlcp.ml')
| -rw-r--r-- | tools/ocamlcp.ml | 134 |
1 files changed, 0 insertions, 134 deletions
diff --git a/tools/ocamlcp.ml b/tools/ocamlcp.ml deleted file mode 100644 index 73824d5646..0000000000 --- a/tools/ocamlcp.ml +++ /dev/null @@ -1,134 +0,0 @@ -(***********************************************************************) -(* *) -(* Objective Caml *) -(* *) -(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) -(* *) -(* Copyright 1998 Institut National de Recherche en Informatique et *) -(* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the Q Public License version 1.0. *) -(* *) -(***********************************************************************) - -(* $Id$ *) - -open Printf - -let compargs = ref ([] : string list) -let profargs = ref ([] : string list) -let toremove = ref ([] : string list) - -let option opt () = compargs := opt :: !compargs -let option_with_arg opt arg = - compargs := (Filename.quote arg) :: opt :: !compargs -;; - -let make_archive = ref false;; -let with_impl = ref false;; -let with_intf = ref false;; -let with_mli = ref false;; -let with_ml = ref false;; - -let process_file filename = - if Filename.check_suffix filename ".ml" then with_ml := true; - if Filename.check_suffix filename ".mli" then with_mli := true; - compargs := (Filename.quote filename) :: !compargs -;; - -let usage = "Usage: ocamlcp <options> <files>\noptions are:" - -let incompatible o = - fprintf stderr "ocamlcp: profiling is incompatible with the %s option\n" o; - exit 2 - -let ismultithreaded = ref "" - -module Options = Main_args.Make_options (struct - let _a () = make_archive := true; option "-a" () - let _c = option "-c" - let _cc s = option_with_arg "-cc" s - let _cclib s = option_with_arg "-cclib" s - let _ccopt s = option_with_arg "-ccopt" s - let _custom = option "-custom" - let _dllib = option_with_arg "-dllib" - let _dllpath = option_with_arg "-dllpath" - let _dtypes = option "-dtypes" - let _g = option "-g" - let _i = option "-i" - let _I s = option_with_arg "-I" s - let _impl s = with_impl := true; option_with_arg "-impl" s - let _intf s = with_intf := true; option_with_arg "-intf" s - let _intf_suffix s = option_with_arg "-intf-suffix" s - let _labels = option "-labels" - let _linkall = option "-linkall" - let _make_runtime = option "-make-runtime" - let _noassert = option "-noassert" - let _nolabels = option "-nolabels" - let _noautolink = option "-noautolink" - let _nostdlib = option "-nostdlib" - let _o s = option_with_arg "-o" s - let _output_obj = option "-output-obj" - let _pack = option "-pack" - let _pp s = incompatible "-pp" - let _principal = option "-principal" - let _rectypes = option "-rectypes" - let _thread () = ismultithreaded := "-thread"; option "-thread" () - let _vmthread () = ismultithreaded := "-vmthread"; option "-vmthread" () - let _unsafe = option "-unsafe" - let _use_prims s = option_with_arg "-use-prims" s - let _use_runtime s = option_with_arg "-use-runtime" s - let _v = option "-v" - let _version = option "-version" - let _verbose = option "-verbose" - let _w = option_with_arg "-w" - let _warn_error = option_with_arg "-warn-error" - let _where = option "-where" - let _nopervasives = option "-nopervasives" - let _dparsetree = option "-dparsetree" - let _drawlambda = option "-drawlambda" - let _dlambda = option "-dlambda" - let _dinstr = option "-dinstr" - let anonymous = process_file -end);; - -let add_profarg s = - profargs := (Filename.quote s) :: "-m" :: !profargs -;; - -let optlist = - ("-p", Arg.String add_profarg, - "[afilmt] Profile constructs specified by argument:\n\ - \032 a Everything\n\ - \032 f Function calls and method calls\n\ - \032 i if ... then ... else\n\ - \032 l while and for loops\n\ - \032 m match ... with\n\ - \032 t try ... with") - :: Options.list -in -Arg.parse optlist process_file usage; -if !with_impl && !with_intf then begin - fprintf stderr "ocamlcp cannot deal with both \"-impl\" and \"-intf\"\n"; - fprintf stderr "please compile interfaces and implementations separately\n"; - exit 2; -end else if !with_impl && !with_mli then begin - fprintf stderr "ocamlcp cannot deal with both \"-impl\" and .mli files\n"; - fprintf stderr "please compile interfaces and implementations separately\n"; - exit 2; -end else if !with_intf && !with_ml then begin - fprintf stderr "ocamlcp cannot deal with both \"-intf\" and .ml files\n"; - fprintf stderr "please compile interfaces and implementations separately\n"; - exit 2; -end; -if !with_impl then profargs := "-impl" :: !profargs; -if !with_intf then profargs := "-intf" :: !profargs; -let status = - Sys.command - (Printf.sprintf "ocamlc -pp \"ocamlprof %s -instrument %s\" %s %s" - !ismultithreaded - (String.concat " " (List.rev !profargs)) - (if !make_archive then "" else "profiling.cmo") - (String.concat " " (List.rev !compargs))) -in -exit status -;; |