extend mosml package to include optional libraries (patch included)

[Henning Niss]

Binary package hint: mosml

It would be nice if the mosml packaging included the possibility to install some of the dynamically loadable libraries. I have included a patch that packages these as well.

What the patch does is to basically make a number of new packages (libXXX-mosml) which each include one of the optional Moscow ML libraries. It is loosely based on Jens Peter Secher (and to some extent my own) mosml packaging efforts (http://www.diku.dk/hjemmesider/ansatte/jpsecher/debian.html). There is also a dummy package, mosml-libs, that depends on all of these.

I am not too familiar with packaging software for Ubuntu/Debian, so there may be a number of problems with the patch. I am of course happy to change whatever may be wrong. (BTW, I did not update the changelog.)

Henning

[Henning Niss (hniss)]

Here is the above mentioned patch.

[Henning Niss (hniss)]

I have made a new version of the patch - now it actually works.

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

I've tested the patched version builds under Gutsy.

[Max Randor (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.

[Brian Murray (brian-murray)]

This package has been removed from the archive in Lucid and subsequently I am setting this bug's status to Won't Fix. Please submit any bugs about other packages that you may experience in the future.