[Bug 78367] Re: extend mosml package to include optional libraries (patch included)

[Max Randor]

It doesn't look like any activity has occured on this bug and so the bug
still remains in interepid.

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

I would think that this bug's importance should be increased from wishlist to a status such that this bug will actually get fixed. As it stands I will have to uninstall the version from the repositories, edit the source code and compile mosml from source, this is a pain. I would greatly appreciate it if this were done, especially since the patch has already been written and just needs to be used.
Thank You.

-- 
extend mosml package to include optional libraries (patch included)
https://bugs.launchpad.net/bugs/78367
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.

-- 
ubuntu-bugs mailing list
ubuntu-bugs at lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs