Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-05-12 16:10:29 -0700 (Thu, 12 May 2005)
Revision: 7269
Log message:

      This is an update to match the recent changes to omake.  This is
      mainly a change to use explicit :scanner: dependencies.
      
      The omake log message was as follows.
      
      ------------------------------------------------------------------------
      
      This is a significant change to .SCANNER rules, where .SCANNER rules
      are treated much more like normal rules.
      
      Externally, a .SCANNER rule has the usual rule form:
      
         .SCANNER: target: dependencies...
            ...scanner commands...
      
      In this commit, the scanner target is now decoupled from the
      build target, allowing a scanner result to be used for multiple
      build targets.  For example, ocamldep produces dependencies
      for .cmo and .cmx files simultaneously.  They can share
      the scanner rule by specifying an explicit :scanner: dependency.
      
          .SCANNER: scan-ocaml-%.ml: %.ml
              ocamldep $<
      
          %.cmo: %.ml :scanner: scan-ocaml-%.ml
              $(OCAMLC) ...
      
          %.cmx %.o: %.ml :scanner: scan-ocaml-%.ml
              $(OCAMLOPT) ...
      
      The current convention is that scanner targets should be named
      scan-<language>-<source-file>.
      
         -- If a rule has multiple :scanner: dependencies, the actual
            dependencies will be the union of the scanner results.
      
         -- The .SCANNER targets use a different namespace than
            normal targets, so it is valid to have overlapping rules.
      
                .SCANNER: foo:
                    echo "foo: boo"
      
                foo: :scanner: foo
                    ...
      
         -- For backwards compatibility, if a rule has no :scanner:
            dependencies, then omake will try to find a scanner with
            the same name as the target.  So in the example above,
            the :scanner: foo is actually unnecessary.
      

Changes  Path
+77 -96 metaprl/OMakefile
+4 -5 metaprl/editor/ml/OMakefile
+1 -1 metaprl/filter/OMakefile
+31 -31 metaprl/mllib/OMakefile
+1 -1 metaprl/refiner/OMakefile
+8 -1 metaprl/support/shell/OMakefile
+0 -0 metaprl/support/shell/shell_p4_sig.mlz
+10 -2 metaprl/support/tactics/OMakefile
+20 -10 metaprl/theories/itt/OMakefile
+4 -4 metaprl/theories/ocaml_doc/book3.tex
+3 -3 metaprl/theories/ocaml_doc/ocaml_doc_exn1.ml
+3 -3 metaprl/theories/ocaml_doc/ocaml_doc_expr4.ml
+2 -2 metaprl/util/OMakefile