Bug#575371: FTBFS: missing dgraph.cmx, now provided by libocamlgraph-viewer-ocaml-dev

To: Samuel Thibault <sthibault@debian.org>, 575371@bugs.debian.org
Subject: Bug#575371: FTBFS: missing dgraph.cmx, now provided by libocamlgraph-viewer-ocaml-dev
From: Mehdi Dogguy <mehdi@dogguy.org>
Date: Thu, 25 Mar 2010 11:05:02 +0100
Message-id: <4BAB354E.5070903@dogguy.org>
Reply-to: Mehdi Dogguy <mehdi@dogguy.org>, 575371@bugs.debian.org
In-reply-to: <20100325093451.GA7559@const.bordeaux.inria.fr>
References: <20100325093451.GA7559@const.bordeaux.inria.fr>

Samuel Thibault wrote:
> Package: frama-c
> Version: 20090902+beryllium+dfsg-4
> Severity: grave
> Justification: renders package unusable
> 
> Hello,
> 
> libocamlgraph-ocaml-dev doesn't provide dgraph.cmx any more, so that
> frama-c currently FTBFS on sid systems. libocaml-graph-viewer-ocaml-dev
> should be depended on instead.
> 

Yes. That's planned. "libocaml-graph-viewer-ocaml-dev" is only 2 days old.
I thought I have more time to update Frama-c :) Note that Why and alt-ergo
have been already updated.

Cheers,

-- 
Mehdi Dogguy مهدي الدڤي
http://dogguy.org/

Reply to:

Follow-Ups:
- Bug#575371: FTBFS: missing dgraph.cmx, now provided by libocamlgraph-viewer-ocaml-dev
  - From: Samuel Thibault <sthibault@debian.org>

References:
- Bug#575371: FTBFS: missing dgraph.cmx, now provided by libocamlgraph-viewer-ocaml-dev
  - From: Samuel Thibault <sthibault@debian.org>

Prev by Date: Bug#575371: FTBFS: missing dgraph.cmx, now provided by libocamlgraph-viewer-ocaml-dev
Next by Date: Processing of frama-c_20090902+beryllium+dfsg-5_i386.changes
Previous by thread: Bug#575371: FTBFS: missing dgraph.cmx, now provided by libocamlgraph-viewer-ocaml-dev
Next by thread: Bug#575371: FTBFS: missing dgraph.cmx, now provided by libocamlgraph-viewer-ocaml-dev
Index(es):
- Date
- Thread