Bug#884750: happy: stage1 build profile FTBFS

[John Paul Adrian Glaubitz]

Package: src:happy
Followup-For: Bug #884750

Hi!

This is trivially fixed with the following patch:

--- debian/rules~       2018-04-09 21:06:48.000000000 +0200
+++ debian/rules        2018-07-25 14:21:27.034989036 +0200
@@ -15,9 +15,6 @@
 
 ifneq (,$(filter stage1,$(DEB_BUILD_PROFILES)))
 DEB_SETUP_GHC_CONFIGURE_ARGS += --with-happy=/bin/true
-
-cleanbuilddir/happy::
-       cp -a dist/build/happy/happy-tmp/*.hs src/
 endif
 
 clean::

I just ran into this problem while bootstrapping happy for
risc64. If I remember correctly, src:alex has this problem
as well.

Adrian

--
 .''`.  John Paul Adrian Glaubitz
: :' :  Debian Developer - glaubitz at debian.org
`. `'   Freie Universitaet Berlin - glaubitz at physik.fu-berlin.de
  `-    GPG: 62FF 8A75 84E0 2956 9546  0006 7426 3B37 F5B5 F913