]> gitweb.factorcode.org Git - factor.git/commitdiff
Deploy descriptor for spheres
authorSlava Pestov <slava@slava-pestovs-macbook-pro.local>
Mon, 1 Sep 2008 07:53:20 +0000 (02:53 -0500)
committerSlava Pestov <slava@slava-pestovs-macbook-pro.local>
Mon, 1 Sep 2008 07:53:20 +0000 (02:53 -0500)
extra/spheres/deploy.factor [new file with mode: 0644]

diff --git a/extra/spheres/deploy.factor b/extra/spheres/deploy.factor
new file mode 100644 (file)
index 0000000..0eeef1e
--- /dev/null
@@ -0,0 +1,15 @@
+USING: tools.deploy.config ;
+H{
+    { deploy-reflection 1 }
+    { deploy-random? t }
+    { deploy-word-defs? f }
+    { deploy-word-props? f }
+    { deploy-name "Spheres" }
+    { deploy-compiler? t }
+    { deploy-math? t }
+    { deploy-io 1 }
+    { deploy-threads? t }
+    { "stop-after-last-window?" t }
+    { deploy-ui? t }
+    { deploy-c-types? f }
+}