Closed franck-van-breugel closed 3 years ago
Very nice! Unfortunately, there is one step that doesn't work on my computer. I use a two-step definition of the location of JPF and its extensions in my ~/.jpf/site.properties
:
jpf-home = ${user.home}/jpf
jpf-core = ${jpf-home}/jpf-core
Perhaps there is a way to automatically resolve these variables? Otherwise, the patch looks great.
Thanks for taking the time to have a look at this and for the very useful feedback. I hope that variable interpolation now works properly.
Everything works now, thanks!
In the gradle branch, jpf-nhandler can be build using a Gradle wrapper. The following changes have been made: