Debian Bug report logs - #806865
ppl: FTBFS when built with dpkg-buildpackage -A (No rule to make ppl_c.h)

Toggle useless messages

Message #5 received at submit@bugs.debian.org (full text, mbox, reply):

From: Santiago Vila <sanvila@debian.org>

To: Debian BTS <submit@bugs.debian.org>

Subject: ppl: FTBFS when built with dpkg-buildpackage -A (No rule to make ppl_c.h)

Date: Wed, 02 Dec 2015 12:08:38 +0000

Package: src:ppl
Version: 1:1.1-7
User: sanvila@debian.org
Usertags: binary-indep
Severity: important

Dear maintainer:

I tried to build this package with "dpkg-buildpackage -A"
(i.e. only architecture-independent packages), and it failed:

--------------------------------------------------------------------------------
[...]
 debian/rules build-indep
dh_testdir
dh_autoreconf
libtoolize: putting auxiliary files in `.'.
libtoolize: copying file `./ltmain.sh'
libtoolize: putting macros in AC_CONFIG_MACRO_DIR, `m4'.
libtoolize: copying file `m4/libtool.m4'
libtoolize: copying file `m4/ltoptions.m4'
libtoolize: copying file `m4/ltsugar.m4'
libtoolize: copying file `m4/ltversion.m4'
libtoolize: copying file `m4/lt~obsolete.m4'
./configure --build x86_64-linux-gnu --host x86_64-linux-gnu --disable-ppl_lpsol --disable-ppl_lcdd --enable-interfaces=c,cxx,swi_prolog \

[... snipped ...]

config.status: creating demos/ppl_lcdd/examples/Makefile
config.status: creating demos/ppl_lpsol/Makefile
config.status: creating demos/ppl_lpsol/examples/Makefile
config.status: creating demos/ppl_pips/Makefile
config.status: creating demos/ppl_pips/examples/Makefile
config.status: creating doc/Makefile
config.status: creating doc/user.doxyconf-latex
config.status: creating doc/devref.doxyconf-latex
config.status: creating doc/user.doxyconf-html
config.status: creating doc/devref.doxyconf-html
config.status: creating doc/user-language-interface.doxyconf
config.status: creating doc/devref-language-interface.doxyconf
config.status: creating interfaces/Makefile
config.status: creating interfaces/C/Makefile
config.status: creating interfaces/C/ppl_c_version.h
config.status: creating interfaces/C/tests/Makefile
config.status: creating interfaces/Java/Makefile
config.status: creating interfaces/Java/jni/Makefile
config.status: creating interfaces/Java/tests/Makefile
config.status: creating interfaces/Java/parma_polyhedra_library/Makefile
config.status: creating interfaces/OCaml/Makefile
config.status: creating interfaces/OCaml/tests/Makefile
config.status: creating interfaces/Prolog/Makefile
config.status: creating interfaces/Prolog/Ciao/Makefile
config.status: creating interfaces/Prolog/GNU/Makefile
config.status: creating interfaces/Prolog/SICStus/Makefile
config.status: creating interfaces/Prolog/SWI/Makefile
config.status: creating interfaces/Prolog/XSB/Makefile
config.status: creating interfaces/Prolog/YAP/Makefile
config.status: creating interfaces/Prolog/tests/Makefile
config.status: creating config.h
config.status: executing depfiles commands
config.status: executing libtool commands
touch configure-stamp
export save_size=10000 ; /usr/bin/make -C doc user-configured
make[1]: Entering directory '/<<PKGBUILDDIR>>/doc'
make[1]: *** No rule to make target '../interfaces/C/ppl_c.h', needed by 'ppl-user-configured-c-interface-1.1-html'.  Stop.
make[1]: Leaving directory '/<<PKGBUILDDIR>>/doc'
debian/rules:113: recipe for target 'build-indep-stamp' failed
make: *** [build-indep-stamp] Error 2
dpkg-buildpackage: error: debian/rules build-indep gave error exit status 2
--------------------------------------------------------------------------------

Sorry not to have a fix, as I am reporting many bugs similar to
this one. The common hints are:

* If the only architecture-independent packages are dummy transitional
ones and they were released with jessie, the easy fix is to drop them
now.

* When using "dh", it is allowed to use (independently)
optional targets override_dh_foo-arch and override_dh_foo-indep
(for several values of "foo").


Once that both "dpkg-buildpackage -A" and "dpkg-buildpackage -B" work
properly, the package would be suitable to be uploaded in source-only
form if you wish.

Thanks.

Message #10 received at 806865@bugs.debian.org (full text, mbox, reply):

From: Santiago Vila <sanvila@debian.org>

To: 806865@bugs.debian.org

Subject: ppl: FTBFS when built with dpkg-buildpackage -A (No rule to make ppl_c.h)

Date: Thu, 14 Jul 2016 22:10:15 +0000

Greetings.

I have the ok from the Release Managers to consider this issue as RC
for stretch. I'm going to wait at least one week before raising
this to "serious".

If you need help to fix this bug, please tag it as "help".

Thanks.

Message #15 received at 806865@bugs.debian.org (full text, mbox, reply):

From: Roberto Bagnara <bagnara@cs.unipr.it>

To: Santiago Vila <sanvila@debian.org>, 806865@bugs.debian.org

Subject: Re: Bug#806865: ppl: FTBFS when built with dpkg-buildpackage -A (No rule to make ppl_c.h)

Date: Fri, 15 Jul 2016 08:50:59 +0200

On 15/07/2016 00:10, Santiago Vila wrote:
> I have the ok from the Release Managers to consider this issue as RC
> for stretch. I'm going to wait at least one week before raising
> this to "serious".
> 
> If you need help to fix this bug, please tag it as "help".

Hello.

I am not sure I understand the issue.  From the (partial) typescript,
it seems a make is attempted in the doc directory without a previous
make at the top level.  This has never been supported: make should
be run in the top-level directory and it will recurse on the
subdirectories in the right order.

In addition, PPL 1.2 has been released more than 5 months
ago: IMHO it does not make much sense to use the previous
release for Stretch.
Kind regards,

   Roberto

-- 
     Prof. Roberto Bagnara

Applied Formal Methods Laboratory - University of Parma, Italy
mailto:bagnara@cs.unipr.it
                              BUGSENG srl - http://bugseng.com
                              mailto:roberto.bagnara@bugseng.com

Message #20 received at 806865@bugs.debian.org (full text, mbox, reply):

From: Santiago Vila <sanvila@unex.es>

To: Roberto Bagnara <bagnara@cs.unipr.it>

Cc: 806865@bugs.debian.org

Subject: Re: Bug#806865: ppl: FTBFS when built with dpkg-buildpackage -A (No rule to make ppl_c.h)

Date: Fri, 15 Jul 2016 10:34:41 +0200 (CEST)

On Fri, 15 Jul 2016, Roberto Bagnara wrote:

> I am not sure I understand the issue.  From the (partial) typescript,
> it seems a make is attempted in the doc directory without a previous
> make at the top level.  This has never been supported: make should
> be run in the top-level directory and it will recurse on the
> subdirectories in the right order.

I'm glad that you ask.

make does whatever you tell it to do in debian/rules, nothing more,
and nothing less.

When using "dpkg-buildpackage -A" to create only the
architecture-independent packages, the targets which are used
are build-indep and binary-indep.

The build-arch target does indeed "make" at the top level directory
but in this case it does not run because we are creating
arch-independent packages only.

The build-indep target does this:

build-indep: build-indep-stamp
build-indep-stamp: configure-stamp
	export save_size=10000 ; $(MAKE) -C doc user-configured
	touch $@

I think this explains the error.

In this case debian/rules is blindly assuming that build-arch has been
run at least once. This is why "dpkg-buildpackage" works when you
build all binary packages. But this has to work as well when
you want to create only arch-independent packages.

So, you have to arrange things in debian/rules so that make does
whatever is right to do in each case.

Thanks.

Message #27 received at 806865@bugs.debian.org (full text, mbox, reply):

From: Andreas Tille <tille@debian.org>

To: 811825@bugs.debian.org, Tobias Hansen <thansen@debian.org>, 806865@bugs.debian.org

Subject: Re: Bug#811825: FaCT++ Debian package removal

Date: Fri, 11 Nov 2016 16:20:31 +0100

Hi Michael,

its a bit sad that you did not responded to two RC bug reports since
January this year and we are now past the point of allowed transitions.
Since the package fits into the scope of the Debian Science team I
wonder whether you might consider team maintenance of this package.
If I do not hear from you I assume that you agree to this suggestion
and I'll use dgit to create a packaging Git repository to simplify
the work of the Debian Science team members fixing these bugs.

Kind regards

       Andreas.

-- 
http://fam-tille.de

Message #32 received at 806865@bugs.debian.org (full text, mbox, reply):

From: Tobias Hansen <thansen@debian.org>

To: submit@bugs.debian.org

Cc: Andreas Tille <tille@debian.org>, 811825@bugs.debian.org, 806865@bugs.debian.org

Subject: transition: ppl

Date: Sat, 12 Nov 2016 14:02:49 +0000

Package: release.debian.org
Severity: normal
User: release.debian.org@packages.debian.org
Usertags: transition

Hi Release Team,

I noticed yesterday that ppl has two RC bugs and was removed from
testing. I would like to take over the package and fix it, but one of
the RC bugs (#811825) is best fixed by updating to the new upstream
version, which requires a small library transition. Since the
debian-devel-announce@l.d.o mail from November 5 said the transition
freeze is only for "transitions that involve a large number of packages",
I'd thought I'd ask if we can still do this transition.

I already created a package of ppl 1.2 that fixes both RC bugs. ppl has
two reverse dependencies, which were of course both removed from testing
because of ppl:

apron
cloog-ppl

I checked that they both build without changes against the updated ppl
package.

If it's too late for the transition, we'll have to see if we can fix
#811825 by applying a patch that does not require a transition.

Thanks,
Tobias

Ben file:

title = "ppl";
is_affected = .depends ~ "libppl13v5" | .depends ~ "libppl14";
is_good = .depends ~ "libppl14";
is_bad = .depends ~ "libppl13v5";

Message #37 received at submit@bugs.debian.org (full text, mbox, reply):

From: Roberto Bagnara <bagnara@cs.unipr.it>

To: Tobias Hansen <thansen@debian.org>, 806865@bugs.debian.org, submit@bugs.debian.org

Cc: Andreas Tille <tille@debian.org>, 811825@bugs.debian.org

Subject: Re: Bug#806865: transition: ppl

Date: Mon, 14 Nov 2016 15:08:59 +0100

On 11/12/2016 03:02 PM, Tobias Hansen wrote:
> Package: release.debian.org
> Severity: normal
> User: release.debian.org@packages.debian.org
> Usertags: transition
> 
> Hi Release Team,
> 
> I noticed yesterday that ppl has two RC bugs and was removed from
> testing. I would like to take over the package and fix it, but one of
> the RC bugs (#811825) is best fixed by updating to the new upstream
> version, which requires a small library transition. Since the
> debian-devel-announce@l.d.o mail from November 5 said the transition
> freeze is only for "transitions that involve a large number of packages",
> I'd thought I'd ask if we can still do this transition.
> 
> I already created a package of ppl 1.2 that fixes both RC bugs. ppl has
> two reverse dependencies, which were of course both removed from testing
> because of ppl:
> 
> apron
> cloog-ppl
> 
> I checked that they both build without changes against the updated ppl
> package.
> 
> If it's too late for the transition, we'll have to see if we can fix
> #811825 by applying a patch that does not require a transition.
> 
> Thanks,
> Tobias
> 
> Ben file:
> 
> title = "ppl";
> is_affected = .depends ~ "libppl13v5" | .depends ~ "libppl14";
> is_good = .depends ~ "libppl14";
> is_bad = .depends ~ "libppl13v5";

Just to say that upstream is more than willing too cooperate
with Tobias if he decides to take over the ppl package.
Kind regards,

   Roberto

-- 
     Prof. Roberto Bagnara

Applied Formal Methods Laboratory - University of Parma, Italy
mailto:bagnara@cs.unipr.it
                              BUGSENG srl - http://bugseng.com
                              mailto:roberto.bagnara@bugseng.com

Message #47 received at 806865-close@bugs.debian.org (full text, mbox, reply):

From: Tobias Hansen <thansen@debian.org>

To: 806865-close@bugs.debian.org

Subject: Bug#806865: fixed in ppl 1:1.2-1

Date: Mon, 28 Nov 2016 11:00:16 +0000

Source: ppl
Source-Version: 1:1.2-1

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

Debian distribution maintenance software
pp.
Tobias Hansen <thansen@debian.org> (supplier of updated ppl 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: Sat, 12 Nov 2016 16:47:39 +0000
Source: ppl
Binary: libppl14 libppl-dev ppl-dev libppl-c4 libppl-doc libppl-swi
Architecture: source amd64 all
Version: 1:1.2-1
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>
Changed-By: Tobias Hansen <thansen@debian.org>
Description:
 libppl-c4  - Parma Polyhedra Library (C interface)
 libppl-dev - Parma Polyhedra Library (development)
 libppl-doc - Parma Polyhedra Library: Documentation
 libppl-swi - Parma Polyhedra Library (SWI Prolog interface)
 libppl14   - Parma Polyhedra Library (runtime library)
 ppl-dev    - Parma Polyhedra Library (development binaries)
Closes: 806865 811825 818957
Changes:
 ppl (1:1.2-1) unstable; urgency=medium
 .
   [ Andreas Tille ]
   * Team upload
   * Move package to Debian Science team Git
   * cme fix dpkg-control
   * Remove libppl6 breaks
   * debhelper 9
 .
   [ Tobias Hansen ]
   * New upstream version. (Closes: #811825, #818957)
   * Fix build-indep target (Closes: #806865)
   * Rename package libppl13v5 -> libppl14, new soname.
   * Remove patches that were applied upstream:
     - 0001-Warnings-avoided.patch
     - 0002-Adapted-to-SWI-Prolog-version-7.x.patch
     - doxygen-update.diff
     - latex-header.diff
   * Do not use the fixdebugpath flag from dpkg-buildflags,
     which breaks the build.
   * Add myself to uploaders.
Checksums-Sha1:
 acf584eb131688331cdaab200c640d357bc8c76c 2366 ppl_1.2-1.dsc
 56c3e4cf3be90e11dfdd877b449adedc26cd8ec9 14136236 ppl_1.2.orig.tar.xz
 902e79801cfdf53cca16c7cc23ba78ecc42dfbb7 11796 ppl_1.2-1.debian.tar.xz
 f22f1fd693969d49c164ab779b276082d699d16b 9707038 libppl-c4-dbgsym_1.2-1_amd64.deb
 0a32984517d1263e6da58fd0b72f4bb2b2645589 903502 libppl-c4_1.2-1_amd64.deb
 4ccf97afd6da5a6c6c17c32462fc7bd83c83335b 2011902 libppl-dev_1.2-1_amd64.deb
 5763da72ad24de1d8244b2acd95e97f551989cab 6673358 libppl-doc_1.2-1_all.deb
 37246e76855e5d431197d6d22fc3c40e7c61512d 11343954 libppl-swi-dbgsym_1.2-1_amd64.deb
 a38ca436d878be93cc0283e220696c5edd21ce07 2462334 libppl-swi_1.2-1_amd64.deb
 895e34bbfa1fe7bc9106b2c112ef78149df7062f 5392830 libppl14-dbgsym_1.2-1_amd64.deb
 03a9b66fd5e7697f64892dc264e9de1e604c2924 608704 libppl14_1.2-1_amd64.deb
 ff610f7d5c5975c02bde08b08f7ab238b6c5e5b8 46404 ppl-dev-dbgsym_1.2-1_amd64.deb
 ca77e1c3cca6e9f26ea4ed577faa79ee933a9656 225930 ppl-dev_1.2-1_amd64.deb
 564d647d4a66d8d4f211335599fe99dfac9a9f8b 10716 ppl_1.2-1_20161112T190605z-a5959d6b.buildinfo
Checksums-Sha256:
 ce360121b3ac5d82e72897e2f6c3169ffcb743c35b0e403d6e62019bd58452cc 2366 ppl_1.2-1.dsc
 691f0d5a4fb0e206f4e132fc9132c71d6e33cdda168470d40ac3cf62340e9a60 14136236 ppl_1.2.orig.tar.xz
 b4b8a6a38441c3f8da3e36d41153acd9ca48a6f0bb73d0885ef101a809eba9a4 11796 ppl_1.2-1.debian.tar.xz
 c50851617d3f1dbf511657c9039426869ffa10ea5c68507ac6e9f30bf1f078a6 9707038 libppl-c4-dbgsym_1.2-1_amd64.deb
 d857ae445e03640ca62484265a4a92f8735d0366870c09b267257dcec2bb87a9 903502 libppl-c4_1.2-1_amd64.deb
 fec05aa78f46f0df30ed465810314b826ee5eb2f4a93dc7f0533fc68fb1607c5 2011902 libppl-dev_1.2-1_amd64.deb
 71770b8aeb01e78c3b84cf673ca7a886d914b20277d745114746920232ae5816 6673358 libppl-doc_1.2-1_all.deb
 74e6b5f35f2e51b32e5f241b69403a626ff1a7bad6dcab9207cf1304eabee53a 11343954 libppl-swi-dbgsym_1.2-1_amd64.deb
 034ead42e23b2819e0d07fdc1aed38102ae7880408aff312b9d4ba4b6edd49a3 2462334 libppl-swi_1.2-1_amd64.deb
 4e541f2db8a965cd2c1ba59dae0a25a64359e6424f12b4b58927b0127075b2e2 5392830 libppl14-dbgsym_1.2-1_amd64.deb
 469ef45fd577390c388694490930ec40fe50d5c5b22c3ce94c9529cd5b3ac8ad 608704 libppl14_1.2-1_amd64.deb
 3532d40ae1a9184037d953f3be71d800022a8ba81badde160259a217ce0b3dec 46404 ppl-dev-dbgsym_1.2-1_amd64.deb
 27dafcc1d63c1569334e037c688c18ed2b25e12950cde353fadbf819ba9846e6 225930 ppl-dev_1.2-1_amd64.deb
 5422ed5bfd2b8bc5d4351c1282fc031b69eaebf0c7f3d794eaddec33b2d87ced 10716 ppl_1.2-1_20161112T190605z-a5959d6b.buildinfo
Files:
 0fd1a9eddedd7293e9971131b3f059f8 2366 libs optional ppl_1.2-1.dsc
 e7bd12043d1064214f7a0107b6da3f17 14136236 libs optional ppl_1.2.orig.tar.xz
 4dbd2fc5ab7301c13309051fde9b95eb 11796 libs optional ppl_1.2-1.debian.tar.xz
 0a9457307ee27eeee74f800829d6e85c 9707038 debug extra libppl-c4-dbgsym_1.2-1_amd64.deb
 52fc65a07beffb9fc3e36e0a095bd29e 903502 libs optional libppl-c4_1.2-1_amd64.deb
 fa12f4df18afa6a75c6787967c84ae4d 2011902 libdevel optional libppl-dev_1.2-1_amd64.deb
 cad31e937c9012530483135914f3f7c7 6673358 doc optional libppl-doc_1.2-1_all.deb
 a7e0c645b1058035ff23766f24ec5d8f 11343954 debug extra libppl-swi-dbgsym_1.2-1_amd64.deb
 c62e663814c339445d25408e8275b980 2462334 libs optional libppl-swi_1.2-1_amd64.deb
 d517eebd7b7f540cb23d632eb71ebd6b 5392830 debug extra libppl14-dbgsym_1.2-1_amd64.deb
 8b1a76f1ea4e81525146a23f8a392539 608704 libs optional libppl14_1.2-1_amd64.deb
 fbaa0bbdab1fddf8c3cf955ad3f5a46c 46404 debug extra ppl-dev-dbgsym_1.2-1_amd64.deb
 0f18866e8211e7594204919a1a07aa41 225930 devel optional ppl-dev_1.2-1_amd64.deb
 a5959d6b0ed5731f8944fbda85ac993c 10716 libs optional ppl_1.2-1_20161112T190605z-a5959d6b.buildinfo

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

iQIcBAEBCAAGBQJYJ2hqAAoJEIyCFp2Ozs0qukgP/juZ1APqhZu+ECpfpu/2mirh
snYoCvNvJG0zlzGQRXDFjtfHXqm37aakEa3f6jJ/EUxsolcAkuysiqkIxr8fuMpy
0p3zdYpEis+F/96deIkbwQ/Jg6rLNNnvZHCo7DM0n0O7Y+nje040PWNNm4bPCUwM
XWFYV+AGuw+Qd/Su5wAol1mRUO6oh/PX9DQ45mknJ05KLf/tM3dCeWhwxObdp7kg
Bk88M9hJG+DbbDluj65O9iUjp45ZqUcSuKkyWZ+9FAF6hJOg2tiS5fE9KsHaP4jK
RdIhsAP+ZPk9IKE4aMIXs8bUFtOz5FbZdGXwGUPiICUguZcdQePI3D2IUI8q+AYL
N1KaMjJwgfmiFvy2PgKAeQqGGKlanQ72pxHCvY88OuFegPmqAQOBbxr98PBX7iKj
ufoZACzJXQt19AKcNgnC4Zqhhtmug8DAEzqkn246SZI/C+Sp9q+JneqLVhVY20RD
Hzsp29gUXXb5r0qtifZfWj1QMYpXKX8uNJNlKbtIkbUKOfrA3ZxM+qfj/K0WLA/5
EaYg+GWUWt8bjXyD/nCHtkJYoYBaSHmELg1tZlSNos5I6GzUK4vb1JcZjgHqVzSi
PSwvIBqEl9IPEm4qqdl39VqJa1xyXdb9dKQ3JiOm0y5Mk6smtXUu7RXHnAG+yCHA
g78s/ShH4GjuQlEPUPOn
=FAN4
-----END PGP SIGNATURE-----

Send a report that this bug log contains spam.