Change file extension using mps.core.xml

Permanently deleted user

Created November 28, 2016 10:29

Hello,

I am generating XML with the language mps.core.xml but I would like to change the extension of files generated to .scxml.

Is this possible ?

Thanks,

Robin Bussenot

1 comment

Sergej Koščejev

Created December 07, 2016 20:25

No, it's not possible. You can write a Make Facet to rename/move the files after you generate them. See the build language (jetbrains.mps.build) and CopyGeneratedScripts facet for an example.

Please sign in to leave a comment.