]> gitweb.factorcode.org Git - factor.git/blob - extra/tools/move/deploy.factor
tools.move: adding "move" tool.
[factor.git] / extra / tools / move / deploy.factor
1 USING: tools.deploy.config ;
2 H{
3     { deploy-name "move" }
4     { deploy-ui? f }
5     { deploy-c-types? f }
6     { deploy-console? t }
7     { deploy-unicode? f }
8     { "stop-after-last-window?" t }
9     { deploy-io 3 }
10     { deploy-reflection 6 }
11     { deploy-word-props? f }
12     { deploy-math? t }
13     { deploy-threads? t }
14     { deploy-word-defs? f }
15 }