Your message dated Sat, 21 Jan 2012 22:03:45 +0000
with message-id <[email protected]>
and subject line Bug#647919: fixed in acl2 4.3-2
has caused the Debian Bug report #647919,
regarding acl2: Please add support for build-arch and build-indep targets
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.)
--
647919: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=647919
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Source: acl2
Severity: wishlist
Tags: patch
User: [email protected]
Usertags: build-arch-target
Hi,
Please see attached patch for an example of how this could be done.
In order to progress in a timely manner with /proposed/ release goal,
it is my intention to NMU this package in 14 days (to DELAYED/10) if
I have not heard from you.
Thank you in advance for considering,
~Niels
diff -Nru acl2-4.2/debian/changelog acl2-4.2/debian/changelog
--- acl2-4.2/debian/changelog 2011-05-14 03:02:31.000000000 +0200
+++ acl2-4.2/debian/changelog 2011-11-07 15:58:09.000000000 +0100
@@ -1,3 +1,10 @@
+acl2 (4.2-1.1) UNRELEASED; urgency=low
+
+ * Non-maintainer upload.
+ * Added build-arch and build-indep targets to d/rules.
+
+ -- Niels Thykier <[email protected]> Mon, 07 Nov 2011 15:52:34 +0100
+
acl2 (4.2-1) unstable; urgency=low
* New upstream release
diff -Nru acl2-4.2/debian/rules acl2-4.2/debian/rules
--- acl2-4.2/debian/rules 2011-05-13 20:07:24.000000000 +0200
+++ acl2-4.2/debian/rules 2011-11-07 15:55:36.000000000 +0100
@@ -108,7 +108,9 @@
# cd interface/infix && make -f Makefile events
touch $@
-build: build-stamp
+build: build-arch build-indep
+build-arch: build-stamp
+build-indep: build-stamp
build-stamp: debian/mini-proveall.out debian/test.log infix-stamp
dh_testdir
@@ -310,4 +312,4 @@
dh_builddeb
binary: binary-indep binary-arch
-.PHONY: build clean binary-indep binary-arch binary install
+.PHONY: build build-arch build-indep clean binary-indep binary-arch binary install
--- End Message ---
--- Begin Message ---
Source: acl2
Source-Version: 4.3-2
We believe that the bug you reported is fixed in the latest version of
acl2, which is due to be installed in the Debian FTP archive:
acl2-books-certs_4.3-2_all.deb
to main/a/acl2/acl2-books-certs_4.3-2_all.deb
acl2-books-source_4.3-2_all.deb
to main/a/acl2/acl2-books-source_4.3-2_all.deb
acl2-books_4.3-2_i386.deb
to main/a/acl2/acl2-books_4.3-2_i386.deb
acl2-doc_4.3-2_all.deb
to main/a/acl2/acl2-doc_4.3-2_all.deb
acl2-emacs_4.3-2_all.deb
to main/a/acl2/acl2-emacs_4.3-2_all.deb
acl2-infix-source_4.3-2_all.deb
to main/a/acl2/acl2-infix-source_4.3-2_all.deb
acl2-infix_4.3-2_i386.deb
to main/a/acl2/acl2-infix_4.3-2_i386.deb
acl2-source_4.3-2_all.deb
to main/a/acl2/acl2-source_4.3-2_all.deb
acl2_4.3-2.debian.tar.gz
to main/a/acl2/acl2_4.3-2.debian.tar.gz
acl2_4.3-2.dsc
to main/a/acl2/acl2_4.3-2.dsc
acl2_4.3-2_i386.deb
to main/a/acl2/acl2_4.3-2_i386.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 [email protected],
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Camm Maguire <[email protected]> (supplier of updated acl2 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: Fri, 20 Jan 2012 14:18:55 +0000
Source: acl2
Binary: acl2 acl2-source acl2-emacs acl2-infix acl2-infix-source acl2-books
acl2-books-source acl2-books-certs acl2-doc
Architecture: source all i386
Version: 4.3-2
Distribution: unstable
Urgency: low
Maintainer: Camm Maguire <[email protected]>
Changed-By: Camm Maguire <[email protected]>
Description:
acl2 - Computational Logic for Applicative Common Lisp: main binary
acl2-books - Computational Logic for Applicative Common Lisp: compiled librari
acl2-books-certs - Computational Logic for Applicative Common Lisp: library
certific
acl2-books-source - Computational Logic for Applicative Common Lisp: library
sources
acl2-doc - Computational Logic for Applicative Common Lisp: documentation
acl2-emacs - Computational Logic for Applicative Common Lisp: emacs interface
acl2-infix - Computational Logic for Applicative Common Lisp: infix interface
acl2-infix-source - Computational Logic for Applicative Common Lisp: infix
source
acl2-source - Computational Logic for Applicative Common Lisp: source files
Closes: 647919
Changes:
acl2 (4.3-2) unstable; urgency=low
.
* remove special NO_STRIP for ppc
* multiply-stacks by 4 on #-native-reloc
* Bug fix: "Please add support for build-arch and build-indep targets",
thanks to Niels Thykier (Closes: #647919).
Checksums-Sha1:
40baa2181c23c89b65f465a75f786047cb463830 1478 acl2_4.3-2.dsc
b3cfec595ae4622b4f51c6be980cb3e007586f2c 17942 acl2_4.3-2.debian.tar.gz
63b66d0647f103df3dabd2c1259ea7e83df40844 3287706 acl2-source_4.3-2_all.deb
92ffa5c7a661f30da9344f62e758694b395bae48 59150 acl2-emacs_4.3-2_all.deb
015f21615adc5d142d645d71ab326e42bd41ee79 89704 acl2-infix-source_4.3-2_all.deb
7abe5f40e172f6ddcdeba3b7ae444681e6690649 6460242
acl2-books-source_4.3-2_all.deb
92628e249cbb7bd34fdc2d7b0667986538b08b1a 4424678 acl2-books-certs_4.3-2_all.deb
70b7daef098f29ff3c86d407c68f04c0cc2d27a3 360400 acl2-doc_4.3-2_all.deb
d186afbe78d593b4b43f2214ef3eab232bfbea91 24333534 acl2_4.3-2_i386.deb
abed6b98103487965b2f4c7e0f08e0d02f390dc8 182438 acl2-infix_4.3-2_i386.deb
1a734b089ca186bec56c82588e0782b89b4a03ea 13895614 acl2-books_4.3-2_i386.deb
Checksums-Sha256:
81bf6022e2798c76596277f91ca62ce1b28992048b4081fad0d283e60acde746 1478
acl2_4.3-2.dsc
dffcc36c2220534b47709ddb9baa739ffe5a9cae4d9a45822f8d38c8159d9b22 17942
acl2_4.3-2.debian.tar.gz
a11a60b28c0753f5660ca6c1e316f590ac94cb68303d02512a536264977aeabd 3287706
acl2-source_4.3-2_all.deb
0bb77d8b23e69be8df23777da875fe0a92126c3928b7dc5da6635de6b39e63b5 59150
acl2-emacs_4.3-2_all.deb
b70507e4c185570a38981339a8fedd71b543a0d278c0f93ea654d4a4c33e71bb 89704
acl2-infix-source_4.3-2_all.deb
112dd1659c81da4f4e3b8c2908f6ed16b6e487561b45aefeaa8ff89de55d0b9c 6460242
acl2-books-source_4.3-2_all.deb
82ed9cc2065355e9518456ca508d19f4b4f25456caf2ce36bcffab57cedd096c 4424678
acl2-books-certs_4.3-2_all.deb
c3f9f321c5b647564d73fffeee5d1e7266c22348a6da07cabdcf2e1ac9ca00f7 360400
acl2-doc_4.3-2_all.deb
d44c43ff7b75c2109b77f5be6a76f59c647f21aec86aa641dde80f262387f981 24333534
acl2_4.3-2_i386.deb
f3dbd503b6890897529a1a8c8ed10e0c6dd113c70ecaf6da21755651d2a59465 182438
acl2-infix_4.3-2_i386.deb
c4bc35abf374ef2583f872ad7e4ea9fc73513cedee9afdd5856872f523db95aa 13895614
acl2-books_4.3-2_i386.deb
Files:
f48408f446ed4ad5b5f2445b1d6286f7 1478 math optional acl2_4.3-2.dsc
56915ee4c5ffcc12402269cfc1e67a06 17942 math optional acl2_4.3-2.debian.tar.gz
f9e44b6ddc9b84bb7af494f5d7676176 3287706 math optional
acl2-source_4.3-2_all.deb
820a713174592604ca544ebcbfd9151e 59150 math optional acl2-emacs_4.3-2_all.deb
480072ee1d2abe29781f300700cda39f 89704 math optional
acl2-infix-source_4.3-2_all.deb
c7378b3c0e01b6106d49470ebd7fbc7f 6460242 math optional
acl2-books-source_4.3-2_all.deb
db114bb07167afdfaeadab1748222ac5 4424678 math optional
acl2-books-certs_4.3-2_all.deb
32514cd483ee4526278d6078b3bc1368 360400 doc optional acl2-doc_4.3-2_all.deb
5e46abf42c3cd2bbf926e0c5509eb323 24333534 math optional acl2_4.3-2_i386.deb
7c1a6b4d9002ba25e7481002f76c4087 182438 math optional acl2-infix_4.3-2_i386.deb
e5ad412d32c0a2a5a477c29806b77c9d 13895614 math optional
acl2-books_4.3-2_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
iEYEARECAAYFAk8bLpwACgkQczG1wFfwRdzcXACeMCUjLNNsevK3HZN20jaJyL+E
m2MAoJsBybZzmxeCx9lESNZ7et8FA+wJ
=D/nv
-----END PGP SIGNATURE-----
--- End Message ---
