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

Faster indexing during gradle build #125

Merged
merged 3 commits into from
Jun 30, 2023
Merged

Faster indexing during gradle build #125

merged 3 commits into from
Jun 30, 2023

Conversation

petervdonovan
Copy link
Contributor

This is a workaround for the problem described in #80.

It is a little bit of a hack, but it should work most of the time, on both Unix-based systems and Windows. With this change it takes about 30 seconds to build the extension from source and install it, and most of that time comes from the Gradle build.

@lhstrh
Copy link
Member

lhstrh commented Jun 23, 2023

How much time does it take to build without this change?

@petervdonovan
Copy link
Contributor Author

petervdonovan commented Jun 23, 2023

Perhaps 3-5 minutes.

I just measured it and the Gradle build took longer this time (1 minute 45 seconds) for unknown reasons, while overall it took 5 minutes and 10 seconds.

@lhstrh lhstrh merged commit 95ef26c into main Jun 30, 2023
3 checks passed
@lhstrh lhstrh deleted the fix-80 branch June 30, 2023 03:24
@lhstrh lhstrh added the enhancement New feature or request label Aug 28, 2023
@lhstrh lhstrh changed the title Temporarily move lingua-franca while indexing Faster indexing during gradle build Aug 28, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants