- official build fix for ocaml 3.09
[packages/coq.git] / coq-ocaml-3.09.patch
CommitLineData
9aeb7d21
JR
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.066596 seconds and 4 git commands to generate.