sparse_0.5.0-1build1_i386.deb


Advertisement

Description

sparse - semantic parser of source files

Property Value
Distribution Ubuntu 16.04 LTS (Xenial Xerus)
Repository Ubuntu Universe i386
Package name sparse
Package version 0.5.0
Package release 1build1
Package architecture i386
Package type deb
Installed size 5.62 KB
Download size 1.46 MB
Official Mirror archive.ubuntu.com
Sparse, the semantic parser, provides a compiler frontend capable of
parsing most of ANSI C as well as many GCC extensions, and a collection
of sample compiler backends, including a static analyzer also called
"sparse". Sparse provides a set of annotations designed to convey
semantic information about types, such as what address space pointers
point to, or what locks a function acquires or releases.
Sparse can be invoked directly as "sparse" or via the "cgcc" wrapper
around the C compiler.

Alternatives

Package Version Architecture Repository
sparse_0.5.0-1build1_amd64.deb 0.5.0 amd64 Ubuntu Universe
sparse - - -

Requires

Name Value
libc6 >= 2.15
libgcc1 >= 1:4.2
libglib2.0-0 >= 2.16.0
libgtk2.0-0 >= 2.8.0
libstdc++6 >= 5.2
libtinfo5 >= 6
libxml2 >= 2.7.4
perl -

Download

Type URL
Binary Package sparse_0.5.0-1build1_i386.deb
Source Package sparse

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install sparse deb package:
    # sudo apt-get install sparse

Files

Path
/usr/bin/c2xml
/usr/bin/cgcc
/usr/bin/sparse
/usr/bin/sparse-llvm
/usr/bin/sparsec
/usr/bin/test-inspect
/usr/include/sparse/allocate.h
/usr/include/sparse/bitmap.h
/usr/include/sparse/compat.h
/usr/include/sparse/dissect.h
/usr/include/sparse/expression.h
/usr/include/sparse/flow.h
/usr/include/sparse/ident-list.h
/usr/include/sparse/lib.h
/usr/include/sparse/linearize.h
/usr/include/sparse/parse.h
/usr/include/sparse/ptrlist.h
/usr/include/sparse/scope.h
/usr/include/sparse/storage.h
/usr/include/sparse/symbol.h
/usr/include/sparse/target.h
/usr/include/sparse/token.h
/usr/lib/libsparse.a
/usr/lib/pkgconfig/sparse.pc
/usr/share/doc/sparse/FAQ
/usr/share/doc/sparse/changelog.Debian.gz
/usr/share/doc/sparse/copyright
/usr/share/man/man1/cgcc.1.gz
/usr/share/man/man1/sparse.1.gz

Changelog

