[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#645003: marked as done (libppl-swi: Disable SWI-Prolog support for stage1 architecture bootstrap)

Your message dated Tue, 07 Aug 2012 17:47:32 +0000
with message-id <E1SynsS-0000Zk-9B@franck.debian.org>
and subject line Bug#645003: fixed in ppl 0.11.2-7
has caused the Debian Bug report #645003,
regarding libppl-swi: Disable SWI-Prolog support for stage1 architecture bootstrap
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 owner@bugs.debian.org
immediately.)


-- 
645003: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=645003
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Source: ppl
Version: 0.11.2-4
Severity: wishlist
Tags: patch

The most time-consuming part of bootstrapping a new Debian architecture
is cross-compiling all of the initial "Essential: yes" packages and the
dependencies of "build-essential".

Since ppl is now a dependency of GCC, its dependencies are now also a
part of that process.  Since the libppl-swi is unnecessary for the
bootstrap, please consider applying the following package to allow
libppl to omit the SWI-Prolog dependency and build for stage1 builds.

I tested this with a cross-compile for the "powerpcspe" architecture:

  $ sudo apt-get build-dep ppl=0.11.2-4
  $ apt-get source ppl=0.11.2-4
  $ patch -d ppl-0.11.2 -p1 <ppl-stage1-support.patch
  $ cd ppl-0.11.2
  $ DEB_STAGE=stage1 dpkg-buildpackage -apowerpcspe -b -us -uc

Additionally, a native build without DEB_STAGE set also still works.

Thanks!

Cheers,
Kyle Moffett

--
Curious about my work on the Debian powerpcspe port?
I'm keeping a blog here: http://pureperl.blogspot.com/


-- System Information:
Debian Release: wheezy/sid
  APT prefers testing
  APT policy: (700, 'testing'), (700, 'stable'), (600, 'unstable'), (500, 'stable-updates'), (500, 'experimental')
Architecture: amd64 (x86_64)

Kernel: Linux 3.0.0-1-amd64 (SMP w/2 CPU cores)
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/bash

diff -ru ppl-0.11.2/debian/rules ppl-0.11.2.new/debian/rules
--- ppl-0.11.2/debian/rules	2011-07-10 14:00:23.000000000 -0400
+++ ppl-0.11.2.new/debian/rules	2011-10-11 12:33:06.000000000 -0400
@@ -29,8 +29,16 @@
 
 # FOR AUTOCONF 2.52 AND NEWER ONLY
 confflags += --build $(DEB_BUILD_GNU_TYPE) --host $(DEB_HOST_GNU_TYPE)
-# only build the C,C++,SWI-Prolog interfaces
-confflags += --enable-interfaces=c,cxx,swi_prolog --disable-ppl_lpsol --disable-ppl_lcdd
+confflags += --disable-ppl_lpsol --disable-ppl_lcdd
+
+## Disable the SWI-Prolog interface during architecture bootstrap
+ifeq ($(DEB_STAGE),stage1)
+confflags += --enable-interfaces=c,cxx
+DH_OPTIONS += -Nlibppl-swi
+export DH_OPTIONS
+else
+confflags += --enable-interfaces=c,cxx,swi_prolog
+endif
 
 ifneq (,$(findstring nocheck,$(DEB_BUILD_OPTIONS)))
   with_check := disabled by DEB_BUILD_OPTIONS.

--- End Message ---
--- Begin Message --- 
Source: ppl
Source-Version: 0.11.2-7

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 645003@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Matthias Klose <doko@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@debian.org)


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Tue, 07 Aug 2012 12:49:10 +0200
Source: ppl
Binary: libppl9 libppl0.11-dev libppl-c4 libpwl5 libpwl-dev libppl-doc libppl-swi
Architecture: source amd64 all
Version: 0.11.2-7
Distribution: unstable
Urgency: low
Maintainer: Debian GCC Maintainers <debian-gcc@lists.debian.org>
Changed-By: Matthias Klose <doko@debian.org>
Description: 
 libppl-c4  - Parma Polyhedra Library (C interface)
 libppl-doc - Parma Polyhedra Library: Documentation
 libppl-swi - Parma Polyhedra Library (SWI Prolog interface)
 libppl0.11-dev - Parma Polyhedra Library (development)
 libppl9    - Parma Polyhedra Library (runtime library)
 libpwl-dev - Parma Watchdog Library (Watchdog timers - development)
 libpwl5    - Parma Watchdog Library (Watchdog timers - runtime library)
Closes: 645003
Changes: 
 ppl (0.11.2-7) unstable; urgency=low
 .
   * Mark libppl0.11-dev as Multi-Arch: same again, and install the header
     files in the multiarch include path.
     Needs a follow-up patch to split out the ppl-config binary.
   * Disable the build of the swi prolog bindings for DEB_STAGE 1 builds.
     Closes: #645003.
Checksums-Sha1: 
 34c7d13ed42423dc6b73d42b6d967a6fbc4e58f4 1656 ppl_0.11.2-7.dsc
 fd1336535a28c29bec43890c252031d12288b759 15087 ppl_0.11.2-7.debian.tar.gz
 26fc08f43cbb9d7b62a081eb3dd50f2848b4cabe 540028 libppl9_0.11.2-7_amd64.deb
 83b1e6b5a9fab14048c0d58cf36f5f71d8201334 3623326 libppl0.11-dev_0.11.2-7_amd64.deb
 9580a8cc26331b8744fbf54e9df69046c5de9ff6 1516254 libppl-c4_0.11.2-7_amd64.deb
 c008e6cd7a5d7bde6704816da4713c401bb4d6f5 30520 libpwl5_0.11.2-7_amd64.deb
 bf6ee8ebb811b71c0efc3e581b5158a071e837b9 39244 libpwl-dev_0.11.2-7_amd64.deb
 b4e735a55fd91a8c527dcb26e605a85daf2b5090 5394894 libppl-swi_0.11.2-7_amd64.deb
 f66b076bfb1e43869ddf9f4a738e7d1fcb70c903 4441884 libppl-doc_0.11.2-7_all.deb
Checksums-Sha256: 
 a355b11135e976d2580a6b5ec798a0fa81da8cb0ed118aa40fed7ad9cf582fdd 1656 ppl_0.11.2-7.dsc
 40a4202c105cb7a2097b8d19e1b03a9281e0d3d948d46496db1562ed42cc9bc6 15087 ppl_0.11.2-7.debian.tar.gz
 3ff360953d0e6b6ddb98d7d19a99551b1ba42624ceb97fec95a07cf0cce215d7 540028 libppl9_0.11.2-7_amd64.deb
 d6b59e654576f23ae4e37a0103ec872caccdb80ce89b63bff9429d4415886fee 3623326 libppl0.11-dev_0.11.2-7_amd64.deb
 b084115fa20724b27f2b4eeed7c147e653039c32bc421b77c4f35a31bc043278 1516254 libppl-c4_0.11.2-7_amd64.deb
 dda8af3d4e111b89147a477dc769b97a18eaf91219abae8f7b776183302a9a6c 30520 libpwl5_0.11.2-7_amd64.deb
 71ebf96b655c5170bd5041693266834e0d0c9942e25fd35e33c1fb070472e752 39244 libpwl-dev_0.11.2-7_amd64.deb
 e560e82da76eecff3658daf1d3adfdcb23ccfa979a4904d9eedf7c9c9e49a17d 5394894 libppl-swi_0.11.2-7_amd64.deb
 cb647b236171c86c4fdb1140ceccf6488259ac8597cec33a82e06da9a5681257 4441884 libppl-doc_0.11.2-7_all.deb
Files: 
 060d549fbba05649305df6079c2395ca 1656 libs optional ppl_0.11.2-7.dsc
 1035dc7d1293980ef9429e3ae90261c4 15087 libs optional ppl_0.11.2-7.debian.tar.gz
 53c9a4bd2f99a17526d2be60ab5c8a75 540028 libs optional libppl9_0.11.2-7_amd64.deb
 51f3ded121d4e4369f2f5e08f461a384 3623326 libdevel optional libppl0.11-dev_0.11.2-7_amd64.deb
 9c09d0c9eae83df04cce7b2598fa6624 1516254 libs optional libppl-c4_0.11.2-7_amd64.deb
 1be19b46224bf3d8b9825793b966c9a8 30520 libs optional libpwl5_0.11.2-7_amd64.deb
 769b61a7af07eca3c7e0f4c08733e311 39244 libdevel optional libpwl-dev_0.11.2-7_amd64.deb
 20a65779ab67f601d79debeb0fa44ce5 5394894 libs optional libppl-swi_0.11.2-7_amd64.deb
 d8fbc7b4457c106c134e6d391c3c93c8 4441884 doc optional libppl-doc_0.11.2-7_all.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)

iEYEARECAAYFAlAhUckACgkQStlRaw+TLJxSEwCgw2Dcu5vP4DEF5VJ9qOEUnvQG
wFUAn1QYsnpc7ymc/skvljnQm4NczoSn
=nrtM
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: