Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Moving away from Java 1.8 #64

Closed
konnov opened this issue Sep 20, 2019 · 6 comments
Closed

Moving away from Java 1.8 #64

konnov opened this issue Sep 20, 2019 · 6 comments
Assignees
@shonfeder
Labels
Finfra-high Feature: Infrastructure improvements high prio help wanted refactoring
Milestone
backlog2021

Comments

@konnov
Copy link
Collaborator

konnov commented Sep 20, 2019

No description provided.

@konnov konnov self-assigned this Sep 20, 2019
@konnov konnov removed their assignment Nov 8, 2019
@konnov konnov added this to the BMCMT-0.7-dev-integration milestone Dec 7, 2019
@lemmy
Copy link
Contributor

lemmy commented Jan 21, 2020

IIRC apalache (scala) doesn't build with >Java1.8. However, the z3 binding has been compiled with >Java1.8. => Builds with Java1.8 but runs with >1.8.

@konnov
Copy link
Collaborator Author

konnov commented Feb 14, 2020

Since we depend on scala compatibility, it is not clear how much we can do

@konnov konnov modified the milestones: BMCMT-0.9-dev-integration, BMCMT-1.0-release-ux Feb 14, 2020
@konnov
Copy link
Collaborator Author

konnov commented Sep 23, 2020 •
edited
Loading

The Scala recommendations have probably changed since the last time we checked:

We generally recommend JDK 8 or 11 for compiling Scala code

Java 11 is considered LTS.

@shonfeder do you like to have a look, whether we could compile Apalache with Java 11? That will be probably blocked by #78 .

@konnov konnov modified the milestones: v1.0-release-ux, v0.14.0-infrastructure Sep 23, 2020
@konnov konnov changed the title Compatibility with Java 1.9 Moving away from Java 1.8 Sep 23, 2020
@shonfeder
Copy link
Contributor

Will add this to my queue.

@shonfeder shonfeder self-assigned this Sep 23, 2020
@konnov konnov added the Finfra-high Feature: Infrastructure improvements high prio label Dec 6, 2020
@konnov konnov modified the milestones: v0.14.0-infrastructure, backlog2021 Dec 11, 2020
@konnov konnov mentioned this issue Apr 28, 2021
Open
@konnov
Copy link
Collaborator Author

konnov commented Mar 31, 2022

This problem seems to be solved by the Scala community. I managed to build Apalache on Zulu15. @shonfeder shall we close this one?

@thpani
Copy link
Collaborator

thpani commented Aug 10, 2022

Closing as we moved to Java 17 in #1662.

@thpani thpani closed this as completed Aug 10, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@shonfeder shonfeder

Labels
Finfra-high Feature: Infrastructure improvements high prio help wanted refactoring
Projects
None yet
Milestone
backlog2021
Development

No branches or pull requests
4 participants
@thpani @lemmy @konnov @shonfeder