从多个文件编译SML项目

zlo*_*leo 6 sml smlnj mlton polyml mosml

我有一个包含许多文件的项目,我希望它能与大多数流行的编译器一起使用.

不幸的是,PolyML和SML/NJ需要use语句,而MosML还需要使用loadpoly或sml无法识别的基础库结构.

最重要的是,MLton和MLKit需要一个完全不同的.mlb文件,只需列出文件名,并且还需要显式导入基础库,这是以与MosML不同的方式完成的:

$(SML_LIB)/basis/basis.mlb
Run Code Online (Sandbox Code Playgroud)

是否有一些标准的通用"包含此文件"命令,如果它不存在,是否有其他方法让所有编译器从一个入口点文件中读取?

PS不会介意有人对编译器差异进行小吵闹.我总是对人们的想法感兴趣,而且没有太多可用的信息:-)

mat*_*att 5

use函数是标准的通用"包含此文件"命令,包含在顶级环境中

val use : string -> unit    implementation dependent
Run Code Online (Sandbox Code Playgroud)

我通常在smlnj的CM中维护构建环境,然后使用cm2mlb转换为mlb.它将在解析sources.cm文件时定义一个标志MLton,以便您可以使用它来解决模块加载行为的差异.

#if(defined(MLton))
runmain.sml
#endif
Run Code Online (Sandbox Code Playgroud)

还有一组sml-buildscripts,它们从mlb转换为polyml.我不熟悉它们或polyml但是CM作为权威来源很方便,因为它通过结构CM提供来自SML的编程访问.

这就是cm2mlb使用的,所以虽然我不知道已经存在从CM转换为polyml的任何东西,但它应该是可能的.