coq-ocaml-3.09.patch

   1 *** Makefile    2005/02/01 15:38:09
   2 --- Makefile    2005/11/04 00:46:57
   3 ***************
   4 *** 1453,1463 ****
   5
   6   .ml4.cmx:
   7         $(SHOW)'OCAMLOPT4 $<'
   8 !       $(HIDE)$(OCAMLOPT) $(OPTFLAGS) -pp "$(CAMLP4O) $(CAMLP4EXTENDFLAGS) `$(CAMLP4DEPS) $<` -impl" -c -impl $<
   9
  10   .ml4.cmo:
  11         $(SHOW)'OCAMLC4   $<'
  12 !       $(HIDE)$(OCAMLC) $(BYTEFLAGS) -pp "$(CAMLP4O) $(CAMLP4EXTENDFLAGS) `$(CAMLP4DEPS) $<` -impl" -c -impl $<
  13
  14   #.v.vo:
  15   #     $(BOOTCOQTOP) -compile $*
  16 --- 1453,1463 ----
  17
  18   .ml4.cmx:
  19         $(SHOW)'OCAMLOPT4 $<'
  20 !       $(HIDE)$(OCAMLOPT) $(OPTFLAGS) -pp "$(CAMLP4O) $(CAMLP4EXTENDFLAGS) `$(CAMLP4DEPS) $<` -loc loc -impl" -c -impl $<
  21
  22   .ml4.cmo:
  23         $(SHOW)'OCAMLC4   $<'
  24 !       $(HIDE)$(OCAMLC) $(BYTEFLAGS) -pp "$(CAMLP4O) $(CAMLP4EXTENDFLAGS) `$(CAMLP4DEPS) $<` -loc loc -impl" -c -impl $<
  25
  26   #.v.vo:
  27   #     $(BOOTCOQTOP) -compile $*