[
https://issues.apache.org/jira/browse/LUCENE-9557?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=17206751#comment-17206751
]
Robert Muir commented on LUCENE-9557:
-------------------------------------
To answer your question though, this is how that "externalTool" works:
{code}
// Allow definiting external tool locations using system props.
externalTool = { name ->
def resolved = propertyOrDefault("${name}.exe", name as String)
logger.info("External tool '${name}' resolved to: ${resolved}")
return resolved
}
{code}
> gradle regeneration of HTMLCharacterEntities.jflex should not use python2
> -------------------------------------------------------------------------
>
> Key: LUCENE-9557
> URL: https://issues.apache.org/jira/browse/LUCENE-9557
> Project: Lucene - Core
> Issue Type: Improvement
> Reporter: Robert Muir
> Priority: Major
> Attachments: LUCENE-9557.patch
>
>
> I thought we had cleaned out the python2, but we got one straggler left.
> Currently this is set to run with python2, but it should be using python3.
> Python3 will generate the exact same sources that are present in master
> today. But if you run it with python2 (as currently configured) it generates
> a slightly different grammar:
> {noformat}
> ---
> a/lucene/analysis/common/src/java/org/apache/lucene/analysis/charfilter/HTMLCharacterEntities.jflex
> +++
> b/lucene/analysis/common/src/java/org/apache/lucene/analysis/charfilter/HTMLCharacterEntities.jflex
> @@ -60,7 +60,7 @@ CharacterEntities = ( "AElig" | "Aacute" | "Acirc" |
> "Agrave" | "Alpha"
> | "times" | "trade" | "uArr" | "uacute" | "uarr" |
> "ucirc"
> | "ugrave" | "uml" | "upsih" | "upsilon" | "uuml"
> | "weierp" | "xi" | "yacute" | "yen" | "yuml" | "zeta"
> - | "zwj" | "zwnj" )
> +(' | "zwj" | "zwnj"', ')')
> {noformat}
> This then cascades and causes HTMLStripCharFilter.java to be regenerated
> differently too with a different DFA.
--
This message was sent by Atlassian Jira
(v8.3.4#803005)
---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]
