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

Bug#844777: marked as done (why FTBFS on mips*, ppc64el, s390x: cannot stat './META.frama-c-jessie')

Your message dated Sun, 18 Dec 2016 19:36:11 +0000
with message-id <E1cIhFj-000FhX-2J@fasolo.debian.org>
and subject line Bug#844777: fixed in why 2.36-3
has caused the Debian Bug report #844777,
regarding why FTBFS on mips*, ppc64el, s390x: cannot stat './META.frama-c-jessie'
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.)


-- 
844777: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=844777
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Source: why
Version: 2.36-2
Severity: serious

https://buildd.debian.org/status/package.php?p=why&suite=sid

...
mkdir -p /«PKGBUILDDIR»/debian/why/usr/share/why/coq
cp -f lib/coq/Jessie_memory_model.vo /«PKGBUILDDIR»/debian/why/usr/share/why/coq
/usr/bin/make -C frama-c-plugin install
make[3]: Entering directory '/«PKGBUILDDIR»/frama-c-plugin'
mkdir -p /«PKGBUILDDIR»/debian/why/usr/lib/frama-c/plugins
cp ./META.frama-c-jessie ./Jessie.cmi ./Jessie.cmo ./Jessie.cma  /«PKGBUILDDIR»/debian/why/usr/lib/frama-c/plugins
cp: cannot stat './META.frama-c-jessie': No such file or directory
/usr/share/frama-c/Makefile.dynamic:263: recipe for target 'install' failed
make[3]: *** [install] Error 1

--- End Message ---
--- Begin Message --- 
Source: why
Source-Version: 2.36-3

We believe that the bug you reported is fixed in the latest version of
why, 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 844777@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Ralf Treinen <treinen@debian.org> (supplier of updated why 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: SHA256

Format: 1.8
Date: Sun, 18 Dec 2016 19:22:16 +0100
Source: why
Binary: why libwhy-coq
Architecture: source
Version: 2.36-3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Description:
 libwhy-coq - Why library for Coq
 why        - Software verification tool for C and Java
Closes: 844777
Changes:
 why (2.36-3) unstable; urgency=medium
 .
   * drop build-dependency on liblablgtk2-ocaml-dev
   * stop using libapron, as advised by upstream:
     - drop build-dependency libapron-ocaml-dev
     - drop option enable-apron from ./configure invocation
   * generate frama-c-plugin/META.frama-c-jessie in debian/rules when it
     has not been generated by frama-c, which for some unknown reason
     happens on non-native architectures (closes: #844777).
Checksums-Sha1:
 548b339375f39db3b38a738c248deb193d5081de 2264 why_2.36-3.dsc
 11d654ea5ef0b30dedfa9e6d1b459226bc72d9bf 11480 why_2.36-3.debian.tar.xz
Checksums-Sha256:
 053f62ce12637b5051885218f55ab00e380f824dc4e7b1f37914684579a71486 2264 why_2.36-3.dsc
 a6a23edc28b367cf36c1fe7c7e7e7f23533b2cb663ab67bc6e90b8e8d23d88ee 11480 why_2.36-3.debian.tar.xz
Files:
 4a7c7937659e5a435607a43475a14949 2264 math optional why_2.36-3.dsc
 f7e1237afd934834222eaf60b3753b34 11480 math optional why_2.36-3.debian.tar.xz

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

iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAlhW4KcACgkQdFxHZtTK
zf/+8A//eEJVPPDjph1Ia9Ch2JAjbZ8TTIqbHf95JAMnXGv26/xuvRgS+tZjaDEH
2zUupox3Rln0xZGB97yf1JOKLmSU7zCRyNs4xvHkG5Bg7G7btzQRr31+XxfZpSq/
FW0JmomorHbPucJ2HCJ1gnQG2ibmpOXVdekZzjMw6hKP6KMJ6U1lAhK1Tg+4AEvW
YChDinYO6jQTI7IAuwJ3e8irRr49QbqT6IWIJygG5ILBbT03xAQsAGFFj8aYV7xJ
/WBS3tor7+bdv8QItiVAmQhG8F2OJ7FHGunCWj5V3iOmh1qkQdrJYcSIowVIvY/o
mo3pEf1N+d6/TFtRoZzyjqJQNnFbQ9Hqy6ECifqC9A8F9BBfGNk48G6PasuasL1F
B5IzauQJxG40Z0EyV4dEY3IFpnVB0Nq+sCG3BJvjHTmUvZaPoVeDyqhMAsYsJKJi
6I2R4+Nwx+MUtYyZ//N3iLrjNFbNiiThnns5it0/gDIrbhpxAEv/ADObN/5LMW7p
gaVbYAWXXQzSoxjmMexINjoFgPN/sHEfk924aMhElfrtEKqIDIkPkkQoE9hJfvff
w3UnsPpS2WtRlpen0J+Qfjhe0iZ1y77Ud8iK3K1ldJUNuZ4+Y2OjKOuy9YWZrfRS
Z9c/lblROxZ/LGXFrrdnBENQu4uClP25chBSug8KxnPdPBvPlrE=
=OBUH
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: