Your message dated Thu, 16 Jun 2016 11:00:53 +0000
with message-id <[email protected]>
and subject line Bug#749633: fixed in faumachine 20160511-1
has caused the Debian Bug report #749633,
regarding faumachine: Inconsistent placement of #include "config.h"
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 [email protected]
immediately.)


-- 
749633: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=749633
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: faumachine
Version: 20120707-3
Usertags: goto-cc

During a rebuild of all Debian packages in a clean sid chroot (using cowbuilder
and pbuilder) the build failed with the following error. Please note that we
use our research compiler tool-chain (using tools from the cbmc package), which
permits extended reporting on type inconsistencies at link time.

[...]
gcc -Wchar-subscripts -Wcomment -Wformat -Wnonnull -Wimplicit-int 
-Wimplicit-function-declaration -Wimplicit -Wmain -Wmissing-braces 
-Wparentheses -Wsequence-point -Wreturn-type -Wswitch -Wtrigraphs 
-Wunused-function -Wunused-label -Wunused-variable -Wunused-value 
-Wuninitialized -Wunknown-pragmas -Wundef -Wendif-labels -Wpointer-arith 
-Wcast-qual -Wcast-align -Wwrite-strings -Waggregate-return -Wmissing-noreturn 
-Wnested-externs -Wredundant-decls -Wno-pointer-sign -I../lib -I/usr/include/  
-pthread -I/usr/include/gtk-2.0 -I/usr/lib/x86_64-linux-gnu/gtk-2.0/include 
-I/usr/include/gio-unix-2.0/ -I/usr/include/cairo -I/usr/include/pango-1.0 
-I/usr/include/atk-1.0 -I/usr/include/cairo -I/usr/include/pixman-1 
-I/usr/include/libdrm -I/usr/include/libpng12 -I/usr/include/gdk-pixbuf-2.0 
-I/usr/include/libpng12 -I/usr/include/pango-1.0 -I/usr/include/harfbuzz 
-I/usr/include/pango-1.0 -I/usr/include/glib-2.0 
-I/usr/lib/x86_64-linux-gnu/glib-2.0/include -I/usr/include/freetype2  
-I/usr/include/libpng12  -g -O2 --no-stack-protector -fno-inline-atomics 
-fno-optimize-strlen -fno-shrink-wrap -fno-tree-tail-merge  -L/usr/lib 
-L/usr/local/lib -o faum-node-pc faum_node_pc-system.o faum_node_pc-log.o 
faum_node_pc-simsetup.o ../lib/libglue.a simulator/libhw.a 
simulator/qemu/libqemu-gen-286.a simulator/qemu/libqemu-gen-386.a 
simulator/qemu/libqemu-gen-686_klamath.a 
simulator/qemu/libqemu-gen-686_coppermine.a simulator/qemu/libqemu-gen-x86_64.a 
../lib/libpattern.a ../lib/libcim.a ../lib/libsig.a ../lib/libsimsetup.a 
/usr/lib/libfauhdli.a ../lib/libglue.a -lX11  -lgtk-x11-2.0 -lgdk-x11-2.0 
-lpangocairo-1.0 -latk-1.0 -lcairo -lgdk_pixbuf-2.0 -lgio-2.0 -lpangoft2-1.0 
-lpango-1.0 -lgobject-2.0 -lglib-2.0 -lfontconfig -lfreetype  -lpng12  -ldl 
-ldl -ldl -lm 

error: conflicting function declarations "setitimer"
old definition in module glue-audio file 
/usr/include/x86_64-linux-gnu/sys/time.h line 131
signed int (signed int, const struct itimerval *, struct itimerval *)
new definition in module glue-main file 
/usr/include/x86_64-linux-gnu/sys/time.h line 131
signed int (enum __itimer_which, const struct itimerval *, struct itimerval *)
Makefile:499: recipe for target 'faum-node-pc' failed
make[4]: *** [faum-node-pc] Error 64
make[4]: Leaving directory 
'/srv/jenkins-slave/workspace/sid-goto-cc-faumachine/faumachine-20120707/node-pc'
Makefile:575: recipe for target 'all-recursive' failed
make[3]: *** [all-recursive] Error 1

This inconsistency of int vs. enum __itimer_which results from a mixed order of
#include, in particular that of config.h - compare

http://sources.debian.net/src/faumachine/20120707-3/lib/glue-main.c?hl=14#L14

and

http://sources.debian.net/src/faumachine/20120707-3/lib/glue-audio.c?hl=20#L9

The position of config.h should be uniform to ensure all header files expand
consistently across various compilation units.

Best,
Michael

Attachment: pgpasDS1NSEQY.pgp
Description: PGP signature


--- End Message ---
--- Begin Message ---
Source: faumachine
Source-Version: 20160511-1

We believe that the bug you reported is fixed in the latest version of
faumachine, 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 [email protected],
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Stefan Potyra <[email protected]> (supplier of updated faumachine 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 [email protected])


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Thu, 26 May 2016 18:20:53 +0200
Source: faumachine
Binary: faumachine faumachine-data
Architecture: source all amd64
Version: 20160511-1
Distribution: unstable
Urgency: medium
Maintainer: FAUmachine Team <[email protected]>
Changed-By: Stefan Potyra <[email protected]>
Description:
 faumachine - Virtual machine running in user mode
 faumachine-data - Virtual machine running in user mode -- data files
