diff --git a/src/options.ml b/src/options.ml index dc5fbdb55836ab02d5906ac8c9af626905f50bf5..7b7e18dd97bd6dbf7b8ebea5312ca2feade96661 100755 --- a/src/options.ml +++ b/src/options.ml @@ -119,11 +119,10 @@ let set_mpfr prec = let set_backend s = output := s; Backends.setup s - -let options = -[ "-d", Arg.Set_string dest_dir, -"uses the specified directory \x1b[4mdir\x1b[0m as root for generated/imported object and C files <default: .>"; -"-I", Arg.Set_string include_dir, "Include directory"; + +let common_options = + [ "-d", Arg.Set_string dest_dir, "uses the specified \x1b[4mdirectory\x1b[0m as root for generated/imported object and C files <default: .>"; + "-I", Arg.String add_include_dir, "sets include \x1b[4mdirectory\x1b[0m"; "-node", Arg.Set_string main_node, "specifies the \x1b[4mmain\x1b[0m node"; "-print-types", Arg.Set print_types, "prints node types"; "-print-clocks", Arg.Set print_clocks, "prints node clocks";