not_update_pkg_db.diff 918 B

1234567891011121314151617181920212223242526272829
  1. --- ./scripts/install.sh.orig 2010-12-01 09:49:32.169509005 +0800
  2. +++ ./scripts/install.sh 2010-12-01 09:58:02.551384509 +0800
  3. @@ -27,15 +27,16 @@
  4. ./Setup register ${VERBOSE} --gen-pkg-config="${PKG}.conf" \
  5. || die "Generating the registration information for the package ${PKG} failed"
  6. - if [ -f ${PKG}.conf ]; then
  7. - if test "${USER_INSTALL}" = "YES"; then
  8. - GHC_PKG_DB="--user"
  9. - else
  10. - GHC_PKG_DB="--global"
  11. - fi
  12. - ${GHC_PKG} update ${GHC_PKG_DB} "${PKG}.conf" \
  13. - || die "Registering the package ${PKG} failed"
  14. - fi
  15. +# Uncomment to allow actually registering packages at building time
  16. +# if [ -f ${PKG}.conf ]; then
  17. +# if test "${USER_INSTALL}" = "YES"; then
  18. +# GHC_PKG_DB="--user"
  19. +# else
  20. +# GHC_PKG_DB="--global"
  21. +# fi
  22. +# ${GHC_PKG} update ${GHC_PKG_DB} "${PKG}.conf" \
  23. +# || die "Registering the package ${PKG} failed"
  24. +# fi
  25. cd ../..
  26. }