Where is JFlex Home in the new Community Edition layout?

Hello Ben,

We've now moved our patched version of JFlex to the Community Edition source.
You can find it under tools/lexer if you update your checkout.

I've installed the JFlexSupport plugin and when I try to compile a
lexer definition, the plugin complains the JFlex Home is invalid.

The plugin documentation refers to a patched version of JFlex that is
normally redistributed in the tools subdirectory of the plugin dev
kit.

I'm assuming that the plug dev kit is now essentially the source tree
of the community edition, i.e.
git://git.jetbrains.org/idea/community.git

I can't find any jflex.jar in the source tree, so I'm wondering how
the lexers are created.

I could theoretically download the plain jane JFlex distro and point
the JFlexSupport plugin at that, but it seems it defeats the purpose
of using the version that has been enhanced for IntelliJ.

Am I doing something wrong?

--
Dmitry Jemerov
Development Lead
JetBrains, Inc.
http://www.jetbrains.com/
"Develop with Pleasure!"

Dmitry,

Thanks for that, I can now see the JFlex patch subtree in the CE main tree, I'll see how I get on with that.

Cheers,

Ben