kframework / k-legacy

The K tools (deprecated, see README)

Home Page:http://kframework.org

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Multiple Compilation Units

jsinglet opened this issue · comments

What is the best way to support something akin to multiple compilation units in K? Using Java for an example, if I had two files, MyInterface.java and MyClass.java the natural way to compile them would be to pass both files to the compiler on the command line, producing multiple compilation units. However, trying to pass more than one file at a time to krun gives me the error:

[Error] Critical: You can only specify $PGM on the command line itself

What's the best way to accomplish this?

Best,
JLS