Here is the above mentioned patch. ** Attachment added: "Patch to make packages for optional libraries" http://librarian.launchpad.net/5625423/mosml-ubuntu.diff
** Description changed: 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. + 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. + 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.) + 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 -- extend mosml package to include optional libraries (patch included) https://launchpad.net/bugs/78367 -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
