Don't require jdk18_home to be set in jextract gradle build

XMLWordPrintable

    • Type: Enhancement
    • Resolution: Won't Fix
    • Priority: P4
    • None
    • Affects Version/s: None
    • Component/s: tools

      Current instructions require a jdk18_home property to be set for the jextract gradle build.

      This was done because gradle didn't run on Java 18 previously. Nowadays it does though, and the JDK from JAVA_HOME can be used instead of the separate property.

            Assignee:
            Jorn Vernee
            Reporter:
            Jorn Vernee
            Votes:
            0 Vote for this issue
            Watchers:
            2 Start watching this issue

              Created:
              Updated:
              Resolved: