Re: Problem with installing JPF

[fra...@cs.yorku.ca]

JPF does not yet support Java 17.  Use Java 8 instead for now.

On Friday, 28 January 2022 at 03:56:07 UTC-5 mohsen.gh...@gmail.com wrote:

Hi everyone,

I am trying to start working with JPF, but I got lots of problems while installing it.

Here is some information about my system and the error that I faced with.

Mac OS X 12.1

Openjdk 17.0.1

Gradle 7.3.3

junit-4.13.2

hamcrest-core-1.3

Error while running ./gradlew test:

FAILURE: Build failed with an exception.

* Where:

Build file '/Users/XXX/Documents/jpf/jpf-core/build.gradle' line: 24

* What went wrong:

A problem occurred evaluating root project 'jpf-core'.

> Could not find method testCompile() for arguments [org.ow2.asm:asm:7.1] on object of type org.gradle.api.internal.artifacts.dsl.dependencies.DefaultDependencyHandler.

The line 24 in build.gradle: testCompile "org.ow2.asm:asm:7.1"

I am looking forward to hearing from you as soon as possible.

Best wishes,

Mohsen

[Rahmadi Trimananda]

Hi Mohsen, 

Please try to follow this thread: https://groups.google.com/g/java-pathfinder/c/SldXYB1ecjU/m/la8XVwg-AgAJ.

We should assume that there's something wrong with our Java installation or something like that when JPF isn't running on our system. As I suggested in that thread, it's probably best to just run JPF on a VM if you see errors. Hope this helps.

Regards,

Rahmadi

Researcher @ University of California, Irvine

* Keep dreaming - Keep praying - Keep fighting *

On Fri, Jan 28, 2022 at 7:35 AM Mohsen Ghaffari <mohsen.gh...@gmail.com> wrote:

Thanks for the answer!
I tried with java 8 and the problem still persists!!

--

---
You received this message because you are subscribed to a topic in the Google Groups "Java™ Pathfinder" group.
To unsubscribe from this topic, visit https://groups.google.com/d/topic/java-pathfinder/eUlIakpGheQ/unsubscribe.
To unsubscribe from this group and all its topics, send an email to java-pathfind...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/java-pathfinder/05eb67b0-ff48-438d-a1f2-4e3aed9d1c17n%40googlegroups.com.

--

---
You received this message because you are subscribed to the Google Groups "Java™ Pathfinder" group.
To unsubscribe from this group and stop receiving emails from it, send an email to java-pathfind...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/java-pathfinder/CAJsWnYUr5gosBhOu-pCaWf%3D1yer%2BYU20VZZvxtdv8C71J%3Dwpzg%40mail.gmail.com.