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

Bug#544404: Fail to load plugins at startup



Package: frama-c
Version: 20090601~beta1+dfsg-1
Severity: grave

Hi,

The current version of frama-c in unstable fails to load plugins at startup.
This makes the use of plugins (like Jessie) impossible.

I'm sending this bugreport to prevent frama-c from migrating to testing.
I'll fix this bug as soon as I will have a usable computer.

Cheers,

-- System Information:
Debian Release: squeeze/sid
  APT prefers testing
  APT policy: (990, 'testing'), (500, 'unstable'), (1, 'experimental')
Architecture: i386 (x86_64)

Kernel: Linux 2.6.30-1-amd64 (SMP w/2 CPU cores)
Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8) (ignored: LC_ALL set to fr_FR.UTF-8)
Shell: /bin/sh linked to /bin/bash

Versions of packages frama-c depends on:
ii  emacs23-gtk [emacsen]  23.1+1-2          The GNU Emacs editor (with GTK+ us
ii  gcc                    4:4.3.3-9         The GNU C compiler
ii  graphviz               2.20.2-3+b4       rich set of graph drawing tools
ii  libart-2.0-2           2.3.20-2          Library of functions for 2D graphi
ii  libatk1.0-0            1.26.0-1          The ATK accessibility toolkit
ii  libc6                  2.9-23            GNU C Library: Shared libraries
ii  libcairo2              1.8.8-2           The Cairo 2D vector graphics libra
ii  libfontconfig1         2.6.0-4           generic font configuration library
ii  libfreetype6           2.3.9-5           FreeType 2 font engine, shared lib
ii  libglib2.0-0           2.20.4-1          The GLib library of C routines
ii  libgnomecanvas2-0      2.26.0-1          A powerful object-oriented display
ii  libgnomeprint2.2-0     2.18.6-1          The GNOME 2.2 print architecture -
ii  libgtk2.0-0            2.16.5-1          The GTK+ graphical user interface 
ii  libgtksourceview1.0-0  1.8.5-2           shared libraries for the GTK+ synt
ii  libncurses5            5.7+20090803-1+b1 shared libraries for terminal hand
ii  libocamlgraph-ocaml-de 1.1-1             graph library for OCaml
ii  libpango1.0-0          1.24.5-1          Layout and rendering of internatio
ii  libxml2                2.7.3.dfsg-2.1    GNOME XML library
ii  why                    2.19+dfsg-1       A software verification tool
ii  zlib1g                 1:1.2.3.3.dfsg-15 compression library - runtime

frama-c recommends no packages.

frama-c suggests no packages.

-- no debconf information



Reply to: