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
     `. `'`      la...@debian.org / chris-lamb.co.uk
       `-

Attachment: coq-float.1:8.4-5.unstable.amd64.log.txt.gz
Description: Binary data

_______________________________________________
Reproducible-builds mailing list
Reproducible-builds@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/reproducible-builds

Reply via email to