Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2006-01-19 19:22:51 -0800 (Thu, 19 Jan 2006)
Revision: 8525
Log message:

      Separate the theory configuration from the build specification.
      
      Now, each theory includes a required file called MetaprlInfo (we
      can change the name, although I prefer the generic name Theory or
      TheoryInfo:).
      
          MetaprlInfo specifies:
              THEORYNAME = ...
              THEORYDESCR = ...
              THEORY_DEPS[] = ...
              MLZFILES[] = ...
              MPFILES[] = ...
              PRINT_THEORIES[] = ...
      
      If this is all you have (the normal case), you do not need to define an
      OMakefile.  The build will proceed according to the normal rules.
      
      If you have special concerns, you may also write an OMakefile for
      the directory.  In this case, the default actions are *not* taken,
      and you should specify them by hand.
      
      Next up: configure the install directory, and allow a search
      path for locating theories.
      

Changes  Path
+23 -6 metaprl/OMakefile_theories
Added metaprl/theories/cic/MetaprlInfo
Copied metaprl/theories/czf/MetaprlInfo
+95 -0 metaprl/theories/czf/MetaprlInfo
Deleted metaprl/theories/czf/OMakefile
Added metaprl/theories/experimental/compile/MetaprlInfo
Added metaprl/theories/experimental/mcc/fir/type/MetaprlInfo
Added metaprl/theories/experimental/unity/MetaprlInfo
+0 -2 metaprl/theories/experimental/unity/OMakefile
Copied metaprl/theories/fir/MetaprlInfo
+47 -0 metaprl/theories/fir/MetaprlInfo
Deleted metaprl/theories/fir/OMakefile
Copied metaprl/theories/fol/MetaprlInfo
+35 -0 metaprl/theories/fol/MetaprlInfo
Deleted metaprl/theories/fol/OMakefile
Copied metaprl/theories/hol/MetaprlInfo
+5 -0 metaprl/theories/hol/MetaprlInfo
Deleted metaprl/theories/hol/OMakefile
Added metaprl/theories/ilc/MetaprlInfo
+0 -14 metaprl/theories/ilc/OMakefile
Copied metaprl/theories/itt/MetaprlInfo
+89 -0 metaprl/theories/itt/MetaprlInfo
Deleted metaprl/theories/itt/OMakefile
Copied metaprl/theories/itt/applications/MetaprlInfo
+7 -0 metaprl/theories/itt/applications/MetaprlInfo
Deleted metaprl/theories/itt/applications/OMakefile
Copied metaprl/theories/itt/applications/algebra/MetaprlInfo
+19 -0 metaprl/theories/itt/applications/algebra/MetaprlInfo
Deleted metaprl/theories/itt/applications/algebra/OMakefile
Copied metaprl/theories/itt/applications/datatypes/MetaprlInfo
+16 -0 metaprl/theories/itt/applications/datatypes/MetaprlInfo
Deleted metaprl/theories/itt/applications/datatypes/OMakefile
Copied metaprl/theories/itt/applications/function_spaces/MetaprlInfo
+10 -0 metaprl/theories/itt/applications/function_spaces/MetaprlInfo
Deleted metaprl/theories/itt/applications/function_spaces/OMakefile
Copied metaprl/theories/itt/applications/objects/MetaprlInfo
+12 -0 metaprl/theories/itt/applications/objects/MetaprlInfo
Deleted metaprl/theories/itt/applications/objects/OMakefile
Copied metaprl/theories/itt/applications/supinf/MetaprlInfo
+11 -0 metaprl/theories/itt/applications/supinf/MetaprlInfo
Deleted metaprl/theories/itt/applications/supinf/OMakefile
Copied metaprl/theories/itt/core/MetaprlInfo
+67 -0 metaprl/theories/itt/core/MetaprlInfo
Deleted metaprl/theories/itt/core/OMakefile
Copied metaprl/theories/itt/extensions/MetaprlInfo
+6 -0 metaprl/theories/itt/extensions/MetaprlInfo
Deleted metaprl/theories/itt/extensions/OMakefile
Copied metaprl/theories/itt/extensions/base/MetaprlInfo
+13 -0 metaprl/theories/itt/extensions/base/MetaprlInfo
Deleted metaprl/theories/itt/extensions/base/OMakefile
Copied metaprl/theories/itt/extensions/rfun/MetaprlInfo
+10 -0 metaprl/theories/itt/extensions/rfun/MetaprlInfo
Deleted metaprl/theories/itt/extensions/rfun/OMakefile
Copied metaprl/theories/itt/extensions/vector/MetaprlInfo
+16 -0 metaprl/theories/itt/extensions/vector/MetaprlInfo
Deleted metaprl/theories/itt/extensions/vector/OMakefile
Copied metaprl/theories/itt/reflection/MetaprlInfo
+5 -0 metaprl/theories/itt/reflection/MetaprlInfo
Deleted metaprl/theories/itt/reflection/OMakefile
Copied metaprl/theories/itt/reflection/core/MetaprlInfo
+15 -0 metaprl/theories/itt/reflection/core/MetaprlInfo
Deleted metaprl/theories/itt/reflection/core/OMakefile
Copied metaprl/theories/itt/reflection/experimental/MetaprlInfo
+35 -0 metaprl/theories/itt/reflection/experimental/MetaprlInfo
Deleted metaprl/theories/itt/reflection/experimental/OMakefile
Copied metaprl/theories/itt/reflection/obsolete/MetaprlInfo
+19 -0 metaprl/theories/itt/reflection/obsolete/MetaprlInfo
Deleted metaprl/theories/itt/reflection/obsolete/OMakefile
Copied metaprl/theories/itt/tests/MetaprlInfo
+14 -0 metaprl/theories/itt/tests/MetaprlInfo
+0 -14 metaprl/theories/itt/tests/OMakefile
Copied metaprl/theories/kat/MetaprlInfo
+15 -0 metaprl/theories/kat/MetaprlInfo
Deleted metaprl/theories/kat/OMakefile
Added metaprl/theories/mesa/MetaprlInfo
+0 -49 metaprl/theories/mesa/OMakefile
Added metaprl/theories/meta/MetaprlInfo
Deleted metaprl/theories/meta/OMakefile
Copied metaprl/theories/meta/base/MetaprlInfo
+15 -0 metaprl/theories/meta/base/MetaprlInfo
Deleted metaprl/theories/meta/base/OMakefile
Copied metaprl/theories/meta/extensions/MetaprlInfo
+17 -0 metaprl/theories/meta/extensions/MetaprlInfo
Deleted metaprl/theories/meta/extensions/OMakefile
Copied metaprl/theories/ocaml_doc/MetaprlInfo
+39 -0 metaprl/theories/ocaml_doc/MetaprlInfo
+4 -37 metaprl/theories/ocaml_doc/OMakefile
Copied metaprl/theories/ocaml_sos/MetaprlInfo
+14 -0 metaprl/theories/ocaml_sos/MetaprlInfo
Deleted metaprl/theories/ocaml_sos/OMakefile
Copied metaprl/theories/poplmark/naive/MetaprlInfo
+14 -0 metaprl/theories/poplmark/naive/MetaprlInfo
Deleted metaprl/theories/poplmark/naive/OMakefile
Copied metaprl/theories/s4lp/MetaprlInfo
+8 -0 metaprl/theories/s4lp/MetaprlInfo
Deleted metaprl/theories/s4lp/OMakefile
Copied metaprl/theories/sil/MetaprlInfo
+12 -0 metaprl/theories/sil/MetaprlInfo
Deleted metaprl/theories/sil/OMakefile
Copied metaprl/theories/tptp/MetaprlInfo
+14 -0 metaprl/theories/tptp/MetaprlInfo
+0 -14 metaprl/theories/tptp/OMakefile
Copied metaprl/theories/tutorial/MetaprlInfo
+4 -0 metaprl/theories/tutorial/MetaprlInfo
Deleted metaprl/theories/tutorial/OMakefile