Your message dated Sat, 27 Sep 2014 21:19:33 +0000
with message-id <[email protected]>
and subject line Bug#756524: fixed in cvc3 2.4.1-5
has caused the Debian Bug report #756524,
regarding cvc3: enable autotools-dev in debian/rules (ftbfs on ppc64el)
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.)
--
756524: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=756524
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Source: cvc3
Severity: normal
Tags: patch
User: [email protected]
Usertags: ppc64el
Dear Maintainer,
The package cvc3 fails to build from source on ppc64el.
Althought it uses autotools-dev config files and it is set as a build-dep,
the target cleanbuilddir/cvc3 forces it to run configure before anything else.
That partially invalidates the use of autotools-dev, since it should help
to configure the package.
I am not sure if this is the ideal way to do this, but I added a workaround
in debian/builds (patch attached) so it at least updates and cleans the
config.{guess,sub}
in the aforemenetioned target.
Please let me know what you think.
Thanks.
Fernando
-- System Information:
Debian Release: jessie/sid
APT prefers unstable
APT policy: (500, 'unstable')
Architecture: ppc64el (ppc64le)
Kernel: Linux 3.13-1-powerpc64le (SMP w/4 CPU cores)
Locale: LANG=en_US.utf8, LC_CTYPE=en_US.utf8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
diff -Nru cvc3-2.4.1/debian/changelog cvc3-2.4.1/debian/changelog
--- cvc3-2.4.1/debian/changelog 2012-08-13 00:25:31.000000000 +0000
+++ cvc3-2.4.1/debian/changelog 2014-07-30 15:36:58.000000000 +0000
@@ -1,3 +1,9 @@
+cvc3 (2.4.1-4ppc64el1) UNRELEASED; urgency=medium
+
+ * Enabled autotools-dev in debian/rules
+
+ -- Fernando Seiti Furusato <[email protected]> Wed, 30 Jul 2014 15:36:33 +0000
+
cvc3 (2.4.1-4) unstable; urgency=low
* Transfer package repo to Git.
diff -Nru cvc3-2.4.1/debian/rules cvc3-2.4.1/debian/rules
--- cvc3-2.4.1/debian/rules 2012-08-13 00:25:31.000000000 +0000
+++ cvc3-2.4.1/debian/rules 2014-07-30 15:35:59.000000000 +0000
@@ -14,7 +14,9 @@
# Have to run configure before distclean, or else make will die
cleanbuilddir/cvc3::
+ dh_autotools-dev_updateconfig
./configure --disable-zchaff
+ dh_autotools-dev_restoreconfig
# cvc3-mode.el isn't copied by "make install", so copy it to the
# staging directory by hand
--- End Message ---
--- Begin Message ---
Source: cvc3
Source-Version: 2.4.1-5
We believe that the bug you reported is fixed in the latest version of
cvc3, 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.
Morgan Deters <[email protected]> (supplier of updated cvc3 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: SHA256
Format: 1.8
Date: Sat, 27 Sep 2014 12:21:27 -0400
Source: cvc3
Binary: cvc3 libcvc3-5 libcvc3-dev libcvc3-5-java libcvc3-5-jni cvc3-el
Architecture: source all i386
Version: 2.4.1-5
Distribution: unstable
Urgency: low
Maintainer: Morgan Deters <[email protected]>
Changed-By: Morgan Deters <[email protected]>
Description:
cvc3 - Automatic theorem prover for SMT problems
cvc3-el - Emacs mode for CVC3
libcvc3-5 - Automatic theorem prover library for SMT problems
libcvc3-5-java - Java bindings for CVC3 (bytecode library)
libcvc3-5-jni - Java bindings for CVC3 (native library)
libcvc3-dev - Automatic theorem prover library for SMT problems (development fi
Closes: 756524 757192
Changes:
cvc3 (2.4.1-5) unstable; urgency=low
.
* New maintainer. (Closes: #757192)
* Fix clean target, resolving ppc64el FTBFS. (Closes: #756524)
* Update standards version.
* Fix dep5 copyright.
* Remove Vcs-git and Vcs-browser (not available for CVC3).
* Now lintian clean (with some overrides).
Checksums-Sha1:
49e14810b2ee738fca0a1bad8b9e0f14afd57c8e 2081 cvc3_2.4.1-5.dsc
572fbc0fb924e63981e5ad9246897be3726eb1a4 10148 cvc3_2.4.1-5.debian.tar.xz
00c9b9aa7818d11ca3532367dc46717f733398d3 70952 libcvc3-5-java_2.4.1-5_all.deb
ec415d00285f0e58cf90d4601b50e93895996459 13974 cvc3-el_2.4.1-5_all.deb
Checksums-Sha256:
3bd53ffae5c033f67ced52a81027d44647259013d7451515559aeb6bde226433 2081
cvc3_2.4.1-5.dsc
5552770a74dbbd4822d959de7a3726f1a00c06e10bb8da2389e741b1c9bd3da6 10148
cvc3_2.4.1-5.debian.tar.xz
42af3fac88380a9545a4a82332955761e7d5350c0d87e97b782f43ed8132d698 70952
libcvc3-5-java_2.4.1-5_all.deb
089140a547628d2d0f914e291ff9191751ff66b5c58b624d4383c0ed36d59f42 13974
cvc3-el_2.4.1-5_all.deb
Files:
e4776d04b45c54b3b5c46cf9efde86c3 70952 java extra
libcvc3-5-java_2.4.1-5_all.deb
eb8afa62fa1e23f93ba9df85ed785118 13974 math extra cvc3-el_2.4.1-5_all.deb
4912cd80422e4ee4e3f2dcafd59d4170 2081 math extra cvc3_2.4.1-5.dsc
46fb25e90d19e8351a0fdadfee179848 10148 math extra cvc3_2.4.1-5.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
Comment: GPGTools - http://gpgtools.org
iQIcBAEBCAAGBQJUJxhlAAoJEKjvEonjOGdBKxYP/Rr/0shNQm9DJsqjAA+fEf/q
n1zAOtfEcRe4cguu6bTgOFk/6YtWnl0SWrPPS21k87bWN7HPSwIogAhEp9I3VOtb
Dpn3tT7OPTbpV8j74UB7VsXTO5RyVlz/a44pjfWF+McNqe97Bqqh/wHLgYid2PSd
dlAtrWHbvYz5twvJHDGsQ7cSBspY+3MJSs/pUeGQ6W7pJSySYJ1U/G9LFg5rc6jJ
xyA3RgXSTb4eMT13zWF7eMBwWefsze2s/KRCOwW6Nb1NSsMyVj/pUMVDyAPTZO9e
K4KEyJasvVi0qralBuPfui3V6kPrvb10bOECeASSql/fZf/mMTVslb/eyBSyuAGL
NsoBLBqWMsh75P/rVdq1LWUyxUlebkWKfHib+F/Q02uNfKxpHLntm8IuAVSaHC/d
DpQONAD2TdStE8xMiyunvLsTXObqufHCAI5oXsb5bcjjdgKiY/Z6w7XdB152SItq
z7ZJjVo2j+wNsCRDOK1keRrbZErQlg0Soi1KOoTOj51TnTFmLP4Y4QHvH3ZQtLOR
0BR9OJ584P0BJh1aPg11xwlKZbBcuafTpZ29RLFUjwGBMMMukzD3jwrXB092q0NF
8TlEYqa+iRurCinFc+B3OlXFuGs8pyZh4dZseoymBQttKzDhHUK+N6vjdrTMTW04
rC6IvcgZ65uo/FkJNVIa
=3Pr3
-----END PGP SIGNATURE-----
--- End Message ---
