blob: 968e32e40769ba410ddcb4fbb9dfda458a2b16d2 (
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
25
26
27
28
|
--- ./scripts/install.sh.orig 2010-12-01 09:49:32.169509005 +0800
+++ ./scripts/install.sh 2010-12-01 09:58:02.551384509 +0800
@@ -27,15 +27,16 @@
./Setup register ${VERBOSE} --gen-pkg-config="${PKG}.conf" \
|| die "Generating the registration information for the package ${PKG} failed"
- if [ -f ${PKG}.conf ]; then
- if test "${USER_INSTALL}" = "YES"; then
- GHC_PKG_DB="--user"
- else
- GHC_PKG_DB="--global"
- fi
- ${GHC_PKG} update ${GHC_PKG_DB} "${PKG}.conf" \
- || die "Registering the package ${PKG} failed"
- fi
+# Uncomment to allow actually registering packages at building time
+# if [ -f ${PKG}.conf ]; then
+# if test "${USER_INSTALL}" = "YES"; then
+# GHC_PKG_DB="--user"
+# else
+# GHC_PKG_DB="--global"
+# fi
+# ${GHC_PKG} update ${GHC_PKG_DB} "${PKG}.conf" \
+# || die "Registering the package ${PKG} failed"
+# fi
cd ../..
}
|
