[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#813596: marked as done (coq-float: FTBFS: make[2]: *** No rule to make target 'depend'. Stop.)

Your message dated Sat, 01 Feb 2020 10:49:30 +0000
with message-id <E1ixqLC-0007Uf-Si@fasolo.debian.org>
and subject line Bug#813596: fixed in coq-float 1:8.9.0-1
has caused the Debian Bug report #813596,
regarding coq-float: FTBFS: make[2]: *** No rule to make target 'depend'.  Stop.
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@bugs.debian.org
immediately.)


-- 
813596: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=813596
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
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


--- End Message ---
--- Begin Message --- 
Source: coq-float
Source-Version: 1:8.9.0-1

We believe that the bug you reported is fixed in the latest version of
coq-float, which is due to be installed in the Debian FTP archive.

A summary of the changes between this version and the previous one is
attached.

Thank you for reporting the bug, which will now be closed.  If you
have further comments please address them to 813596@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Stéphane Glondu <glondu@debian.org> (supplier of updated coq-float package)

(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@ftp-master.debian.org)


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Sat, 01 Feb 2020 11:28:40 +0100
Source: coq-float
Architecture: source
Version: 1:8.9.0-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stéphane Glondu <glondu@debian.org>
Closes: 813596
Changes:
 coq-float (1:8.9.0-1) unstable; urgency=medium
 .
   * New upstream release (Closes: #813596)
   * Update Homepage and debian/watch
   * Update Vcs-*
   * Remove Samuel from Uploaders
   * Bump debhelper compat level to 12
   * Bump Standards-Version to 4.5.0
   * Add Rules-Requires-Root: no
Checksums-Sha1:
 7dc127adefcf084d74a06d6130e0b56523b1d077 1735 coq-float_8.9.0-1.dsc
 1e1ba34e62fcca4e7ce8eb1d6dc0741ecae3f9e6 99020 coq-float_8.9.0.orig.tar.gz
 52c09d6185cb32195d31a63279282282d4e765e2 3024 coq-float_8.9.0-1.debian.tar.xz
Checksums-Sha256:
 1909988cd544246228ff4a54bfe4e0c5fecdd80b39d25cd2fbc9cc47d930f851 1735 coq-float_8.9.0-1.dsc
 8690288a0c5c7d3527981f469a9da57453db896e3161ccf1299c2a37f210a760 99020 coq-float_8.9.0.orig.tar.gz
 bc7c28c443a057a86daf4da17377d10309cf54b1adc70584ac6d9a1a27afdf6d 3024 coq-float_8.9.0-1.debian.tar.xz
Files:
 a2f34d217f2d4dc7cb27b4fde9855762 1735 math optional coq-float_8.9.0-1.dsc
 b2b20e8c2d447937e826d391dbce703f 99020 math optional coq-float_8.9.0.orig.tar.gz
 75ab93ba403468ccd1ad98b41ddcea26 3024 math optional coq-float_8.9.0-1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAl41VV0SHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCBticH/RcbmzkNsUe3DxkmQTIWQUFl5w5qS2ec
FQxIfzsN9Ui+7mPYOwFFkRT9ChUAsIAdDtF/CPR4L/i+vOXN49ET6xYT/LPR3JRv
8lEpxIiP9g1zyyggb672z1dNSspLlgwWFhXqMrwZPUmCaDmXO/rW+MlFBvCb6qT+
tvvzlDCxGY9cTNDEHWaMQLJIlketgcYFsjUqYV4S5S4V7IOwTotzFpArR31xzf3K
bD+DH0AZggoJR+Z6+p7asD6VxYRgg19Gsx3YoJ17u/kG3+JwY2yl16CIbxAhy8v5
sDblT+iw6dJ5qLjKEOalOLka0H4BJ6mBfwiSJunQssaAKE74lIn6DN0=
=m+OM
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: