From 2413371d18479cf7dc1198ec1d2dcc82aed3ef70 Mon Sep 17 00:00:00 2001 From: Xavier Leroy Date: Fri, 29 Nov 2002 15:03:37 +0000 Subject: [PATCH] Prevoir d'avoir des options de ligne de commande specifiques a un processeur git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5304 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 --- asmcomp/alpha/arch.ml | 4 ++++ asmcomp/arm/arch.ml | 4 ++++ asmcomp/hppa/arch.ml | 6 ++++++ asmcomp/i386/arch.ml | 4 ++++ asmcomp/ia64/arch.ml | 4 ++++ asmcomp/mips/arch.ml | 4 ++++ asmcomp/power/arch.ml | 6 ++++++ driver/optmain.ml | 4 ++-- 8 files changed, 34 insertions(+), 2 deletions(-) diff --git a/asmcomp/alpha/arch.ml b/asmcomp/alpha/arch.ml index 29079a760..52d1f11b1 100644 --- a/asmcomp/alpha/arch.ml +++ b/asmcomp/alpha/arch.ml @@ -17,6 +17,10 @@ open Misc open Format +(* Machine-specific command-line options *) + +let command_line_options = [] + (* Addressing modes *) type addressing_mode = diff --git a/asmcomp/arm/arch.ml b/asmcomp/arm/arch.ml index 9a4d15be1..aafb094b7 100644 --- a/asmcomp/arm/arch.ml +++ b/asmcomp/arm/arch.ml @@ -17,6 +17,10 @@ open Misc open Format +(* Machine-specific command-line options *) + +let command_line_options = [] + (* Addressing modes *) type addressing_mode = diff --git a/asmcomp/hppa/arch.ml b/asmcomp/hppa/arch.ml index a1c16bde6..da022ca40 100644 --- a/asmcomp/hppa/arch.ml +++ b/asmcomp/hppa/arch.ml @@ -17,6 +17,12 @@ open Misc open Format +(* Machine-specific command-line options *) + +let command_line_options = [] + +(* Specific operations *) + type specific_operation = Ishift1add | Ishift2add diff --git a/asmcomp/i386/arch.ml b/asmcomp/i386/arch.ml index 5c7d21a7b..e391df4a6 100644 --- a/asmcomp/i386/arch.ml +++ b/asmcomp/i386/arch.ml @@ -12,6 +12,10 @@ (* $Id$ *) +(* Machine-specific command-line options *) + +let command_line_options = [] + (* Specific operations for the Intel 386 processor *) open Misc diff --git a/asmcomp/ia64/arch.ml b/asmcomp/ia64/arch.ml index 1f8eb7a8d..77dddaca2 100644 --- a/asmcomp/ia64/arch.ml +++ b/asmcomp/ia64/arch.ml @@ -17,6 +17,10 @@ open Misc open Format +(* Machine-specific command-line options *) + +let command_line_options = [] + (* Addressing modes -- only one! (register with no displacement) *) type addressing_mode = Iindexed diff --git a/asmcomp/mips/arch.ml b/asmcomp/mips/arch.ml index 50f067de8..c174ef6c9 100644 --- a/asmcomp/mips/arch.ml +++ b/asmcomp/mips/arch.ml @@ -17,6 +17,10 @@ open Misc open Format +(* Machine-specific command-line options *) + +let command_line_options = [] + (* Addressing modes *) type addressing_mode = diff --git a/asmcomp/power/arch.ml b/asmcomp/power/arch.ml index c04f0a590..db06c5ff8 100644 --- a/asmcomp/power/arch.ml +++ b/asmcomp/power/arch.ml @@ -17,6 +17,12 @@ open Misc open Format +(* Machine-specific command-line options *) + +let command_line_options = [] + +(* Specific operations *) + type specific_operation = Imultaddf (* multiply and add *) | Imultsubf (* multiply and subtract *) diff --git a/driver/optmain.ml b/driver/optmain.ml index 1988ae24f..7fa0b7349 100644 --- a/driver/optmain.ml +++ b/driver/optmain.ml @@ -76,7 +76,7 @@ let main () = c_linker := Config.native_c_linker; let ppf = Format.err_formatter in try - Arg.parse [ + Arg.parse (Arch.command_line_options @ [ "-a", Arg.Set make_archive, " Build a library"; "-c", Arg.Set compile_only, " Compile only (do not link)"; "-cc", Arg.String(fun s -> c_compiler := s; c_linker := s), @@ -176,7 +176,7 @@ let main () = "-dstartup", Arg.Set keep_startup_file, " (undocumented)"; "-", Arg.String (process_file ppf), " Treat as a file name (even if it starts with `-')" - ] (process_file ppf) usage; + ]) (process_file ppf) usage; if !make_archive then begin Optcompile.init_path(); Asmlibrarian.create_archive (List.rev !objfiles)