[Reproducible-builds] Bug#813596: coq-float: FTBFS: make[2]: *** No rule to make target 'depend'. Stop.
Chris Lamb
lamby at debian.org
Wed Feb 3 14:50:13 UTC 2016
Source: coq-float
Version: 1:8.4-5
Severity: serious
Justification: fails to build from source
User: reproducible-builds at lists.alioth.debian.org
Usertags: ftbfs
X-Debbugs-Cc: reproducible-builds at 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 at debian.org / chris-lamb.co.uk
`-
-------------- next part --------------
A non-text attachment was scrubbed...
Name: coq-float.1:8.4-5.unstable.amd64.log.txt.gz
Type: application/octet-stream
Size: 4067 bytes
Desc: not available
URL: <http://lists.alioth.debian.org/pipermail/reproducible-builds/attachments/20160203/e0269c69/attachment.obj>
More information about the Reproducible-builds
mailing list