1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
|
#! /bin/sh -e
## 01_makefile.dpatch by <zack@debian.org>
##
## All lines beginning with `## DP:' are a description of the patch.
## DP: No description.
if [ $# -lt 1 ]; then
echo "`basename $0`: script expects -patch|-unpatch as argument" >&2
exit 1
fi
[ -f debian/patches/00patch-opts ] && . debian/patches/00patch-opts
patch_opts="${patch_opts:--f --no-backup-if-mismatch} ${2:+-d $2}"
case "$1" in
-patch) patch -p1 ${patch_opts} < $0;;
-unpatch) patch -R -p1 ${patch_opts} < $0;;
*)
echo "`basename $0`: script expects -patch|-unpatch as argument" >&2
exit 1;;
esac
exit 0
@DPATCH@
diff -urNad trunk~/lib/Makefile trunk/lib/Makefile
--- trunk~/lib/Makefile 2005-05-31 16:00:47.000000000 +0000
+++ trunk/lib/Makefile 2005-11-13 10:49:43.000000000 +0000
@@ -4,6 +4,8 @@
CFLAGS = -O2
CLIBS = pq
RESULT = postgresql
+DESTDIR =
+OCAMLFIND_INSTFLAGS = -ldconf /dev/null -destdir $(DESTDIR)
all:
|
