2008-10-31 22:07:18 -04:00
|
|
|
USING: tools.deploy.config ;
|
|
|
|
H{
|
2008-12-17 19:10:01 -05:00
|
|
|
{ deploy-io 1 }
|
|
|
|
{ deploy-threads? f }
|
|
|
|
{ deploy-word-defs? f }
|
2008-10-31 22:07:18 -04:00
|
|
|
{ deploy-ui? f }
|
2008-12-17 19:10:01 -05:00
|
|
|
{ deploy-word-props? f }
|
|
|
|
{ "stop-after-last-window?" t }
|
|
|
|
{ deploy-unicode? f }
|
2008-10-31 22:07:18 -04:00
|
|
|
{ deploy-c-types? f }
|
2008-12-17 19:10:01 -05:00
|
|
|
{ deploy-math? f }
|
2008-10-31 22:07:18 -04:00
|
|
|
{ deploy-reflection 1 }
|
|
|
|
{ deploy-name "WebKit demo" }
|
|
|
|
}
|