From 19f12ec9cededa1734d9a9a4a9c4f7873ec7860f Mon Sep 17 00:00:00 2001 From: John Benediktsson Date: Thu, 18 Jan 2018 22:32:54 -0800 Subject: [PATCH] boids: adding a deploy.factor file. --- extra/boids/deploy.factor | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) create mode 100644 extra/boids/deploy.factor diff --git a/extra/boids/deploy.factor b/extra/boids/deploy.factor new file mode 100644 index 0000000000..a515a4c974 --- /dev/null +++ b/extra/boids/deploy.factor @@ -0,0 +1,16 @@ +USING: tools.deploy.config ; +H{ + { deploy-console? f } + { deploy-io 3 } + { deploy-reflection 2 } + { deploy-ui? t } + { deploy-word-defs? f } + { deploy-threads? t } + { "stop-after-last-window?" t } + { deploy-math? t } + { deploy-word-props? f } + { deploy-c-types? f } + { deploy-help? f } + { deploy-name "Boids" } + { deploy-unicode? f } +}