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 - glaub...@debian.org `. `' Freie Universitaet Berlin - glaub...@physik.fu-berlin.de `- GPG: 62FF 8A75 84E0 2956 9546 0006 7426 3B37 F5B5 F913