Sml 莫斯科ML编译器的输出选项

Sml 莫斯科ML编译器的输出选项,sml,mosml,Sml,Mosml,我正在使用mosmlc.exe编译一些.sml文件。问题是,.ui和.uo输出文件放在我的输入.sml文件的同一目录中。我想这样做: mosmlc.exe -o out/ src/file1.sml src/file2.sml 以便在out/文件夹中创建输出文件。但是看起来像是-o选项用于不同的东西(根据)。但是,如果使用这样的选项运行,输出文件将与输入文件创建在同一目录中 如何指定输出文件夹?没有关于这方面的文档,编译器也没有列出编译器选项的帮助选项(非常烦人) 从源代码 通过检查编译器的代

我正在使用
mosmlc.exe
编译一些
.sml
文件。问题是,
.ui
.uo
输出文件放在我的输入
.sml
文件的同一目录中。我想这样做:

mosmlc.exe -o out/ src/file1.sml src/file2.sml
以便在
out/
文件夹中创建输出文件。但是看起来像是
-o
选项用于不同的东西(根据)。但是,如果使用这样的选项运行,输出文件将与输入文件创建在同一目录中

如何指定输出文件夹?没有关于这方面的文档,编译器也没有列出编译器选项的帮助选项(非常烦人)

从源代码 通过检查编译器的代码,我可以理解:

没有帮助选项列出所有的选项和用法(糟糕的是,也许我应该考虑在他们的回购中支持一个改变)
  • 没有输出选项

  • 所以,看起来我无法做到这一点。。。你能证实吗?

    我认为没有任何解决办法。也许只是使用符号链接的一种变通方法,我不确定Windows是否提供:

    mkdir out && \
    cd out && \
    ln -s ../*.{sml,sig} . && \
    mosmlc -toplevel Hello.sml World.sml main.sml -o main && \
    ./main
    
    这将创建一个
    out
    目录,
    cd
    ,将所有
    .sig
    .sml
    源文件符号链接到该目录中,并在其中执行编译


    很抱歉,我给了您一个Unix命令,但我没有要测试的Windows计算机。

    看起来这是一个较新版本的文档: