Source: coq-float Version: 1:8.4-5 Severity: serious Justification: fails to build from source User: [email protected] Usertags: ftbfs X-Debbugs-Cc: [email protected]
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
`. `'` [email protected] / chris-lamb.co.uk
`-
coq-float.1:8.4-5.unstable.amd64.log.txt.gz
Description: Binary data
