diff options
author | Sean Whitton <spwhitton@spwhitton.name> | 2016-06-12 16:09:04 +0900 |
---|---|---|
committer | Sean Whitton <spwhitton@spwhitton.name> | 2016-06-12 16:09:04 +0900 |
commit | f468087af7d11063e3103a96a7a35d3787ece5b6 (patch) | |
tree | 39f6b218e224d3e8ae941df3f859df85a2dbc011 /p/agda | |
parent | 8a52ce24b9a55f5d3ceaa2fb507af57f285bcaf6 (diff) | |
download | DHG_packages-f468087af7d11063e3103a96a7a35d3787ece5b6.tar.gz |
agda: disable -dbgsym
Diffstat (limited to 'p/agda')
-rw-r--r-- | p/agda/debian/changelog | 1 | ||||
-rwxr-xr-x | p/agda/debian/rules | 5 |
2 files changed, 6 insertions, 0 deletions
diff --git a/p/agda/debian/changelog b/p/agda/debian/changelog index 100c71045..74a2e62a8 100644 --- a/p/agda/debian/changelog +++ b/p/agda/debian/changelog @@ -16,6 +16,7 @@ agda (2.5.1-1) UNRELEASED; urgency=medium - New binary package elpa-agda2-mode. - agda-mode now a transitional dummy package. - Add patch creating file agda2-mode-pkg.el. + * Override dh_strip to disable automatic -dbgsym binary. * Add standard Haskell Lintian override for binary-or-shlib-defines-rpath. * Add myself as an uploader. * Update Vcs-* for merge into DHG_packages.git diff --git a/p/agda/debian/rules b/p/agda/debian/rules index b7ec15898..d4f1ec5fc 100755 --- a/p/agda/debian/rules +++ b/p/agda/debian/rules @@ -16,3 +16,8 @@ install/libghc-agda-dev:: debian/tmp-inst-ghc install/elpa-agda2-mode:: dh_elpa + +override_dh_strip: + # GHC cannot produce debugging symbols so the -dbgsym package + # ends up empty, so disable generating it + dh_strip --no-automatic-dbgsym |