Changes by: Aleksey Nogin (nogin at metaprl.org)
Date: 2006-11-10 12:26:52 -0800 (Fri, 10 Nov 2006)
Revision: 9744
Log message:

      Made the omake_options type fully abstract.
      
      This is needed to allow some "gap" between how the options are set and how the
      options are used.  Currently some options have "side-effects" (e.g. -p also
      enables -k and --no-s wouls also enable --print-status and --print-exit). The
      way this is currently implemented is somewhat problematic - for examplle, if
      one uses an explicit --no-k -p, the -p would still override the --no-k. With
      the omake_options type being abstract it should be easier to have options that
      oly affect the _default_ values of some other options, but do not override the
      value if it was explicitly given by the user.
      
      See also bug 172.
      

Changes  Path
+7 -5 omake-branches/0.9.8.x/src/Makefile
+7 -5 omake-branches/0.9.8.x/src/Makefile.nt
+41 -43 omake-branches/0.9.8.x/src/build/omake_build.ml
+3 -3 omake-branches/0.9.8.x/src/build/omake_build.mli
+5 -6 omake-branches/0.9.8.x/src/build/omake_build_tee.ml
+5 -5 omake-branches/0.9.8.x/src/env/omake_env.ml
+5 -8 omake-branches/0.9.8.x/src/env/omake_env.mli
+4 -8 omake-branches/0.9.8.x/src/eval/omake_eval.ml
+9 -12 omake-branches/0.9.8.x/src/exec/omake_exec.ml
+2 -5 omake-branches/0.9.8.x/src/exec/omake_exec_local.ml
+15 -18 omake-branches/0.9.8.x/src/exec/omake_exec_print.ml
+2 -5 omake-branches/0.9.8.x/src/exec/omake_exec_print.mli
+4 -8 omake-branches/0.9.8.x/src/exec/omake_exec_remote.ml
+2 -5 omake-branches/0.9.8.x/src/exec/omake_exec_remote.mli
+2 -5 omake-branches/0.9.8.x/src/exec/omake_exec_type.ml
+1 -1 omake-branches/0.9.8.x/src/ir/OMakefile
Copied omake-branches/0.9.8.x/src/ir/omake_options.ml
+379 -0 omake-branches/0.9.8.x/src/ir/omake_options.ml
Copied omake-branches/0.9.8.x/src/ir/omake_options.mli
+96 -0 omake-branches/0.9.8.x/src/ir/omake_options.mli
Deleted omake-branches/0.9.8.x/src/ir/omake_options_type.ml
+0 -210 omake-branches/0.9.8.x/src/ir/omake_state.ml
+4 -21 omake-branches/0.9.8.x/src/ir/omake_state.mli
+4 -4 omake-branches/0.9.8.x/src/main/omake_main.ml
+5 -8 omake-branches/0.9.8.x/src/main/omake_shell.ml
+3 -6 omake-branches/0.9.8.x/src/main/omake_shell.mli