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.

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

intTests: Stop using the find-java-rt-jar.sh script #1061

Closed
RyanGlScott opened this issue Feb 5, 2021 · 0 comments · Fixed by #1063
Closed

intTests: Stop using the find-java-rt-jar.sh script #1061

RyanGlScott opened this issue Feb 5, 2021 · 0 comments · Fixed by #1063
Labels
subsystem: crucible-jvm Issues related to Java verification with crucible-jvm tooling: test infrastructure Issues involving test infrastructure or test execution, or making SAW more testable

Comments

@RyanGlScott
Copy link
Contributor

Currently, the integration tests use a hacky script to locate the location of rt.jar in a Java installation:

JDK=$(support/find-java-rt-jar.sh)

This really shouldn't be required, however, as saw-script gained the ability to locate rt.jar automatically in #1030 by way of the --java-bin-dirs flag—or, equivalently, by putting java on the PATH. Moreover, CI does in fact put java on the PATH, which makes the use of find-java-rt-jar.sh obsolete in theory. We should confirm that this is the case in practice, and if so, stop using it.

@RyanGlScott RyanGlScott added subsystem: crucible-jvm Issues related to Java verification with crucible-jvm tooling: test infrastructure Issues involving test infrastructure or test execution, or making SAW more testable labels Feb 5, 2021
RyanGlScott added a commit that referenced this issue Feb 5, 2021
* Remove the use of the `find-java-rt-jar.sh` script in CI, as this is no
  longer necessary with the advent of `--java-bin-dirs`/searching the `PATH`
  for Java. This fixes #1061.

* On a related note, it turns out that SAW's approach to detecting where
  `rt.jar` lives likely doesn't work on pre-7 JDKs on macOS. Given how
  ancient these versions of Java anymore, let's just document this infelicity
  in the manual and describe a workaround for those brave enough to try this.
  Fixes #1062.
RyanGlScott added a commit that referenced this issue Feb 8, 2021
* Remove the use of the `find-java-rt-jar.sh` script in CI, as this is no
  longer necessary with the advent of `--java-bin-dirs`/searching the `PATH`
  for Java. This fixes #1061.

* Now that `find-java-rt-jar.sh` is gone, there is no longer any need for the
  `.github/PropertiesTest.java` utility, nor is there any need for the
  `find_java` bash function that leverages this. This patch remove both of them
  as well.

* On a related note, it turns out that SAW's approach to detecting where
  `rt.jar` lives likely doesn't work on pre-7 JDKs on macOS. Given how
  ancient these versions of Java anymore, let's just document this infelicity
  in the manual and describe a workaround for those brave enough to try this.
  Fixes #1062.
RyanGlScott added a commit that referenced this issue Feb 11, 2021
* Remove the use of the `find-java-rt-jar.sh` script in CI, as this is no
  longer necessary with the advent of `--java-bin-dirs`/searching the `PATH`
  for Java. This fixes #1061.

* Now that `find-java-rt-jar.sh` is gone, there is no longer any need for the
  `.github/PropertiesTest.java` utility, nor is there any need for the
  `find_java` bash function that leverages this. This patch remove both of them
  as well.

* On a related note, it turns out that SAW's approach to detecting where
  `rt.jar` lives likely doesn't work on pre-7 JDKs on macOS. Given how
  ancient these versions of Java anymore, let's just document this infelicity
  in the manual and describe a workaround for those brave enough to try this.
  Fixes #1062.
@mergify mergify bot closed this as completed in #1063 Feb 11, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
subsystem: crucible-jvm Issues related to Java verification with crucible-jvm tooling: test infrastructure Issues involving test infrastructure or test execution, or making SAW more testable
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant