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

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: