[Pkg-giraffe-discuss] [PATCH 2/2] php7.0-mapi: install the modul by dh-php
c.schoenert at t-online.de
c.schoenert at t-online.de
Mon Jan 9 07:32:21 UTC 2017
From: Carsten Schoenert <c.schoenert at t-online.de>
Let dh-php do the correct installation and registration for
mapi.{ini,so} by automatic creation of the post{inst,rm} and
pre{inst,rm} scripts.
---
debian/php7.0-mapi.install | 3 +--
debian/php7.0-mapi.php | 3 +++
2 files changed, 4 insertions(+), 2 deletions(-)
create mode 100644 debian/php7.0-mapi.php
diff --git a/debian/php7.0-mapi.install b/debian/php7.0-mapi.install
index c5d52016..7f59f299 100644
--- a/debian/php7.0-mapi.install
+++ b/debian/php7.0-mapi.install
@@ -1,3 +1,2 @@
-etc/php*/*
-usr/lib/php*/*/mapi.so*
+# installation of mapi.{ini,so} is handled by php7.0-mapi.php
usr/share/php/mapi/
diff --git a/debian/php7.0-mapi.php b/debian/php7.0-mapi.php
new file mode 100644
index 00000000..f0133449
--- /dev/null
+++ b/debian/php7.0-mapi.php
@@ -0,0 +1,3 @@
+# PHP modul installation for php7.0-mapi
+mod debian/tmp/etc/php/7.0/cli/conf.d/mapi.ini
+mod debian/tmp/usr/lib/php/20151012/mapi.so
--
2.11.0
More information about the Pkg-giraffe-discuss
mailing list