Re: Bug#494488: ITP: polyml -- Standard ML implementation

["Achim D. Brucker" <brucker@spamfence.net>]

Bernd Eckenfels <ecki@lina.inka.de> schrieb:
> In article <[🔎] slrng9u4pf.3e1.brucker@nakagawa.brucker.ch> you wrote:
>> good point. I will add something along these lines to the 
>> package descriptions.
>
> And maybe also to the summary line? "Runtime for the Standard ML
> programming language"

also a good idea. 


>
> Will you also have different packages for runtime libs/system and compiler
> (or whatever typical packages can be separated).


yes, poly/ML will consist out of three packages: 
- polyml: the interpreter
- libpolyml-dev: needed for compiling stand-alone executables
- libpolyml1: the runtime-library needed to run stand-alone
              executables

Achim