使用子目录中的子模块构建Mercury程序

Question

I have a mercury program that imports a module from another file. I'd like to be able to put this file in a subdirectory. How can I do this?

I'm using mmc -E --make --trace deep filename to make the program.

I've looked at Building Multi-Module Mercury Programs but it doesn't seem to deal with the subdirectory issue, although I could be wrong.

Answer 1

You could try the mmc -f list of mercury files option from the directory where you want to import the file in the sub-directory. This will create a Mercury.modules file that helps mmc -m to resolve all modules