Your message dated Sun, 27 May 2012 15:36:27 +0000
with message-id <e1syfw7-0005gl...@franck.debian.org>
and subject line Bug#674184: fixed in clasp 2.0.6-2
has caused the Debian Bug report #674184,
regarding clasp: FTBFS with gcc 4.7
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 ow...@bugs.debian.org
immediately.)
--
674184: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=674184
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Package: clasp
Version: 2.0.6-1
Severity: normal
Tags: patch upstream
User: debian-...@lists.debian.org
Usertags: ftbfs-gcc-4.7
clasp fails to build with gcc 4.7.
g++ -I../../libclasp -I../../libprogram_opts -W -Wall -O3 -DNDEBUG
-DDISABLE_MULTI_THREADING -DWITH_CLASPRE_SUPPORT -c ../../app/clasp_app.cpp -o
app/clasp_app.o
.../../app/clasp_app.cpp: In member function 'void
Clasp::Application::kill(int)':
.../../app/clasp_app.cpp:95:4: error: '_exit' was not declared in this scope
.../../app/clasp_app.cpp: In member function 'int
Clasp::Application::exception(int, const char*)':
.../../app/clasp_app.cpp:250:2: error: '_exit' was not declared in this scope
.../../app/clasp_app.cpp:251:1: warning: no return statement in function
returning non-void [-Wreturn-type]
make[2]: *** [app/clasp_app.o] Error 1
Build log in Ubuntu:
https://launchpadlibrarian.net/104395836/buildlog_ubuntu-quantal-i386.clasp_2.0.6-1_FAILEDTOBUILD.txt.gz
Patch from Ubuntu attached.
https://launchpad.net/ubuntu/+source/clasp/2.0.6-1ubuntu1
-- System Information:
Debian Release: wheezy/sid
APT prefers precise-updates
APT policy: (500, 'precise-updates'), (500, 'precise-security'), (500,
'precise-proposed'), (500, 'precise'), (100, 'precise-backports')
Architecture: i386 (i686)
Kernel: Linux 3.2.0-24-generic (SMP w/2 CPU cores)
Locale: LANG=ru_RU.UTF-8, LC_CTYPE=ru_RU.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Description: fix build with gcc 4.7
Include necessary header for _exit()
Author: Ilya Barygin <randomact...@ubuntu.com>
--- a/app/clasp_app.cpp
+++ b/app/clasp_app.cpp
@@ -22,6 +22,7 @@
#include <iostream>
#include <fstream>
#include <clasp/clause.h>
+#include <unistd.h>
/////////////////////////////////////////////////////////////////////////////////////////
// Application
/////////////////////////////////////////////////////////////////////////////////////////
--- End Message ---
--- Begin Message ---
Source: clasp
Source-Version: 2.0.6-2
We believe that the bug you reported is fixed in the latest version of
clasp, which is due to be installed in the Debian FTP archive:
clasp_2.0.6-2.debian.tar.gz
to main/c/clasp/clasp_2.0.6-2.debian.tar.gz
clasp_2.0.6-2.dsc
to main/c/clasp/clasp_2.0.6-2.dsc
clasp_2.0.6-2_amd64.deb
to main/c/clasp/clasp_2.0.6-2_amd64.deb
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 674...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Dmitrijs Ledkovs <x...@debian.org> (supplier of updated clasp 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 ftpmas...@debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Sun, 27 May 2012 15:41:47 +0100
Source: clasp
Binary: clasp
Architecture: source amd64
Version: 2.0.6-2
Distribution: unstable
Urgency: low
Maintainer: Debian Science Maintainers
<debian-science-maintain...@lists.alioth.debian.org>
Changed-By: Dmitrijs Ledkovs <x...@debian.org>
Description:
clasp - conflict-driven nogood learning answer set solver
Closes: 674184
Changes:
clasp (2.0.6-2) unstable; urgency=low
.
* Team upload
* Apply patch to FTBFS with gcc-4.7, thanks to Ilya Barygin (Closes: #674184)
Checksums-Sha1:
0378a024a048828342ad8b24aad2b6c48f22ab61 1996 clasp_2.0.6-2.dsc
a579a32c5215b1cef62de962a799cbb2c3467341 6297 clasp_2.0.6-2.debian.tar.gz
5c4d87b9e06da4bbeaa0e0dd489fafc8c7a80ed3 406820 clasp_2.0.6-2_amd64.deb
Checksums-Sha256:
6cfde46574506e75a486327667d06cac419cfb654f38a22f7a1bbe989d3c8081 1996
clasp_2.0.6-2.dsc
5fd36e796d42cae9f347f00137717c95144a6bbb4e49a251cde4321f93e0ef1c 6297
clasp_2.0.6-2.debian.tar.gz
205da1ea86a47f73a0c732e77be9fc726d0d532022337cd3d7d8384c4af9bf71 406820
clasp_2.0.6-2_amd64.deb
Files:
8ec93c64106bd1fa29588983d5b36ba8 1996 interpreters extra clasp_2.0.6-2.dsc
1275ec6de4abf4ac09e461343124b122 6297 interpreters extra
clasp_2.0.6-2.debian.tar.gz
84a99f8e724ca616df0faeeb976c6247 406820 interpreters extra
clasp_2.0.6-2_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
iQIcBAEBCAAGBQJPwkGpAAoJEIh7YGGLPBau4CsQAIKrJKmse7ZKBwIBwVyc9oLi
y3l2huV2s5Um01F5RdvW3ctGbHQt3IUFWtDUisU8k5VFlDOkM2QnotY1Jjao9W5n
Jtyysgep7wFsboLE4S2fRekQjg1S3b3cqTYzy2rQUciRxBOIQrCjxvCvzVfbJgd+
5PzinXQXnTgMsNg9j/UYzORzp5dXkZ4U6JUQ7wsWh3+ocJHCmMpQ0xVqWd29tFEZ
mS9eINMwCPVYi/MijPcgNCXujFCilzt5qSJ+1WLWWg3R3DdjTfDDXpSY80/ek/0m
sbi1UTLeKm1DYwCxvcNWcv11v1a+cRnrg6GhRBCU+AS9xcZkzrM4d5dlC8N4MGQO
Z4gRox0q8BJI6YzhlKbc42PKdvbWy2HRWWcPQP5TEtRws7QqDB3LVooPk/XFEhDD
R+Aj+4F+3/Q6aPGvCmmRmBm08HF75zMKD88TdDFWJhFKIOYnVlIefqGj9OlTYDNu
yVRI2gMUiTfQv8F/Df43Q0il6mAoknxDIMb32nqi1YWj13Z8capo0dEfRyvWrHHV
QI+0ATePdsJjQEqHjyNW26MVlzHzTRzIVzeese6CN79jUXr+Pp1dDYSufNIbA52H
L84LegbdJdzPYwuBbq0nfc851kcKJzRe3p1UEnZgXNCjwhaLbOT+7G2tJqb/ljST
zU1604sDztZ6dFgvclxT
=t+k/
-----END PGP SIGNATURE-----
--- End Message ---
