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: sramac...@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
