Skip to content

Remove openjdk7 from the build matrix#377

Merged
regisd merged 2 commits intojflex-de:masterfrom
regisd:jdk
Sep 28, 2018
Merged

Remove openjdk7 from the build matrix#377
regisd merged 2 commits intojflex-de:masterfrom
regisd:jdk

Conversation

@regisd
Copy link
Member

@regisd regisd commented Sep 25, 2018

  • This will allow to bump the version of multiple maven plugins
  • The code is still compiled with -target 1.7 defined in maven-compiler-plugin
  • JDK7 is largely deprecated in the industry

- This will allow to bump the version of multiple maven plugins
- The code is still compiled with `-target 1.7` defined in maven-compiler-plugin
- JDK7 is largely deprecated on the market
@regisd regisd self-assigned this Sep 25, 2018
@regisd regisd added the code quality Code health and clean-up label Sep 25, 2018
@regisd regisd requested a review from lsf37 September 25, 2018 15:14
Copy link
Member

@lsf37 lsf37 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

If I understand correctly, this would give us build dependency on >= 1.8, but runtime still on >= 1.7.

That'd be fine with me. Ideally we'd still test that the runtime works with 1.7, but that'll take a bit more work that we can do separately if we decide we care enough.

@regisd
Copy link
Member Author

regisd commented Sep 28, 2018

Yes, that's correct. The build time dep would be java 8 (which allows to use more recent version of all plugins), but the actual jflex artifacts are still java 7.
The only difference is for java_cup which was currently built for java 5 and that I'm bumping to java 6 because openjdk 9 doesn't support building for java 5 anymore.

@regisd regisd merged commit 3782229 into jflex-de:master Sep 28, 2018
@regisd regisd deleted the jdk branch September 28, 2018 09:00
regisd added a commit to regisd/jflex that referenced this pull request Oct 26, 2018
@regisd regisd mentioned this pull request Oct 26, 2018
regisd added a commit that referenced this pull request Oct 26, 2018
Follow-up of #432 and #377
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

code quality Code health and clean-up

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants