Source: gretl
Version: 2023b-1
Severity: important
Tags: patch
gretl contains an empty directory /usr/lib/pkgconfig. Due to having
implemented the /usr-merge using directory aliasing, this directory is
prone to loss.
Looking into gretl, it becomes evident that this directory is not
needed. It is an artifact of splitting files to different binary
packages. As such, the directory can be deleted without loss of
functionality. What does not exist, cannot be lost, problem solved. I'm
attaching a patch for your convenience.
Helmut
diff -Nru gretl-2023b/debian/changelog gretl-2023b/debian/changelog
--- gretl-2023b/debian/changelog 2023-07-23 16:34:54.000000000 +0200
+++ gretl-2023b/debian/changelog 2023-07-24 06:32:35.000000000 +0200
@@ -1,3 +1,10 @@
+gretl (2023b-1.1) UNRELEASED; urgency=medium
+
+ * Non-maintainer upload.
+ * Do not ship empty directory /usr/lib/pkgconfig. (Closes: #-1)
+
+ -- Helmut Grohne <hel...@subdivi.de> Mon, 24 Jul 2023 06:32:35 +0200
+
gretl (2023b-1) unstable; urgency=medium
* New upstream release
diff -Nru gretl-2023b/debian/gretl.overrides gretl-2023b/debian/gretl.overrides
--- gretl-2023b/debian/gretl.overrides 2018-08-12 23:12:16.000000000 +0200
+++ gretl-2023b/debian/gretl.overrides 2023-07-24 06:29:59.000000000 +0200
@@ -13,8 +13,5 @@
gretl: package-contains-empty-directory usr/share/gretl/fonts/
gretl: package-contains-empty-directory usr/share/gretl/gtksourceview/
gretl: package-contains-empty-directory usr/share/gretl/scripts/misc/
-gretl: package-contains-empty-directory usr/lib/pkgconfig/
gretl: package-contains-empty-directory usr/share/gretl/db/
-gretl: postinst-has-useless-call-to-ldconfig
-gretl: postrm-has-useless-call-to-ldconfig
gretl: package-contains-empty-directory usr/share/gretl/ui/
diff -Nru gretl-2023b/debian/rules gretl-2023b/debian/rules
--- gretl-2023b/debian/rules 2023-05-23 20:08:51.000000000 +0200
+++ gretl-2023b/debian/rules 2023-07-24 06:32:33.000000000 +0200
@@ -138,6 +138,7 @@
dh_installdocs -p$(docpack) README* doc/
dh_installexamples -p$(docpack) utils/
#dh_movefiles --sourcedir=debian/$(package) -p$(docpack)
+ find debian/$(package)/usr/lib/pkgconfig -type d -empty -delete
# edd 19 Mar 2009 remove fonts deemed non-free
rm -vrf debian/$(compack)/usr/share/gretl/fonts
