diff options
| author | Michele Bini <michele.bini@gmail.com> | 2015-10-27 17:11:24 (GMT) |
|---|---|---|
| committer | Michele Bini <michele.bini@gmail.com> | 2015-10-27 17:11:24 (GMT) |
| commit | cdf3ae26d3e149f1405521403b45eaddf0d4f7cd (patch) | |
| tree | 214289ba326eefebe1a585c1725158fb7f4eb06c /lib/Evolving/Makefile | |
| parent | 5c4f64247a55085e929cf1a0af234d617a6aba24 (diff) | |
[STree] Added stree 'evolving' in lib/Evolving/
Diffstat (limited to 'lib/Evolving/Makefile')
| -rw-r--r-- | lib/Evolving/Makefile | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/lib/Evolving/Makefile b/lib/Evolving/Makefile new file mode 100644 index 0000000..004df7d --- /dev/null +++ b/lib/Evolving/Makefile @@ -0,0 +1,5 @@ +%.js: %.coffee + coffee -bc "$<" + +test/%.out: test/%.coffee evolving.js + coffee $< >$@ |