search

jaredsburrows / gradle-checker-framework-plugin

Gradle plugin to use the Checker Framework for Java.
Apache License 2.0
9 stars 4 forks source link

Enable configuration of Checker Framework version #16

Open mernst opened 5 years ago

mernst commented 5 years ago

The plugin currently seems hard-coded to use version 2.4.0 of the Checker Framework. Many bugs have been fixed, and features added, since then.

Please provide a configuration setting that I can use in my build.gradle file to specify what version of the Checker Framework the plugin will use. (It would also be nice to change the default version to 2.6.0.)

mernst commented 5 years ago

Now the default should be changed to version 2.7.0.

(Is everything OK with the maintainers? The project has gone quiet of late.)

jaredsburrows commented 3 years ago

Are you suggesting this be added to the extension?

jaredsburrows commented 3 years ago

Started working on this here - https://github.com/jaredsburrows/gradle-checker-framework-plugin/pull/19.

mernst commented 3 years ago

Thanks for the updates. Your project has been forked by @kelloggm: https://github.com/kelloggm/checkerframework-gradle-plugin . I have been successfully using his version, which credits you for the original code.

Perhaps you could link to that version from your README, or join forces on that version.

jaredsburrows commented 3 years ago

@mernst It is not forked and my name is not in the git logs. Why would I link to code that was copied my repository? Ideally, PR should have be sent here and submitted.

mernst commented 3 years ago

I speculate that the reason that no PR was submitted here is that you didn't respond to PRs and issues against this repository for two years.

jaredsburrows commented 3 years ago

Yes. Nice to see my name referenced in the README but my name is not in the git logs since it was copied and not forked.