blob: e116bf0e302387fe5cfa0a535cebd4db5cc2f19b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
#! /bin/sh /usr/share/dpatch/dpatch-run
## ocaml309.dpatch by Samuel Mimram <smimram@debian.org>
##
## All lines beginning with `## DP:' are a description of the patch.
## DP: Correct a compilation issue with OCaml 3.09.
@DPATCH@
diff -urNad coq-8.0pl2~/Makefile coq-8.0pl2/Makefile
--- coq-8.0pl2~/Makefile 2005-01-21 18:15:12.000000000 +0100
+++ coq-8.0pl2/Makefile 2005-11-21 19:51:38.000000000 +0100
@@ -1453,11 +1453,11 @@
.ml4.cmx:
$(SHOW)'OCAMLOPT4 $<'
- $(HIDE)$(OCAMLOPT) $(OPTFLAGS) -pp "$(CAMLP4O) $(CAMLP4EXTENDFLAGS) `$(CAMLP4DEPS) $<` -impl" -c -impl $<
+ $(HIDE)$(OCAMLOPT) $(OPTFLAGS) -pp "$(CAMLP4O) $(CAMLP4EXTENDFLAGS) `$(CAMLP4DEPS) $<` -loc loc -impl" -c -impl $<
.ml4.cmo:
$(SHOW)'OCAMLC4 $<'
- $(HIDE)$(OCAMLC) $(BYTEFLAGS) -pp "$(CAMLP4O) $(CAMLP4EXTENDFLAGS) `$(CAMLP4DEPS) $<` -impl" -c -impl $<
+ $(HIDE)$(OCAMLC) $(BYTEFLAGS) -pp "$(CAMLP4O) $(CAMLP4EXTENDFLAGS) `$(CAMLP4DEPS) $<` -loc loc -impl" -c -impl $<
#.v.vo:
# $(BOOTCOQTOP) -compile $*
|
