我有一个从另一个文件导入模块的水星程序。我希望能够将此文件放在子目录中。我怎样才能做到这一点?
我mmc -E --make --trace deep filename
用来制作程序。
我看过Building Multi-Module Mercury Programs但它似乎没有处理子目录问题,尽管我可能是错的。
我有一个从另一个文件导入模块的水星程序。我希望能够将此文件放在子目录中。我怎样才能做到这一点?
我mmc -E --make --trace deep filename
用来制作程序。
我看过Building Multi-Module Mercury Programs但它似乎没有处理子目录问题,尽管我可能是错的。