2007-01-07 22:09:50 |
Henning Niss |
description |
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.)
|
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 |
|