Your message dated Fri, 18 Jan 2019 00:35:22 +0000 with message-id <e1gki82-0006a9...@fasolo.debian.org> and subject line Bug#916952: fixed in ppl 1:1.2-4 has caused the Debian Bug report #916952, regarding ppl FTBFS with swi-prolog 7.7.25+dfsg-2 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.) -- 916952: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=916952 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
--- Begin Message ---Source: ppl Version: 1:1.2-3 Severity: serious Tags: ftbfs https://tests.reproducible-builds.org/debian/rb-pkg/unstable/amd64/ppl.html ... checking which interfaces are enabled... cxx c swi_prolog checking for swipl... /usr/bin/swipl swipl: Usage: 1) swipl [options] prolog-file ... [-- arg ...] 2) swipl [options] [-o executable] -c prolog-file ... 3) swipl --help Display this message (also -h) 4) swipl --version Display version information 4) swipl --arch Display architecture 6) swipl --dump-runtime-variables[=format] Dump link info in sh(1) format Options: -x state Start from state (must be first) -g goal Run goal (may be repeated) -t toplevel Toplevel goal -f file User initialisation file -F file Site initialisation file -l file Script source file -s file Script source file -p alias=path Define file search path 'alias' -O Optimised compilation --tty[=bool] (Dis)allow tty control --signals[=bool] Do (not) modify signal handling --threads[=bool] Do (not) allow for threads --debug[=bool] Do (not) generate debug info --quiet[=bool] (-q) Do (not) suppress informational messages --traditional Disable extensions of version 7 --home=DIR Use DIR as SWI-Prolog home --stack_limit=size[BKMG] Specify maximum size of Prolog stacks --table_space=size[BKMG] Specify maximum size of SLG tables --pldoc[=port] Start PlDoc server [at port] ... dh_install -s --sourcedir=debian/tmp dh_install: -s/--same-arch is deprecated; please use -a/--arch instead dh_install: This feature will be removed in compat 12. dh_install: Cannot find (any matches for) "usr/lib/*/ppl/libppl_swiprolog.so" (tried in debian/tmp, debian/tmp) dh_install: libppl-swi missing files: usr/lib/*/ppl/libppl_swiprolog.so dh_install: Cannot find (any matches for) "usr/lib/*/ppl/libppl_swiprolog.a" (tried in debian/tmp, debian/tmp) dh_install: libppl-swi missing files: usr/lib/*/ppl/libppl_swiprolog.a dh_install: Cannot find (any matches for) "usr/share/ppl/ppl_swiprolog.*" (tried in debian/tmp, debian/tmp) dh_install: libppl-swi missing files: usr/share/ppl/ppl_swiprolog.* dh_install: missing files, aborting make: *** [debian/rules:162: binary-arch] Error 25
--- End Message ---
--- Begin Message ---Source: ppl Source-Version: 1:1.2-4 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 916...@bugs.debian.org, and the maintainer will reopen the bug report if appropriate. Debian distribution maintenance software pp. James Clarke <jrt...@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 ftpmas...@ftp-master.debian.org) -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Thu, 17 Jan 2019 23:43:15 +0000 Source: ppl Binary: libppl14 libppl-dev ppl-dev libppl-c4 libppl-doc libppl-swi Architecture: source Version: 1:1.2-4 Distribution: unstable Urgency: medium Maintainer: Debian Science Team <debian-science-maintain...@lists.alioth.debian.org> Changed-By: James Clarke <jrt...@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: 849319 916952 Changes: ppl (1:1.2-4) unstable; urgency=medium . * Team upload. * fix_AC_CHECK_SWI_PROLOG.patch: New patch to fix build with swi-prolog 7.7.25+dfsg-2 (Closes: #916952) * Add pkg.ppl.no-swi-prolog profile to replace deprecated DEB_STAGE=stage1 * Use dh sequencer and drop inter-package /usr/share/doc symlinks * Run wrap-and-sort -a * Bump Standards-Version to 4.3.0; no changes needed * debian/control: - Recommend libgmp-dev rather than transitional libgmp3-dev (Closes: #849319) - Build-Depend on unversioned libncurses-dev and drop libncursesw5-dev - Add Rules-Requires-Root: no * debian/rules: Enable SWI-Prolog interface on arm64; hopefully improved since 2013 * debian/watch: Point to updated download location Checksums-Sha1: a2162c0f3b91857eb73d543526e42ba5e9a0c1f0 2357 ppl_1.2-4.dsc 3cd75e80b365983c5bce46cb5eb4685c212d3bcb 11844 ppl_1.2-4.debian.tar.xz Checksums-Sha256: 3f75acb3f2ebe8a7e75ec2f744875fd5b0bd7881139ccf17b5a8e1fe17397376 2357 ppl_1.2-4.dsc 8518c2eb2dfa9a9e5e447356babb0b7f309fb90615010beae2a1d91cb035e8af 11844 ppl_1.2-4.debian.tar.xz Files: bb9a07d1e75627b8a9ef6ac7ca30dc4b 2357 libs optional ppl_1.2-4.dsc 6eae94ee2823a6c50362effab6e7d9e3 11844 libs optional ppl_1.2-4.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEj1g0K+q+HvQ3lVH7sZN3DBhqHH0FAlxBFo0ACgkQsZN3DBhq HH0rgw/9EUCFSyY5WXEbVPvXZukMbd2BqWqpMZN0hVtvGaEaLKrVqZeXAomj4ye8 o64lnBbn5JoENymg2p79s/h/FHHAfusxQJDsZegFt5ybE8V0Mh8NE/3lwpOyWcxJ bEjXDQ3liqeSo+TZ6E9L12vSs2DwdSs17/uTuc6he9D2+a5oTJpWyMbvXuJsxflB AOY3jsbENb1FGwLQpjPZUIe3c2nlm1GJpkfamQ/4+7AYJnzxppG1RmjY+CixF0Fp FNW5//YKK4P7Jp63W943PTiHEGU5XUvVzAnICfr5hw8HyNC/2koNh+9ZEsdupWRx scYhf3jxTvpm7oQTooLRbzR+5AMjlPN1aCNAvGZNTjQnWn3iWp6AOn4nxbKdLbM2 ndXdYtT9xJgxuEUY6WeBAoYhTz+5xwQPzHS8b+Rpy6rFPLrVQDniPJm+CmWsni8W wR1/d+JB8U8sAOm3D+e0G34GG2VPxPdbfFe3NnsPDd4U0rTYktbL70fCgPJVPnuh osfQpVjFTxgR+e1+LNV5K51X9anisF/XTiOTK5jNoo8D3O56GC67YIS5WpTVI27V GZ6gUU86I/3T1vYxu64K2kYXcCfV+bFX2xvhEUHtkwjZAnYvFVCW0SJCfPTPRRda Sjlq2rhH6ERm9WX3k/ygf/DpnkF63mGQrZ6pPFNqL4mbqIYXGGQ= =u9ru -----END PGP SIGNATURE-----
--- End Message ---
