Menu
▾
▴
#3 change lib name from libbdd to libbuddy
Hello. Buddy bdd at the moment ships a dynamic library named libdbb. This name is quite generic and
when installed on a shared system, it might conflict with other bdd libraries. I suggest, for uniformity, to change
the name of the shared library to libbuddy .
I'm asking this as I plan to package an other bdd library for debian and it would be nice to have libbuddy
on one side and libcudd on the other, instead of leaving libbdd as it might create confusion. This should
be a quite innocuous change I think and debian can add a link from libbdd to libbuddy for backward
compatibility for some time.
thanks for your work. ! This is a great package !
sorry the the double message ... ofcourse the include /usr/include/bdd.h should also be renamed
of otherwise installed in a sub directory as /usr/include/buddy/bdd.h . I guess this solution would be
cleaner. This has the potential to break sw that relies on buddy bdd in a trivial way.