Ticket #6130: patch-coq-8.0pl2-ocaml-3.09

File patch-coq-8.0pl2-ocaml-3.09, 818 bytes (added by reilles@…, 18 years ago)

patch for ocaml 3.09

Line 
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 $*