Hello,

It struck me that the name libbdd is quite generic. Despite the fact
that there are not other bdd libraries in debian at the moment, in my
opinion a better name for this library would be libbuddy . I'm asking
this "strange" question for two reasons. First I've almost finished an
ocaml binging for libbuddy ( :) ) and it would be rather obvious to call
it ocaml-buddy (or ocaml-buddybdd) instead of ocaml-bdd . Second because
I intend to open a ITP for CUDD BDD [1] and I'd like to name it
accordingly libcudd . It would be great if we could use the same name
convention for all bdd related packages. As a first step, would you
consider renaming the library object itself as libbuddy and to leave the
package as it is until I finish to package libcudd (plus a sym link to
for backward compatibility) ? What you think ?

[1] http://vlsi.colorado.edu/~fabio/CUDD/cuddIntro.html

thanks.

pietro

Fine with me, but I am a bit busy so not sure it will be this weekend.

Cheers,

The problem is that the upstream source installs the library as libbdd
and the include file for the library is /usr/include/bdd.h .  So, on
second thoughts, it seems rather silly to rename the library since it
has been named like this for over ten years and there are no clashes
with other libraries.

Splendid, but then you are also free to call it ocaml-buddy if you wish.

Cheers,

Hi

I understand your point. I've filled a feature request on the buddy bts.
Let's see if I can push this change upstream.

https://sourceforge.net/tracker/index.php?func=detail&aid=2990763&group_id=112658&atid=662731

thanks for your help.