Remove frog from the SDK and stop running it from the editor.

Remove frog from the SDK and stop running it from the editor.


R=johnniwinther@google.com,dgrove@google.com,devoncarew@google.com
BUG=
TEST=

Committed: https://code.google.com/p/dart/source/detail?r=8231

[kasperl, 2012-06-01 09:21:23]

I plan on landing this on Monday after addressing your comments. This changes
break dartdoc by getting rid of bin/frogc, but I'll not land it before
http://codereview.chromium.org/10453097/ lands which should get rid of that
dependency.

[devoncarew, 2012-06-01 09:33:52]

lgtm

Looks good from the editor's side -

[devoncarew, 2012-06-01 17:25:48]

On 2012/06/01 09:33:52, devoncarew wrote:
> lgtm
> 
> Looks good from the editor's side -

It occurred to me that we probably want to update client/dart.js as well -

[dgrove, 2012-06-01 18:00:31]

lgtm assuming the editor doesn't actual need the config files any longer.

https://chromiumcodereview.appspot.com/10454112/diff/1/tools/create_sdk.py
File tools/create_sdk.py (right):

https://chromiumcodereview.appspot.com/10454112/diff/1/tools/create_sdk.py#ne...
tools/create_sdk.py:462: # Copy dart2js.
Does the editor not need these config files any more?

[devoncarew, 2012-06-03 16:38:39]

https://chromiumcodereview.appspot.com/10454112/diff/1/tools/create_sdk.py
File tools/create_sdk.py (right):

https://chromiumcodereview.appspot.com/10454112/diff/1/tools/create_sdk.py#ne...
tools/create_sdk.py:462: # Copy dart2js.
On 2012/06/01 18:00:32, dgrove wrote:
> Does the editor not need these config files any more?

We do; good catch. Please retain them for this CL. The 'frog' config file should
no longer be necessary.

[kasperl, 2012-06-04 06:47:23]

Thank you for your comments. I've re-added the import_*.config files, updated
frog_options.dart to use the 'sdk' configuration, and changed dartdoc to use
dart2js to compile its output.