From: John Benediktsson Date: Sat, 2 Sep 2023 17:38:08 +0000 (-0700) Subject: periodic-table: adding a deploy script X-Git-Url: https://gitweb.factorcode.org/gitweb.cgi?p=factor.git;a=commitdiff_plain;h=98e23aaba3e42b52557d49f1614edb40cfa221f4 periodic-table: adding a deploy script --- diff --git a/extra/periodic-table/deploy.factor b/extra/periodic-table/deploy.factor new file mode 100644 index 0000000000..7634e7e19a --- /dev/null +++ b/extra/periodic-table/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 "Periodic Table" } + { deploy-unicode? f } +}