[Reproducible-builds] Bug#813596: coq-float: FTBFS: make[2]: *** No rule to make target 'depend'. Stop.

[Chris Lamb]

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>