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: