Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-05-06 03:11:50 -0700 (Mon, 06 May 2002)
Revision: 3601
Log message:

      Changing some conscripts so that .cmxa targets are no longer
      hardcoded.  Improves the build markedly when started in MetaPRL,
      but theories/itt/itt_squash.ml then fails with
      
         FormatError:
         Filter_ocaml.dest_type : bad arity
      

Changes	Path
+1 -1	metaprl-branches/ocaml_3_04/ensemble/Conscript
+1 -1	metaprl-branches/ocaml_3_04/filter/base/Conscript
+1 -1	metaprl-branches/ocaml_3_04/library/Conscript
+1 -1	metaprl-branches/ocaml_3_04/mllib/Conscript
+1 -1	metaprl-branches/ocaml_3_04/refiner/refbase/Conscript
+1 -1	metaprl-branches/ocaml_3_04/refiner/refiner/Conscript
+1 -1	metaprl-branches/ocaml_3_04/refiner/refsig/Conscript
+1 -1	metaprl-branches/ocaml_3_04/refiner/rewrite/Conscript
+1 -1	metaprl-branches/ocaml_3_04/refiner/term_ds/Conscript
+1 -1	metaprl-branches/ocaml_3_04/refiner/term_gen/Conscript
+1 -1	metaprl-branches/ocaml_3_04/refiner/term_std/Conscript