Changes by: Aleksey Nogin (nogin at metaprl.org)
Date: 2007-07-02 10:02:29 -0700 (Mon, 02 Jul 2007)
Revision: 11185
Log message:

      Implement the --configure for the .STATIC sections correctly. Previous
     implementation would simply fail to consult the Omake_cache when --configure
     is given. However, the Omake_cache is used both for the caching of the .STATIC
     sections to disk and for the "memoization" of the .STATIC sections, while only
     the former function is supposed to be affected by --configure.
     
     The new implementation only checks for the --configure option when the cache
     is loaded from disk - and drops the loaded value table if --configure is
     present.
     
     This commit also pushes the processing of all the cache-related options
     (including -U and --depend) into Omake_cache.from_channel, instead of having
     each caller of Omake_cache.from_channel (currently we have two) have to do it
     independently.

Changes  Path
+34 -44 omake-branches/0.9.8.x/src/build/omake_build.ml
+1 -6 omake-branches/0.9.8.x/src/eval/omake_eval.ml
+30 -24 omake-branches/0.9.8.x/src/ir/omake_cache.ml
+2 -5 omake-branches/0.9.8.x/src/ir/omake_cache.mli