infer icon indicating copy to clipboard operation
infer copied to clipboard
verified publisher icon facebook

Maven build with java 17 failed

Open mstepan opened this issue 1 year ago • 1 comments 

infer run  -- mvn clean package

Failed b/c java 11 used as a forked version.

Please include the following information:

  • [v] Infer version v1.2.0
  • [v] Darwin Kernel Version 23.5.0
  • [v] infer run -- mvn clean package
  • [v] Compilation errors related to java 17 features, such as records
error: records are not supported in -source 11
[ERROR]   (use -source 16 or higher to enable records)

mstepan avatar Jun 28 '24 08:06 mstepan

There is same fault in my project: https://github.com/jiangxincode/ApkToolBoxGUI/actions/runs/9713937017/job/26811856126

jiangxincode avatar Jun 28 '24 14:06 jiangxincode

Can you try infer --java-version 17 run -- mvn clean package?

geralt-encore avatar Jul 04 '24 10:07 geralt-encore 

infer --java-version 17 run  -- mvn clean package

Works as expected. Thanks.

mstepan avatar Jul 15 '24 06:07 mstepan

I have several projects with differnet jdk versions to compile. Sever default jdk is jdk11 java --version openjdk 11.0.24

for a project which need jdk 17

  1. export JAVA_HOME=jdk17; mvn clean pakcage I can compile it successuflly

  2. add infer export JAVA_HOME=jdk17; infer --java-version 17 run --mvn clean pakcage compilation failed

so how can I set java version dynamically for mvn project ?

Mason-Fan avatar Aug 30 '24 07:08 Mason-Fan