diff options
author | Clint Adams <clint@debian.org> | 2017-06-27 19:38:00 -0400 |
---|---|---|
committer | Clint Adams <clint@debian.org> | 2017-06-27 19:38:00 -0400 |
commit | 8eb0b32229ad2a9be5ec46005634175d11bc0351 (patch) | |
tree | dbd19bc7773202770e19cbe7fca6ed660679ecab /p/hlint/debian | |
parent | 67ee2ecee6291c4611600fc201e25f8e95ee92d6 (diff) | |
download | DHG_packages-8eb0b32229ad2a9be5ec46005634175d11bc0351.tar.gz |
hlint: fix path to libHSrts_thr.a
Diffstat (limited to 'p/hlint/debian')
-rw-r--r-- | p/hlint/debian/changelog | 10 | ||||
-rwxr-xr-x | p/hlint/debian/rules | 2 |
2 files changed, 8 insertions, 4 deletions
diff --git a/p/hlint/debian/changelog b/p/hlint/debian/changelog index ac22e041d..d78adaa81 100644 --- a/p/hlint/debian/changelog +++ b/p/hlint/debian/changelog @@ -1,8 +1,12 @@ -hlint (1.9.35-4) UNRELEASED; urgency=medium +hlint (1.9.35-5) unstable; urgency=medium - * Fix path to documentation in hlint(1) (Closes: #862232) + [ Joachim Breitner ] + * Fix path to documentation in hlint(1) (Closes: #862232) + + [ Clint Adams ] + * Fix path to libHSrts_thr.a. - -- Joachim Breitner <nomeata@debian.org> Wed, 10 May 2017 11:15:33 -0400 + -- Clint Adams <clint@debian.org> Tue, 27 Jun 2017 19:37:31 -0400 hlint (1.9.35-3) unstable; urgency=medium diff --git a/p/hlint/debian/rules b/p/hlint/debian/rules index b0ea81eca..51134384f 100755 --- a/p/hlint/debian/rules +++ b/p/hlint/debian/rules @@ -6,7 +6,7 @@ include /usr/share/cdbs/1/rules/debhelper.mk include /usr/share/cdbs/1/class/hlibrary.mk # If no threaded RTS is found, disable it -DEB_SETUP_GHC_CONFIGURE_ARGS := $(shell test -e /usr/lib/ghc/rts-1.0/libHSrts_thr.a || echo --flags=-threaded) --datasubdir=/usr/share/hlint +DEB_SETUP_GHC_CONFIGURE_ARGS := $(shell test -e /usr/lib/ghc/rts/libHSrts_thr.a || echo --flags=-threaded) --datasubdir=/usr/share/hlint build/$(CABAL_PACKAGE) :: build-ghc-stamp |