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

[java] support --java-lib <directory> #9551

Merged
merged 2 commits into from
Jun 11, 2020
Merged

[java] support --java-lib <directory> #9551

merged 2 commits into from
Jun 11, 2020

Conversation

Gama11
Copy link
Member

@Gama11 Gama11 commented Jun 9, 2020

No description provided.

@Gama11
Copy link
Member Author

Gama11 commented Jun 10, 2020

It only just now occurred to me that this might break the "load a directory of class files" feature:

--java-lib <file>                     add an external JAR or class directory library

Should add some tests...

@RealyUniqueName RealyUniqueName added this to the Backlog milestone Jun 10, 2020
@Simn
Copy link
Member

Simn commented Jun 10, 2020

Does this work well with the compilation server?

@Simn Simn self-assigned this Jun 10, 2020
@Simn Simn added platform-java Everything related to Java platform-jvm Everything related to JVM labels Jun 10, 2020
@Gama11
Copy link
Member Author

Gama11 commented Jun 10, 2020

Um... not sure how it would impact the server, it's just "CLI syntax sugar"?

@Simn
Copy link
Member

Simn commented Jun 10, 2020

The server tries to avoid some I/O so that we don't have to read things on every request. I'll have to check how to make that work with a directory-based approach.

@Gama11
Copy link
Member Author

Gama11 commented Jun 10, 2020

Ah, but it does check the mtime of the jar files I hope? :)

@Gama11 Gama11 force-pushed the java-lib-directory branch from 0061f58 to ef84e24 Compare June 11, 2020 13:08
@Gama11
Copy link
Member Author

Gama11 commented Jun 11, 2020

Regarding the "load a directory of class files" feature, I'll just adjust the CLI help since that doesn't even seem to work without this PR right now...

@Simn Simn merged commit cb30bd5 into development Jun 11, 2020
@Gama11 Gama11 deleted the java-lib-directory branch June 11, 2020 19:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
platform-java Everything related to Java platform-jvm Everything related to JVM
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants