Skip to content

Gradle java 11#15

Merged
cyrille-artho merged 5 commits intojavapathfinder:masterfrom
Mahmoud-Khawaja:gradle-java-11
Jun 6, 2025
Merged

Gradle java 11#15
cyrille-artho merged 5 commits intojavapathfinder:masterfrom
Mahmoud-Khawaja:gradle-java-11

Conversation

@Mahmoud-Khawaja
Copy link
Contributor

No description provided.

@Mahmoud-Khawaja
Copy link
Contributor Author

@cyrille-artho
Hello cyrille,
when i tried ./gradlew clean test i got cannot find symbol: class ReceiverAdapter and cannot find symbol: class GoogleAPI i think this is because src/main/java/example/ depend on JGroups ( its an old google translate api doenst work nowdays) so i just execluded it from the compilation

@Mahmoud-Khawaja
Copy link
Contributor Author

the build is successful now

Copy link
Member

@cyrille-artho cyrille-artho left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Hi Mahmoud,
Thank you for the update. If the other APIs still work, then this looks good. To run the tests, please fix the absolute path on line 17.
/ Cyrille

build.gradle Outdated
// jpf-core
implementation files(jpf.Jar.getFullPath())
// JPF-core dependency (adjust path as needed)
implementation files("/home/finn/jpf-push/jpf-core/build/jpf.jar")
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Please make sure the paths stay relative, as the absolute paths depends on the user name.

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

thanks i modified it to be jpf.Jar.getFullPath() as the previous one

Copy link
Member

@cyrille-artho cyrille-artho left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Great, this version passes the tests. Only one comment to remove/revert.

build.gradle Outdated

dependencies {
// jpf-core
// JPF-core dependency (adjust path as needed)
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Please remove the comment "(adjust path as needed)", as that's not needed

@Mahmoud-Khawaja
Copy link
Contributor Author

done, thanks!

@cyrille-artho cyrille-artho merged commit edc9404 into javapathfinder:master Jun 6, 2025
1 check 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.

2 participants

Comments