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

instead of assigning JAVA_HOME calling java of the target jdk directly #32

Merged
merged 14 commits into from
Apr 5, 2024

Conversation

tahiat
Copy link
Owner

@tahiat tahiat commented Apr 4, 2024

No description provided.

@tahiat
Copy link
Owner Author

tahiat commented Apr 4, 2024

Professor, few minimized programs (691,689) are compiled with shell command instead of gradle. I was changing the java_home to point to jdk8 when compiling target. This works on local machine but not in CI. So instead of setting java_home I am invoking the java of the jdk-8 and passing checker.jar as the jar.
ex: /path/to/jdk/java -jar $CHECKERFRAMEWORK/checker/dist/checker.jar -processor nullness -AprintErrorStack java_files

@tahiat
Copy link
Owner Author

tahiat commented Apr 4, 2024

@tahiat tahiat requested a review from kelloggm April 4, 2024 18:53
@tahiat tahiat changed the title In CI, assigning JAVA_HOME does not work. instead of assigning JAVA_HOME calling java of the target jdk directly Apr 4, 2024
main.py Outdated Show resolved Hide resolved
main.py Show resolved Hide resolved
@tahiat tahiat requested a review from kelloggm April 4, 2024 20:24
@kelloggm kelloggm merged commit 1726631 into main Apr 5, 2024
1 check passed
@kelloggm kelloggm deleted the java branch April 5, 2024 16:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants