can't load Gdbm, missing libmgdbm.so

[Leonardo Santagada]

Binary package hint: mosml

steps to reproduce:
 - open mosml
 - load "Gdbm"

error log:
user@asdf:~$ mosml
Moscow ML version 2.01 (January 2004)
Enter `quit();' to quit.
- load "Gdbm";
! Uncaught exception:
! Fail "libmgdbm.so: cannot open shared object file: No such file or directory while loading C library libmgdbm.so"
! Uncaught exception:
! Fail "load: unable to load"

[Jérôme Guelfucci (jerome-guelfucci-deactivatedaccount)]

Thank you for your bug report. Do you still have this issue with the latest release of Ubuntu ?

[Jérôme Guelfucci (jerome-guelfucci-deactivatedaccount)]

I can confirm that under feisty, I will report upstream.

[Jérôme Guelfucci (jerome-guelfucci-deactivatedaccount)]

Upstream answer :

"The libgdbm.so DLL is not compiled by default in the mosml source
distribution because it needs the GDBM (Gnu DBM database) library
which may not be available (but it exists for Linux and Windows).

The library is compiled by issuing

 make
 make install

in directory mosml/src/dynlibs/mgdbm/ after editing Makefile for the
relevant version of GDBM.

The absence of libgdbm.so only affects the Gdbm structure in the
mosml installation, everything else should work fine.

The same holds for

 libmpq.so and structure Postgres
 libmmysql.so and structure Mysql
 libmgd.so and structure Gdimage
 and so on"

[Jérôme Guelfucci (jerome-guelfucci-deactivatedaccount)]

Fixing bug #78367 would fix that so I'm marking as duplicate.