Bug#609930: frama-c: Making standalone CIL/FrontC libraries
Package: frama-c
Version: 20100401+boron+dfsg-4+3.12.0+1
Severity: wishlist
It would be really nice if we could have CIL packaged as standalone OCaml libraries.
-- System Information:
Debian Release: 6.0
APT prefers testing
APT policy: (900, 'testing'), (700, 'stable'), (500, 'stable'), (90, 'unstable'), (1, 'experimental')
Architecture: amd64 (x86_64)
Kernel: Linux 2.6.32-5-amd64 (SMP w/2 CPU cores)
Locale: LANG=fr_CH.UTF-8, LC_CTYPE=fr_CH.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/bash
Versions of packages frama-c depends on:
ii emacs [em 23.2+1-7 The GNU Emacs editor (metapackage)
ii emacs21 [ 21.4a+1-5.7 The GNU Emacs editor
ii emacs22 [ 22.3+1-1.2 The GNU Emacs editor
ii emacs23-n 23.2+1-7 The GNU Emacs editor (without X su
ii frama-c-b 20100401+boron+dfsg-4+3.12.0+1 Framework for C source code analys
ii graphviz 2.26.3-5 rich set of graph drawing tools
ii libart-2. 2.3.21-1 Library of functions for 2D graphi
ii libatk1.0 1.30.0-1 The ATK accessibility toolkit
ii libc6 2.11.2-7 Embedded GNU C Library: Shared lib
ii libcairo2 1.8.10-6 The Cairo 2D vector graphics libra
ii libfontco 2.8.0-2.1 generic font configuration library
ii libfreety 2.4.2-2.1 FreeType 2 font engine, shared lib
ii libglib2. 2.24.2-1 The GLib library of C routines
ii libgnomec 2.30.1-1 A powerful object-oriented display
ii libgtk2.0 2.20.1-2 The GTK+ graphical user interface
ii libgtksou 2.10.4-1 shared libraries for the GTK+ synt
ii libpango1 1.28.3-1 Layout and rendering of internatio
Versions of packages frama-c recommends:
pn why <none> (no description available)
frama-c suggests no packages.
-- no debconf information
Reply to: