Bug#609930: marked as done (frama-c: Making standalone CIL/FrontC libraries)
Your message dated Sun, 16 Jan 2011 12:41:33 +0100
with message-id <4D32D96D.5000904@dogguy.org>
and subject line Re: Bug#609930: [CIL users] Compiling CIL on Debian, -lstr
has caused the Debian Bug report #609930,
regarding frama-c: Making standalone CIL/FrontC libraries
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.)
--
609930: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=609930
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
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
--- End Message ---
--- Begin Message ---
On 01/15/2011 10:32 PM, Guillaume Yziquel wrote:
> I recently understood that Frama-C has modified the CIL codebase for
> its own purposes. So in fact this should really be a wishlist item to
> see the original CIL codebase packaged, not Frama-C's CIL.
>
Sorry for this late reply. I didn't find time to write a proper answer
for this request.
As you just noticed, Frama-c's CIL is a modified version of CIL. So,
this wishlist item should not be reported against frama-c, but against
wnpp (an RFP bug). I'm closing this bugreport because I don't intend to
package CIL for Debian, and there is nothing to do in Frama-c. Feel free
to submit an RFP bug against wnpp if you are still interested.
Regards,
--
Mehdi Dogguy مهدي الدڤي
http://dogguy.org/
--- End Message ---
Reply to: