Bug#1038382: coq: FTBFS: /bin/sh: Argument list too long
Source: coq-unimath
Version: 20230420-1
Severity: serious
Tags: ftbfs sid trixie
Justification: fails to build from source (but built successfully in the past)
X-Debbugs-Cc: sramacher@debian.org
https://buildd.debian.org/status/fetch.php?pkg=coq-unimath&arch=arm64&ver=20230420-1&stamp=1686678669&raw=0
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
create-stamp debian/debhelper-build-stamp
dh_prep -a
debian/rules override_dh_auto_install
make[1]: Entering directory '/<<PKGBUILDDIR>>'
DESTDIR=/<<PKGBUILDDIR>>/debian/tmp BUILD_COQ=no make install
make[2]: Entering directory '/<<PKGBUILDDIR>>'
ulimit -v unlimited ; make -f build/CoqMakefile.make all
make[3]: Entering directory '/<<PKGBUILDDIR>>'
make[4]: Nothing to be done for 'real-all'.
make[3]: Leaving directory '/<<PKGBUILDDIR>>'
ulimit -v unlimited ; make -f build/CoqMakefile.make install
make[3]: Entering directory '/<<PKGBUILDDIR>>'
make[3]: /bin/sh: Argument list too long
make[3]: *** [build/CoqMakefile.make:598: install] Error 127
make[3]: Leaving directory '/<<PKGBUILDDIR>>'
make[2]: *** [Makefile:97: install] Error 2
make[2]: Leaving directory '/<<PKGBUILDDIR>>'
make[1]: *** [debian/rules:18: override_dh_auto_install] Error 2
Cheers
--
Sebastian Ramacher
Reply to: