Bug#743923: Upload sparse 0.5.0

2015-07-14 Thread Uwe Kleine-König
Package: sparse
Version: 0.4.5~rc1-1
Followup-For: Bug #743923

Hello,

I upgraded the package to 0.5.0 and pushed my work to the debian
repository (branch: ukl/debian-unstable). This branch also fixes #660274
(incorrect prefix in /usr/lib/pkgconfig/sparse.pc).

There are a few minor problems still:
 - building twice in a row fails because upstream's make clean doesn't
   remove validation/tmp.o.
 - llvm-config --system-libs provides -ledit but llvm doesn't depend on
   libedit-dev. So this needs a bug report (and a fix) against llvm
   and/or a temporal Build-Depends += libedit-dev.

Best regards
Uwe


-- System Information:
Debian Release: 8.1
  APT prefers proposed-updates
  APT policy: (900, 'proposed-updates'), (900, 'stable'), (600, 'unstable'), 
(500, 'oldoldstable'), (500, 'experimental'), (500, 'testing'), (500, 
'oldstable')
Architecture: amd64 (x86_64)
Foreign Architectures: i386

Kernel: Linux 3.16.0-4-amd64 (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
Init: systemd (via /run/systemd/system)

Versions of packages sparse depends on:
ii  libc6 2.19-18
ii  libffi6   3.1-2+b2
ii  libgcc1   1:4.9.2-10
ii  libglib2.0-0  2.42.1-1
ii  libgtk2.0-0   2.24.25-3
ii  libstdc++64.9.2-10
ii  libxml2   2.9.1+dfsg1-5
ii  perl  5.20.2-3+deb8u1

sparse recommends no packages.

sparse suggests no packages.

-- no debconf information


-- 
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org



Bug#743923: Upload sparse 0.5.0

2014-04-08 Thread Franz Schrober
Source: sparse
Severity: whishlist


sparse 0.5 is now released since 2014-02-27

https://lwn.net/Articles/593150/

https://www.kernel.org/pub/software/devel/sparse/dist/sparse-0.5.0.tar.gz


It is now officially licensed under the MIT and can now be moved to free. This 
is an important tool for kernel developers to check their code and has to be 
available for our free software only enthusiasts.


--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org