]> gitweb.factorcode.org Git - factor.git/commitdiff
minesweeper: adding deploy file.
authorJohn Benediktsson <mrjbq7@gmail.com>
Thu, 1 Mar 2018 18:45:32 +0000 (10:45 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Thu, 1 Mar 2018 18:45:32 +0000 (10:45 -0800)
right now it includes too much stuff so the file sizes are a little big.

extra/minesweeper/deploy.factor [new file with mode: 0644]

diff --git a/extra/minesweeper/deploy.factor b/extra/minesweeper/deploy.factor
new file mode 100644 (file)
index 0000000..62a0a30
--- /dev/null
@@ -0,0 +1,16 @@
+USING: tools.deploy.config ;
+H{
+    { deploy-console? f }
+    { deploy-io 3 }
+    { deploy-reflection 5 }
+    { 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 "Minesweeper" }
+    { deploy-unicode? f }
+}