Hello,

The Stratego documentation mentions that .str files must be compiled with a compiler named “strc”

e.g., http://metaborg.org/en/latest/source/langdev/meta/lang/stratego/03-running-stratego-programs.html?highlight=strc

but there is no file named strc in the tar file

find strategoxt-2.0.0/ -name “strc” -print
strategoxt-2.0.0/share/strategoxt/libstrc
strategoxt-2.0.0/share/strategoxt/libstrc/libstrc.rtree
strategoxt-2.0.0/share/strategoxt/libstrc/libstrc.jar
strategoxt-2.0.0/share/strategoxt/libstrc/libstrc.ctree
strategoxt-2.0.0/share/strategoxt/stratego-front/stratego/strc

The latter file named strc is in fact a directory.

There is an strj program, should it be used in place of strc?

Submitted on 19 November 2016 at 13:55

Yes, strj is the Java implementation of the compiler.

I found that there also exists a tool named “str” that does what I need.

Perhaps, “strc” should be removed from the documentation if
it does not exist in the distribution, and “str” should be documented
in place (str seems to be easier than strc, in particular it does not
require the -i option)