Add a way to configure a different annotated JDK

eisop / checker-framework

Pluggable type-checking for Java

https://eisop.github.io/

Other

17 stars 16 forks source link

Add a way to configure a different annotated JDK #671

Open netdpb opened 7 months ago

netdpb commented 7 months ago

Right now the annotated JDK is included in the artifact, so the only way to use an alternative is to build locally. It would be good, especially for JSpecify, to make it possible to substitute an alternative annotated JDK.