Adjust package to follow PHP 7 packaging changes

3 files changed, 8 insertions, 4 deletions

diff --git a/.SRCINFO b/.SRCINFO
index f814ecbb9391..1a1f6f0f7758 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,7 +1,9 @@
+# Generated by mksrcinfo v8
+# Mon Jan  4 13:14:52 UTC 2016
 pkgbase = phpcov
 	pkgdesc = A command-line frontend for the PHP_CodeCoverage library.
 	pkgver = 2.0.2
-	pkgrel = 1
+	pkgrel = 2
 	url = https://github.com/sebastianbergmann/phpcov
 	install = phpcov.install
 	arch = any
diff --git a/PKGBUILD b/PKGBUILD
index 85133a2d7175..14ae65e86feb 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,7 +1,7 @@
 # Maintainer: Stefan Auditor <stefan.auditor@erdfisch.de>
 pkgname=phpcov
 pkgver=2.0.2
-pkgrel=1
+pkgrel=2
 pkgdesc="A command-line frontend for the PHP_CodeCoverage library."
 url="https://github.com/sebastianbergmann/phpcov"
 arch=("any")
diff --git a/phpcov.install b/phpcov.install
index 55c57b216ffc..0361ce6825a1 100644
--- a/phpcov.install
+++ b/phpcov.install
@@ -1,6 +1,8 @@
 post_install() {
-  echo
-  echo "Warning: phar.so must be enabled and date.timezone set in your php.ini"
+  if php -i | grep 'date.timezone => no value => no value' >/dev/null 2>&1; then
+      echo -e "Warning: The date.timezone setting must be set in your php.ini"
+      echo -e "You may use \"sed -i 's/;date.timezone =/date.timezone = Europe\/Berlin/g' /etc/php/php.ini\" to change your configuration"
+  fi
 }
 
 post_upgrade() {