HEADS-project / training

Training material to get started with the HEADS technologies
10 stars 16 forks source link

Copy .kev file when generating ThingML/nodejs-kevoree #90

Closed magnustellu closed 9 years ago

magnustellu commented 9 years ago

Right now we have to copy the content of our .kev file to the generated folder.

As a generic fix, would it be a good idea to solve this by adding a generic annotation or language construct like import? Maybe export?

My idea

export "kevs/main.kev"

This would copy the referenced file to the generated working directory under the kevs folder. Maybe add a second parameter which explicitly says where to place the file inside the directory.

export "kevs/main.kev" "main.kev"

Might be useful for other use cases as well.

brice-morin commented 9 years ago

You can now use @kevscript "path/to/my/script.kevs" on configuration to point to an existing kevscript file, which will be used instead of generating one.