Closes: 746843 749633 821874
Changes:
 faumachine (20160511-1) unstable; urgency=medium
 .
   * New upstream release, highlights:
     + Builds with newer gcc versions (Closes: #746843, #821874)
     + Correct placement of config.h includes (Closes: #749633)
     + Many other improvements.
   * All patches have been incorporated upstream:
     + debian/patches: Removed
     + debian/control: Remove patch-stamp, unpatch targets.
   * Switch to new debian source format:
     + debian/source/format -> 3.0 (quilt), no further changes required.
   * debian/control:
     + Remove obsolete DM-Upload-Allowed.
     + Packaging complies to Standards-Version 3.9.8 with the other
       changes done.
     + Remove Homepage field, since the current homepage is only
       temporary.
       This release was downloaded from
       <http://potyra.de/FAUmachine/releases/faumachine-20160511.tar.xz>,
       You can find old releases, contacts and more information at:
       <https://www3.informatik.uni-erlangen.de/Research/FAUmachine/>
     + Comment-out Built-Using field, since dpkg no longer seems to support
       it.
     + Update maintainer address.
   * debian/watch: Removed, since the current homepage is only temporary.
   * debian/faumachine.docs: Remove STATE and AUTHORS (files no longer
     present).
   * debian/faumachine.menu: Removed, obsoleted in favor of the
     desktop file.
   * debian/rules: Remove dh_installmenu.
Checksums-Sha1:
 6c3de510d997c5874670bfa4f3999c67cc14cec6 2147 faumachine_20160511-1.dsc
 545ca532479169015d1d27d5311c823e7d89618d 41585276 
faumachine_20160511.orig.tar.xz
 bdfe2542e9fbd74347d7803a2bec0b2f5ec20b6a 7772 
faumachine_20160511-1.debian.tar.xz
 24b392ee404476ecbab3faeb7237eb86ce693472 529514 
faumachine-data_20160511-1_all.deb
 3947a00dcae0772300228c27b5649f834484927b 4640892 
faumachine-dbgsym_20160511-1_amd64.deb
 7c09819d4fee6cc60906a3d52f13b1a1e001497d 1032178 
faumachine_20160511-1_amd64.deb
Checksums-Sha256:
 ddb0b782a2cb9b4a5e689ba09dc60d8e324d35748253d418f38c340e1f05a1f1 2147 
faumachine_20160511-1.dsc
 b8aa7dbd31e0e64436078406ae2ded17ce9cde6b320c0f97fea6eb986fe600cb 41585276 
faumachine_20160511.orig.tar.xz
 f3b977ee4fc90b483cff2da08a42a90c875d3712f8e6d5ca4f806b89c6c3807f 7772 
faumachine_20160511-1.debian.tar.xz
 8cd7ddce39b8689188301be8aceb8e20fb3f7f81155fa33fbd52d86f243bd33c 529514 
faumachine-data_20160511-1_all.deb
 2e79218b33b72b80245fcbdd49598dc3f3a400d64109ae7fa4589d2103358667 4640892 
faumachine-dbgsym_20160511-1_amd64.deb
 c6848586f18ca8bc2b475a879e95ae1c28e197fd3f2ed781cd658f2a55461107 1032178 
faumachine_20160511-1_amd64.deb
Files:
 80993424c9b99c858b11253161f4f2a9 2147 misc optional faumachine_20160511-1.dsc
 a5380dd402baa150f4861f5b054f364a 41585276 misc optional 
faumachine_20160511.orig.tar.xz
 91f0e0428436efe9484fb625eaf0f38a 7772 misc optional 
faumachine_20160511-1.debian.tar.xz
 98152ac0be5a65f820ebd28d9f51920d 529514 misc optional 
faumachine-data_20160511-1_all.deb
 c34b6d41cd415335c0756381f180ce8c 4640892 debug extra 
faumachine-dbgsym_20160511-1_amd64.deb
 353cd93fd2e6adddb5e1249602b1e561 1032178 misc optional 
faumachine_20160511-1_amd64.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBAgAGBQJXYECcAAoJEEsAacz2UnhHxgAP/R33ge9ArXvFBKlMkh3Lb+oC
WKmJSl0F+NFTGvMTCp49xDL7b+mgSXd2HBgMQKSe9Zkogwcp7clZs9OsIr0j6T5+
j6+lfe+HSBDEB4U99qPbCw/t4E/UIqoZqg11VoHASixJc076gOVnXAOm4ATiZq+U
N/4rHxUig1ghVI0YezXaI4rJ1k9+wAHvN0F+4TYI2oPnIgCPwbaIumonDsMEbzSe
XRKA7RlPcFuUgbq3xnTZ5nAP486AJ/3FKL+KOXWg4++jaOCcsH2VmUZ9wrPVjKsp
cdhScVIOORlRPPXjLMr6KIpntBwhxTJCDWCfZaX/8NtP9YRDMnBeI77gOeGZXh9F
fh39ZXYmBB+UoYAeqSErGunZAVKYu8gvlPd8ks8qHbEUZULXpNczR3Nu0YAE82br
P0BbLHr236cUVqJ32W37uEYTrfZS9/IeGqcJzM7mLsnePNBED8PTm1XIROB+iiDD
BWVZltahQQonYwH4FPjkf64Pvvoi/7+TCp3apsD9jtwOYHixOhitgc5io9s4olQS
Vmz7Xt+BsnYmrASh7ZUJUWxQ2e0zUuzPEpNSjqqxUUJk+qkVmH4xn73SSWRhNZPL
66fsvS6iYT9Iy1aPZgaLqv5HQRKAUWikCymU1Aqmr5qXdSG0LzLn4YZ+U9IJyH4d
Bul21m9vm/j4I7eFv/Xc
=/d1i
-----END PGP SIGNATURE-----

--- End Message ---

Reply via email to