[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