2016-02-06 - Matthias Klose <doko@ubuntu.com>
sparse (0.5.0-1build1) xenial; urgency=medium
* No-change rebuild for ncurses6 transition.
2015-11-03 - Uwe Kleine-König <ukleinek@debian.org>
sparse (0.5.0-1) unstable; urgency=medium
* new upstream release (Closes: #743923)
- upstream relicensed under MIT (Closes: #524319)
* provide PREFIX already at build time (Closes: #660274)
* Standards-Version: 3.9.6 (no changes needed) 
* Merge 0.4.5~rc1-2, thanks to Andreas Beckmann 
* Take over maintenance, drop Loïc from Uploaders (Closes: #794643)
* cherry-pick patches from upstream to make sparse multi-arch aware
(Closes: #755979)
2015-09-09 - Andreas Beckmann <anbe@debian.org>
sparse (0.4.5~rc1-2~deb8u1) jessie; urgency=medium
* QA upload.
* Rebuild for jessie.
2015-08-08 - Andreas Beckmann <anbe@debian.org>
sparse (0.4.5~rc1-2) unstable; urgency=medium
[ Andreas Beckmann ]
* QA upload.
* Set maintainer to Debian QA Group.  (See #794643)
* Fix Homepage and Vcs-Browser URLs.
* Refresh patch to apply without fuzz.
[ Uwe Kleine-König ]
* Cherry-pick commit from upstream to fix build failure with llvm-3.5.
* Temporarily build-depend on libedit-dev because llvm-config claims to need
that.  (Closes: #793197)
2013-06-15 - Loïc Minier <lool@debian.org>
sparse (0.4.5~rc1-1) unstable; urgency=low
[ Uwe Kleine-König ]
* new upstream release candidate
* switch to debhelper 9 to get hardend binaries
* Standards-Version: 3.9.4 (no changes needed)
* Add patch to add --as-needed to LDFLAGS (except for LLVM).
* Add missing ${perl:Depends}.
[ Loïc Minier ]
* Use my Debian address in control.
* Update Vcs fields to use anonscm URLs.
* Don't repeat Section and Priority in binary package stanza.
* Fix typo in copyright file.
* Add watch file.
* Build sparse-llvm by adding llvm-dev (>= 3.0~) build-dep.
* Add patch to pass CFLAGS and CPPFLAGS from rules to Makefile, notably
hardening flags.
2011-05-07 - Pierre Habouzit <madcoder@debian.org>
sparse (0.4.3+20110419-1) unstable; urgency=low
* Merge upstream up to 87f4a7fda3d17:
+ Fixes build with gcc-4.6 (Closes: 625962).
2011-03-19 - Pierre Habouzit <madcoder@debian.org>
sparse (0.4.3-1) unstable; urgency=low
* New upstream release (Closes: #587005):
+ inline forward declarations are now allowed (Closes: #607432).
* Update Homepage (Closes: #566605).
* Bump standards versions to 3.9.1.
* Switch from cdbs to debhelper.
* Add libxml2-dev and libgtk2.0-dev to build-depends to build new tools
(Closes: #608592).
2007-11-18 - Pierre Habouzit <madcoder@debian.org>
sparse (0.4.1-1) unstable; urgency=low
* New upstreal release.
* (debian/control):
+ rename XS-VCS-* headers into VCS-*.
+ have a real Homepage header.
2007-10-12 - Pierre Habouzit <madcoder@debian.org>
sparse (0.4-2) unstable; urgency=low
* Upload to unstable.
2007-10-10 - Pierre Habouzit <madcoder@debian.org>
sparse (0.4-1) experimental; urgency=low
* New upstream release: closes: #426143, #444879:
+ (debian/copyright): update copyrights.
* Take over maintainance with permission from Loïc.
* (debian/control):
+ add XS-Vcs-* headers.
+ add XS-autobuild: Yes.
* (debian/sparse.manpages): install cgcc.1, sparse.1.

See Also

Package Description
spass_3.7-3_i386.deb An automated theorem prover for first-order logic with equality
spatialite-bin_4.3.0-2_i386.deb Geospatial extension for SQLite - tools
spatialite-gui_2.0.0~devel2-2_i386.deb user-friendly graphical user interface for SpatiaLite
spawn-fcgi_1.6.4-1_i386.deb FastCGI process spawner
spd_1.3.0-1ubuntu1_i386.deb Synchrotron image corrections and azimuthal integration
spe_0.8.4.h-3.2_all.deb Stani's Python Editor
speakup-doc_3.1.6.dfsg.1-3_all.deb Documentation for speakup kernel modules
speakup-tools_0.0~git20121016.1-2_all.deb Tools to customize speakup module
spectacle_0.25-1_all.deb RPM Spec file generator and management tool
specto_0.3.1-0ubuntu3_all.deb Unobtrusive update notification program
spectools_201108r1-7_i386.deb Utilities for using the Wi-Spy USB spectrum analyzer hardware
spectrwm_2.6.0-1ubuntu2_i386.deb dynamic tiling window manager
speech-dispatcher-doc-cs_0.8.3-1ubuntu3_all.deb Speech Dispatcher documentation in Czech
speech-dispatcher-festival_0.8.3-1ubuntu3_i386.deb Festival support for Speech Dispatcher
speech-dispatcher-flite_0.8.3-1ubuntu3_i386.deb Speech Dispatcher: Flite output module
Advertisement
Advertisement