- official build fix for ocaml 3.09
[packages/coq.git] / 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 $*
This page took 0.036994 seconds and 3 git commands to generate.