Commit d85dbd85 authored by Clint Adams's avatar Clint Adams
Browse files

ghc: patch from John Paul Adrian Glaubitz to set --host and --build for... 

ghc: patch from John Paul Adrian Glaubitz to set --host and --build for cross-builds.  closes: #933306.
parent cf26f43c

p/ghc/debian/changelog

+7 −0
Original line number Diff line number Diff line 
ghc (8.6.5+dfsg1-3) UNRELEASED; urgency=medium



  * Patch from John Paul Adrian Glaubitz to set --host and --build for

    cross-builds.  closes: #933306.



 -- Clint Adams <clint@debian.org>  Sun, 28 Jul 2019 20:02:11 -0400



ghc (8.6.5+dfsg1-2) unstable; urgency=medium



  [ Ilias Tsitsimpis ]

p/ghc/debian/rules

+2 −2
Original line number Diff line number Diff line
@@ -23,12 +23,12 @@ export DEB_HOST_GNU_TYPE ?= $(shell dpkg-architecture -qDEB_HOST_GNU_TYPE) 
export DEB_BUILD_GNU_TYPE ?= $(shell dpkg-architecture -qDEB_BUILD_GNU_TYPE)

export DEB_HOST_ARCH      ?= $(shell dpkg-architecture -qDEB_HOST_ARCH)



EXTRA_CONFIGURE_FLAGS += --target $(DEB_HOST_GNU_TYPE)

# We're cross-building if DEB_BUILD_GNU_TYPE != DEB_HOST_GNU_TYPE

ifneq ($(DEB_BUILD_GNU_TYPE), $(DEB_HOST_GNU_TYPE))

  EXTRA_CONFIGURE_FLAGS += --enable-unregisterised

  EXTRA_CONFIGURE_FLAGS += --host $(DEB_BUILD_GNU_TYPE) --build $(DEB_BUILD_GNU_TYPE) --target $(DEB_HOST_GNU_TYPE) --enable-unregisterised

  BUILD_CROSS=YES

else

  EXTRA_CONFIGURE_FLAGS += --target $(DEB_HOST_GNU_TYPE)

  BUILD_CROSS=NO

endif