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

Bug#544404: marked as done (Fail to load plugins at startup)

Your message dated Thu, 10 Sep 2009 19:32:15 +0000
with message-id <E1MlpNP-0008Lr-W7@ries.debian.org>
and subject line Bug#544404: fixed in frama-c 20090901+beryllium+dfsg-1
has caused the Debian Bug report #544404,
regarding Fail to load plugins at startup
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.)


-- 
544404: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=544404
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
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

--- End Message ---
--- Begin Message --- 
Source: frama-c
Source-Version: 20090901+beryllium+dfsg-1

We believe that the bug you reported is fixed in the latest version of
frama-c, which is due to be installed in the Debian FTP archive:

frama-c_20090901+beryllium+dfsg-1.diff.gz
  to pool/main/f/frama-c/frama-c_20090901+beryllium+dfsg-1.diff.gz
frama-c_20090901+beryllium+dfsg-1.dsc
  to pool/main/f/frama-c/frama-c_20090901+beryllium+dfsg-1.dsc
frama-c_20090901+beryllium+dfsg-1_amd64.deb
  to pool/main/f/frama-c/frama-c_20090901+beryllium+dfsg-1_amd64.deb
frama-c_20090901+beryllium+dfsg.orig.tar.gz
  to pool/main/f/frama-c/frama-c_20090901+beryllium+dfsg.orig.tar.gz



A summary of the changes between this version and the previous one is
attached.

Thank you for reporting the bug, which will now be closed.  If you
have further comments please address them to 544404@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Mehdi Dogguy <mehdi@debian.org> (supplier of updated frama-c package)

(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@debian.org)


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Wed, 09 Sep 2009 17:30:41 +0200
Source: frama-c
Binary: frama-c
Architecture: source amd64
Version: 20090901+beryllium+dfsg-1
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Mehdi Dogguy <mehdi@debian.org>
Description: 
 frama-c    - Framework for source code analysis of software written in C
Closes: 544404 544833
Changes: 
 frama-c (20090901+beryllium+dfsg-1) unstable; urgency=low
 .
   * Change the version number to reflect the codename in the version string
   * New Upstream Version
     + Fixes the issues related the static Jessie plugin. Thus, removing:
       0004-Add-JCCM-O-X-to-BYTE-OPT-_LIBS-when-linking-statical.patch
       (Closes: #544404).
     + Provides toc_head.htm and toc_tail.htm
     + Fixes linking problem for the viewer. Thus, removing:
       0002-Do-not-add-GRAPH_GUICMO-to-BYTE_GUI_LIBS.patch
     + Removing 0006-Do-not-install-non-existant-files.patch (now integrated
       upstream)
   * Add some patches:
     + Fix weak pattern-matching in dynlink_lower_311_byte.ml, fixes FTBFS
       on non-native architectures (Closes: #544833).
       0001-Fix-weak-pattern-matching-in-dynlink_lower_311_byte..patch
     + Make the Jessie plugin compile with Jc 2.19:
       0002-Make-Jessie-plugin-use-Jc-from-Why-2.19.patch
     + Fix linking problem for the viewer (add dGraphView.cmo):
       0003-Add-dGraphView.cmo-when-linking.patch
   * Bump libocamlgraph-ocaml-dev version from 1.1 to 1.2+debian in build
     dependencies.
   * Don't strip bytecode binaries since they are compiled with -custom
   * Recommends alt-ergo and libwhy-coq
   * Remove useless runtime dependency libocamlgraph-ocaml-dev
   * Install data needed by frama-c in /usr/share/frama-c
   * Make some additional links to follow default upstream installation:
     + /usr/share/frama-c/why      -> /usr/share/why/
     + /usr/share/frama-c/caduceus -> /usr/share/caduceus
Checksums-Sha1: 
 4f6584cc1c8033cecc484293d0eb6eb777807a2e 2222 frama-c_20090901+beryllium+dfsg-1.dsc
 300690fc265c0f0c5482f82807ed55f16f1adade 1705295 frama-c_20090901+beryllium+dfsg.orig.tar.gz
 b5792160e0a6bf330c9fb840c493cc123683dcae 20701 frama-c_20090901+beryllium+dfsg-1.diff.gz
 076d9c6289f796708f9378d7eb61688f62d3cd83 17216460 frama-c_20090901+beryllium+dfsg-1_amd64.deb
Checksums-Sha256: 
 b678830bcf78a50757bc1ffdfad8d1c2881a32f48096e11314b19bfab76518ee 2222 frama-c_20090901+beryllium+dfsg-1.dsc
 47e5bb8086e6b462ae96b00d5158d33c26a79e6f3d9766bb90e27990a42c2f6d 1705295 frama-c_20090901+beryllium+dfsg.orig.tar.gz
 2cc9c920118520938fa16285ae6184749cfb7f7ddd2bae28134f0cd692ce9b7c 20701 frama-c_20090901+beryllium+dfsg-1.diff.gz
 a7f7394a6c4ff0cc7aa6c2a454994c3ca81c8ad7a5c44ad32ba4763c1716d872 17216460 frama-c_20090901+beryllium+dfsg-1_amd64.deb
Files: 
 f8757d4ba63059b3c22a57e177a4bca8 2222 math extra frama-c_20090901+beryllium+dfsg-1.dsc
 e9d3b70e9ab9fa5b5b9952f207a47f5f 1705295 math extra frama-c_20090901+beryllium+dfsg.orig.tar.gz
 b8f0b54f2a2203384cd8489afdfcf490 20701 math extra frama-c_20090901+beryllium+dfsg-1.diff.gz
 92d3035ad1a0a773a03ed8225e965f49 17216460 math extra frama-c_20090901+beryllium+dfsg-1_amd64.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)

iQIcBAEBCAAGBQJKqU7oAAoJEDO+GgqMLtj/Un4P/1NI4GLwsyNtNCV3CKdm6BLY
fxLmC3w4ukDPItvGvDgVhXC2QOldtMLw2vT+jZLAYBpO0GSNoWs4GaKgDxxt/pBR
V6H0PTosF9sKzhluEeFoNzEPHXs/0BY08DLMiK3E9JuPHJ7EepU3iZUhIXvm2m+d
uOxh7xCnFlXHJe0qpd5PadjVo6+42DqSZGCz5qHPtwDTJIwDYOqyrUcmkTr9IiSE
60U5JsSMYkZ4x0O5xL4Jvq1WeGjQ+J4dAItb+draKD7pItlJn1BSaa2JgbtEy5YT
9aDUW8sDU7lZfKm/SzfefDm2owfh22jYTi/JOgs2aLniBDjZx2S3EiFcGJ5lGagJ
cK2rgYC39CUtkGvaptgJYy2N/GAzm+RaXSRhfgxKaiojp6aS89Z/xpCl6fbLk30U
gKdrgkzPvt+CqhjOjfpZlbuvb4yeNld1NH4qij4MEYI/OwtnUhanPfEQt7nTfK81
yltlbAJaCNHEM9LH/jgHt4MoJWpTs1DYvePTc7WNMenbyzJ/q14qUN2GhLvqNBFk
Y6hxuSfr1SHNv4A1fxlo+sfuhMWzBF/ZRyEqCUT/2EJBgyU5+e6Iiv6kQZd0X3jK
NhrTyZJegFBsPG1HClzbWGpcJ5HMaAjTLN7nKGB2DpW63PosV8lq0+c8iz4vFcuW
zDX2EDI6brG5Ftw8tfNj
=kgy0
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: