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

On 19 November 2016 at 14:16 Jeff Smits commented:

Yes, strj is the Java implementation of the compiler.


On 19 November 2016 at 14:33 hubert commented:

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)

Log in to post comments