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

Fix Scala version to 3.5.0 in packaging script + add logging #1580

Merged
merged 2 commits into from
Sep 13, 2024

Conversation

dhalilov
Copy link
Contributor

The packaging script fails as it cannot find the ./frontends/stainless-dotty-standalone/target/scala-3.3.3/stainless-dotty-standalone-xxx.jar file, since it is located in the scala-3.5.0 directory instead. This PR fixes that by matching the Scala version in the script with the Scala version used to build Stainless.

@CLAassistant
Copy link

CLAassistant commented Sep 13, 2024

CLA assistant check
All committers have signed the CLA.

@dhalilov dhalilov changed the title Fix Scala version to 3.5.0 in packaging script Fix Scala version to 3.5.0 in packaging script + add logging Sep 13, 2024
@dhalilov
Copy link
Contributor Author

dhalilov commented Sep 13, 2024

I've also made logs visible to the user in the compilation phase (the longest one) to reassure him that the script is not stuck.

@vkuncak vkuncak merged commit dd795dc into epfl-lara:main Sep 13, 2024
3 checks passed
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.

3 participants