No more patched jflex 1.4.3 in idea repository. Download artifact from maven.

https://github.com/JetBrains/intellij-community/commit/02c7c658e87dc6f3c347e9b0d44ce275d2c31514
2016-05-12 09:09:03 +03:00
parent 96ec8e04ef
commit 6a309bdb4e
1 changed files with 3 additions and 2 deletions
@@ -218,8 +218,9 @@

        <!-- jflex 1.4 -->
        <mkdir dir="${dependencies}/jflex"/>
-        <get src="https://raw.github.com/JetBrains/intellij-community/master/tools/lexer/jflex-1.4/lib/JFlex.jar"
-             dest="${dependencies}/jflex/JFlex.jar" usetimestamp="true"/>
+        <get-maven-library prefix="de/jflex" lib="jflex" version="1.4.3" src="false"
+                           target.jar.name.base="JFlex"
+                           dependencies="${dependencies}/jflex"/>
        <get src="https://raw.github.com/JetBrains/intellij-community/master/tools/lexer/idea-flex.skeleton"
             dest="${dependencies}/jflex/idea-flex.skeleton" usetimestamp="true"/>