Source: coq-float
Version: 1:8.4-5
Severity: serious
Justification: fails to build from source
User: reproducible-builds@lists.alioth.debian.org
Usertags: ftbfs
X-Debbugs-Cc: reproducible-builds@lists.alioth.debian.org
Dear Maintainer,
coq-float fails to build from source in unstable/amd64:
[..]
"coqdep" -c -R "." Float "Rpow.v" > "Rpow.v.d" || ( RV=$?; rm -f "Rpow.v.d"; exit ${RV} )
"coqdep" -c -R "." Float "MSB.v" > "MSB.v.d" || ( RV=$?; rm -f "MSB.v.d"; exit ${RV} )
"coqdep" -c -R "." Float "sTactic.v" > "sTactic.v.d" || ( RV=$?; rm -f "sTactic.v.d"; exit ${RV} )
"coqdep" -c -R "." Float "Ct2/FboundI.v" > "Ct2/FboundI.v.d" || ( RV=$?; rm -f "Ct2/FboundI.v.d"; exit ${RV} )
"coqdep" -c -R "." Float "Ct2/FnormI.v" > "Ct2/FnormI.v.d" || ( RV=$?; rm -f "Ct2/FnormI.v.d"; exit ${RV} )
make[2]: *** No rule to make target 'depend'. Stop.
make[2]: Leaving directory '/home/lamby/temp/cdt.20160203150051.4L9HxmH46z/coq-float-8.4'
debian/rules:29: recipe for target 'override_dh_auto_build' failed
make[1]: *** [override_dh_auto_build] Error 2
make[1]: Leaving directory '/home/lamby/temp/cdt.20160203150051.4L9HxmH46z/coq-float-8.4'
debian/rules:17: recipe for target 'build' failed
make: *** [build] Error 2
[..]
The full build log is attached.
Regards,
--
,''`.
: :' : Chris Lamb
`. `'` lamby@debian.org / chris-lamb.co.uk
`-
Attachment:
coq-float.1:8.4-5.unstable.amd64.log.txt.gz
Description: Binary data